Update reference to quickcheck

anoma · Jun 19, 2024 · c000daf · c000daf
1 parent 3f2c298
commit c000daf
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"
-                       "dcba517b3e71ecaaaf501d63089bae049535b300"
+                       "b6ca4d4bd80d62b95e2d7e28e881c5b547643564"
                      ]};
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: 188ee9585c9ed622311c88f5f3eae9682bb31ec730cbad8279780d31840d699a
+checksum: c311ba35a484fb649358719f7720cf706aa8b13d8066bb0fe600ef0d7bc4ca2c
 dependencies:
 - path: ../
   dependencies: []
 - git:
     name: anoma_juvix-quickcheck
-    ref: dcba517b3e71ecaaaf501d63089bae049535b300
+    ref: b6ca4d4bd80d62b95e2d7e28e881c5b547643564
     url: https://github.com/anoma/juvix-quickcheck
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: ab4ce0a3b96977cc9ad95c32c328fe7d659f4e77
+      ref: 3f2c29880e749c7dd222011527a077b5f5050a95
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []