diff --git a/Package.juvix b/Package.juvix
index 591e360..e476c5b 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -6,6 +6,6 @@ package : Package :=
   defaultPackage@?{
     name := "quickcheck";
     version := mkVersion 0 14 0;
-    dependencies := [github "anoma" "juvix-stdlib" "fb906f2d28ea77b985c8cd1abbd37d6ab7dee346"];
+    dependencies := [github "anoma" "juvix-stdlib" "af72f25057217619a03b7a5114000d02d0abed31"];
     main := just "Example.juvix"
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index bb48ec5..3889ef8 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 4595a17fdf8f6138ed72a5915bac94a649514462fe526e2ad09f3151107f8744
+checksum: ae3b4404a5d1956fa080332c253991c0cff595ed0da21b75f3a76c5cd718e35b
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: fb906f2d28ea77b985c8cd1abbd37d6ab7dee346
+    ref: af72f25057217619a03b7a5114000d02d0abed31
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []