From 12b72c6f91126f08e19ef183cc377bb86e629de9 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 15 Aug 2024 10:34:04 +0100
Subject: [PATCH] Update to the latest juvix-stdlib (#9)

---
 Package.juvix         | 4 ++--
 juvix.lock.yaml       | 6 +++---
 tests/Package.juvix   | 2 +-
 tests/juvix.lock.yaml | 8 ++++----
 4 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/Package.juvix b/Package.juvix
index 9a0a234..d121663 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,6 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "test";
-    version := mkVersion 0 12 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.5.0"]
+    version := mkVersion 0 13 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.6.0"]
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index 5b32eb2..61df6ee 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -1,11 +1,11 @@
-# This file was autogenerated by Juvix version 0.6.4.
+# This file was autogenerated by Juvix version 0.6.5.
 # Do not edit this file manually.
 
 version: 2
-checksum: ccfae54b08216f345ed4d42cf26fa111a95ae51d1171c611b86352af409ee561
+checksum: 7ee727deb12fc394e1febdafe00682c8d8b9627c1b0605bbbc1900888e7eff1e
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 16211500dc59a944f851fbaeeef703fdd09163fa
+    ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
diff --git a/tests/Package.juvix b/tests/Package.juvix
index fbb1cfe..28e4540 100644
--- a/tests/Package.juvix
+++ b/tests/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "tests";
-    dependencies := [path "../"; github "anoma" "juvix-stdlib" "v0.5.0"]
+    dependencies := [path "../"; github "anoma" "juvix-stdlib" "v0.6.0"]
   };
diff --git a/tests/juvix.lock.yaml b/tests/juvix.lock.yaml
index 73a63aa..d7666a1 100644
--- a/tests/juvix.lock.yaml
+++ b/tests/juvix.lock.yaml
@@ -1,18 +1,18 @@
-# This file was autogenerated by Juvix version 0.6.4.
+# This file was autogenerated by Juvix version 0.6.5.
 # Do not edit this file manually.
 
 version: 2
-checksum: c18d1a5878618cd758cd7a371c641facc945dc4c4d4ea7831135a01fa84bf6be
+checksum: 90b72165433d68bfe79b7b6a61b2b06165f41afd61444e1aba5d8ed32cb56439
 dependencies:
 - path: ../
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: 16211500dc59a944f851fbaeeef703fdd09163fa
+      ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []
 - git:
     name: anoma_juvix-stdlib
-    ref: 16211500dc59a944f851fbaeeef703fdd09163fa
+    ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []