Update stdlib dependency

anoma · Oct 11, 2024 · 8581191 · 8581191
1 parent 992689d
commit 8581191
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,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "test";
     version := mkVersion 0 15 0;
-    dependencies := [github "anoma" "juvix-stdlib" "e9bb85799034189e6ba1c3b2b9e2cf10ec4ecbee"]
+    dependencies := [github "anoma" "juvix-stdlib" "1e581bb8fb8a6a9198ad927d1611d280ad5789a6"]
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 3877ad5c7fc888cebdb23d081ff1bdb70feaa21f9bddc7288eff4f41fe38246c
+checksum: fef1674b71262a9e9aac055eed7453421e4fbc0db21b18ef568b2ee80ea68677
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 615a02c8107076ca9661c5234d41792be91a5104
+    ref: 1e581bb8fb8a6a9198ad927d1611d280ad5789a6
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []