From c5b6b67494fc029a0892db84f07eb814e43aac4e Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Fri, 20 Dec 2024 19:05:31 +0000
Subject: [PATCH] Update stdlib to v0.9.0 (#17)

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

diff --git a/Package.juvix b/Package.juvix
index eb9d455..294c9fe 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,12 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "test";
-    version := mkVersion 0 17 0;
-    dependencies :=
-      [
-        github
-          "anoma"
-          "juvix-stdlib"
-          "ff6d964320d24e3e8010733afcd886a62a56dd70";
-      ];
+    version := mkVersion 0 18 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.9.0"];
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index e494156..ede1163 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: ffa729ccad4b69b2b7673deabeeb8d738b8a71b6887fff53c4cb45f61d757d09
+checksum: 3fbb567f4af36de25309c95571af392b1409f7c3713d70c37533445d5d2523c4
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: ff6d964320d24e3e8010733afcd886a62a56dd70
+    ref: 01ff19f1135048be3402e094f2fc89406a44a995
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
diff --git a/tests/Package.juvix b/tests/Package.juvix
index a6e583e..911498b 100644
--- a/tests/Package.juvix
+++ b/tests/Package.juvix
@@ -5,12 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "tests";
-    dependencies :=
-      [
-        path "../";
-        github
-          "anoma"
-          "juvix-stdlib"
-          "ff6d964320d24e3e8010733afcd886a62a56dd70";
-      ];
+    dependencies := [path "../"; github "anoma" "juvix-stdlib" "v0.9.0"];
   };
diff --git a/tests/juvix.lock.yaml b/tests/juvix.lock.yaml
index 8132aa2..409cfd7 100644
--- a/tests/juvix.lock.yaml
+++ b/tests/juvix.lock.yaml
@@ -2,17 +2,17 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 307e5ef4b3124c659fdc9906f641cf6360ccde31cab68b934bf4a65b0ba83b9d
+checksum: c8364a37b86b12a5928030a35d1e6bfc70586107ed2356ded1db291b969e0e1a
 dependencies:
 - path: ../
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: ff6d964320d24e3e8010733afcd886a62a56dd70
+      ref: 01ff19f1135048be3402e094f2fc89406a44a995
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []
 - git:
     name: anoma_juvix-stdlib
-    ref: ff6d964320d24e3e8010733afcd886a62a56dd70
+    ref: 01ff19f1135048be3402e094f2fc89406a44a995
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []