Update to stdlib 0.7.0 and test 0.15.0

Package.juvix

@@ -5,6 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "containers";
-    version := mkVersion 0 14 1;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.6.0"]
+    version := mkVersion 0 15 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.7.0"]
   };

juvix.lock.yaml

@@ -1,11 +1,11 @@
-# This file was autogenerated by Juvix version 0.6.5.
+# This file was autogenerated by Juvix version 0.6.6.
 # Do not edit this file manually.
 
 version: 2
-checksum: 84b86822b505189000d4de6ff4193143f40a64cd5a7a59c7ab8bf26c89f1891f
+checksum: 706bf2d85fd61ca17638de213275be7d6286c58c45a3fa6eca70a065b1ac0e82
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
+    ref: 615a02c8107076ca9661c5234d41792be91a5104
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []

test/Package.juvix

@@ -7,5 +7,5 @@ package : Package :=
     name := "containers-tests";
     main := just "Main.juvix";
     dependencies :=
-      [github "anoma" "juvix-stdlib" "v0.6.0"; github "anoma" "juvix-test" "v0.13.0"; path "../"]
+      [github "anoma" "juvix-stdlib" "v0.7.0"; github "anoma" "juvix-test" "v0.15.0"; path "../"]
   };

test/juvix.lock.yaml

@@ -1,28 +1,28 @@
-# This file was autogenerated by Juvix version 0.6.5.
+# This file was autogenerated by Juvix version 0.6.6.
 # Do not edit this file manually.
 
 version: 2
-checksum: f08d729e734185158847c6199dcf859238b1edc267f35f56d33eae0a195f1da5
+checksum: f1a12d81403e253115c263fe75075df5d4b6131f314401faeda8c87559c481f3
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
+    ref: 615a02c8107076ca9661c5234d41792be91a5104
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
 - git:
     name: anoma_juvix-test
-    ref: 12b72c6f91126f08e19ef183cc377bb86e629de9
+    ref: 3103c41e055eb9018a851fd3688cd608cad8f55d
     url: https://github.com/anoma/juvix-test
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
+      ref: 615a02c8107076ca9661c5234d41792be91a5104
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []
 - path: ../
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
+      ref: 615a02c8107076ca9661c5234d41792be91a5104
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []