Update quickcheck reference

anoma · Jun 21, 2024 · 542cbf9 · 542cbf9
1 parent 290f67f
commit 542cbf9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/test/Package.juvix b/test/Package.juvix
@@ -9,5 +9,5 @@ package : Package :=
                      ; github
                        "anoma"
                        "juvix-quickcheck"
-                       "b6ca4d4bd80d62b95e2d7e28e881c5b547643564"
+                       "8068d58360d2adecba3674a31e031e7ad992e0e1"
                      ]};
diff --git a/test/juvix.lock.yaml b/test/juvix.lock.yaml
@@ -2,17 +2,17 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: c311ba35a484fb649358719f7720cf706aa8b13d8066bb0fe600ef0d7bc4ca2c
+checksum: 5de68b52002fccbfacd5df82593d631368f3303203d03dc72f126e74a5997283
 dependencies:
 - path: ../
   dependencies: []
 - git:
     name: anoma_juvix-quickcheck
-    ref: b6ca4d4bd80d62b95e2d7e28e881c5b547643564
+    ref: 8068d58360d2adecba3674a31e031e7ad992e0e1
     url: https://github.com/anoma/juvix-quickcheck
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: 3f2c29880e749c7dd222011527a077b5f5050a95
+      ref: 290f67fc85b637ce4df886fc3cd1a5289b38db95
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []