Update stdlib dependency

anoma · Oct 11, 2024 · 4242b86 · 4242b86
1 parent 3b07a8d
commit 4242b86
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -6,6 +6,6 @@ package : Package :=
   defaultPackage@?{
     name := "quickcheck";
     version := mkVersion 0 15 0;
-    dependencies := [github "anoma" "juvix-stdlib" "e9bb85799034189e6ba1c3b2b9e2cf10ec4ecbee"];
+    dependencies := [github "anoma" "juvix-stdlib" "1e581bb8fb8a6a9198ad927d1611d280ad5789a6"];
     main := just "Example.juvix"
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: ff53148c3afba3ebda7a58fb73019d4a0f20d45e5db8467c435b8c137b14d333
+checksum: 3ac97b0abcbe0af531a71551a177ed89935e3c5b348f802db106b30d41075583
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 615a02c8107076ca9661c5234d41792be91a5104
+    ref: 1e581bb8fb8a6a9198ad927d1611d280ad5789a6
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []