Update for Juvix 0.6.2 (#13)

anoma · Jun 13, 2024 · b466701 · b466701
1 parent ebe8d2a
commit b466701
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 11 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage
     {name := "containers";
-     version := mkVersion 0 10 0;
-     dependencies := [github "anoma" "juvix-stdlib" "v0.2.0"]};
+     version := mkVersion 0 11 0;
+     dependencies := [github "anoma" "juvix-stdlib" "v0.3.0"]};
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -1,8 +1,8 @@
-# This file was autogenerated by Juvix version 0.6.0.
+# This file was autogenerated by Juvix version 0.6.1.
 # Do not edit this file manually.
 
 version: 2
-checksum: 2427d29ec99cc5ef24b9ab6f0395c9255bed29cb598f610935e555500aeb7019
+checksum: 75024fc227f6d942045d351ee3d066579e709c363a65d02928019b74a165ab49
 dependencies:
 - git:
     name: anoma_juvix-stdlib

diff --git a/test/Package.juvix b/test/Package.juvix
@@ -6,7 +6,7 @@ package : Package :=
   defaultPackage
     {name := "containers-tests";
      main := just "Main.juvix";
-     dependencies := [ github "anoma" "juvix-stdlib" "v0.2.0"
-                     ; github "anoma" "juvix-test" "v0.9.0"
+     dependencies := [ github "anoma" "juvix-stdlib" "v0.3.0"
+                     ; github "anoma" "juvix-test" "v0.10.0"
                      ; path "../"
                      ]};
diff --git a/test/juvix.lock.yaml b/test/juvix.lock.yaml
@@ -1,22 +1,22 @@
-# This file was autogenerated by Juvix version 0.6.0.
+# This file was autogenerated by Juvix version 0.6.2.
 # Do not edit this file manually.
 
 version: 2
-checksum: df02f0de613b73eb33ade5e798d2d1ea4758a94908bd0af43cc7ce04bab0dac0
+checksum: 9c537bb8969fcc407cae30fdd701846137d3980db8ef118a2724fd7f490e8c00
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
+    ref: 73ecbc57738f4bde6f4f39636436ba38504b33f6
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
 - git:
     name: anoma_juvix-test
-    ref: 341fc7f67f1290f0af5007e2fb1375770761fe29
+    ref: 4e54de43de077eb95329202902ba15891c14b068
     url: https://github.com/anoma/juvix-test
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
+      ref: 73ecbc57738f4bde6f4f39636436ba38504b33f6
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []
 - path: ../