Update dependencies and version number (#84)

Author: janmasrovira

Package.juvix

@@ -5,10 +5,10 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "anoma-applib";
-    version := mkVersion 0 6 0;
+    version := mkVersion 0 7 2;
     dependencies :=
       [
-        github "anoma" "juvix-stdlib" "v0.10.0";
-        github "anoma" "juvix-mtl" "v0.2.0";
+        github "anoma" "juvix-stdlib" "v0.10.1";
+        github "anoma" "juvix-mtl" "v0.2.1";
       ];
   };

juvix.lock.yaml

@@ -2,20 +2,20 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 18b40175be436f5f8d40c2665f43826e2b7cf36b50a6ea0d7f9bfc7ca8ad68a6
+checksum: 18c688de6bdc354eb3a05c4328f88d7003b591cabdc8bd643c3b867623747c8e
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: c5d4fcd87b26608f628e6b116587f1ec227e1bf0
+    ref: e5add9b2a8ce3dc28519c135bdcdcd694d0bea15
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
 - git:
     name: anoma_juvix-mtl
-    ref: 6b41d21544feef0d590222538d394899667c499e
+    ref: 116893aa8f6233d693bdfa60a56a3879208cfd8f
     url: https://github.com/anoma/juvix-mtl
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: c5d4fcd87b26608f628e6b116587f1ec227e1bf0
+      ref: e5add9b2a8ce3dc28519c135bdcdcd694d0bea15
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []