Dependencies Resolved !

input-output-hk · Feb 19, 2024 · 5fdc632 · 5fdc632
1 parent c2e9cc7
commit 5fdc632
Show file tree

Hide file tree

Showing 3 changed files with 107 additions and 43 deletions.
diff --git a/cabal.project b/cabal.project
@@ -195,7 +195,8 @@ source-repository-package
   subdir: core
 
 constraints:
-  quickcheck-state-machine ==0.9.0
+  cardano-ledger-core ==1.10.0.0,
+  ouroboros-consensus-cardano ^>= 0.13
 
 allow-newer:
   primitive,
@@ -218,15 +219,6 @@ source-repository-package
    --sha256: 1yfbv9bwr71jd2sqfsb5jjq6j5bjfbjpp946fbkhxwwc2npwj0pd
 
 
-source-repository-package
-   type: git
-   location: https://github.com/intersectMBO/cardano-api
-   tag: cardano-api-8.38.0.2
-   subdir: cardano-api
-   --sha256: 0pxwzw6yc0iwwm198fwbbgyyi7dqsg5vxy1by3isjwyhafm2a7qr
 
-source-repository-package
-   type: git
-   location: https://github.com/stevana/quickcheck-state-machine
-   tag: v0.9.0
-   --sha256: 0iwzvhpnr0b2qgbf13cdvkj1h1xr1v9dy4v0qy41r1qcljxajcbs
+
+
diff --git a/flake.lock b/flake.lock
diff --git a/marlowe-benchmark/marlowe-benchmark.cabal b/marlowe-benchmark/marlowe-benchmark.cabal
@@ -75,7 +75,8 @@ executable marlowe-benchmark
     , aeson
     , base >=4.9 && <5
     , bytestring
-    , cardano-api:{cardano-api, gen}
+    , cardano-api
+    , cardano-api-gen
     , containers
     , data-default
     , directory