Update stdlib to v0.10.1 (#5)

anoma · Jan 29, 2025 · 116893a · 116893a
1 parent 6b41d21
commit 116893a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -5,6 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "mtl";
-    version := mkVersion 0 1 1;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.10.0"];
+    version := mkVersion 0 2 1;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.10.1"];
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 80ca698ae74993c05fcab8910e765745afcd541ad98cbf1c0c4f37502498456a
+checksum: 300b54c99b6d804dfcef47ebf8d7c02f6ddcc5a3fb4f9cd0255d954f67a7a86b
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: c5d4fcd87b26608f628e6b116587f1ec227e1bf0
+    ref: e5add9b2a8ce3dc28519c135bdcdcd694d0bea15
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []