From b46670125582dd8689fc5e679ec43c2912621e94 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 13 Jun 2024 09:46:07 +0100
Subject: [PATCH] Update for Juvix 0.6.2 (#13)

---
 Package.juvix        |  4 ++--
 juvix.lock.yaml      |  4 ++--
 test/Package.juvix   |  4 ++--
 test/juvix.lock.yaml | 10 +++++-----
 4 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/Package.juvix b/Package.juvix
index b974731..8dba83a 100644
--- 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
index aa842f4..790dd53 100644
--- 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
index 189214f..b86be33 100644
--- 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
index c3c6400..6bad5a2 100644
--- 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: ../