Update stdlib to v0.10.1 (#5)

anoma · Jan 29, 2025 · f9ebdfe · f9ebdfe
1 parent 6b41d21
commit f9ebdfe
Showing 1 changed file with 2 additions and 2 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"];
   };