Update stdlib to v0.9.0 (#17)

Author: paulcadman

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"];
   };

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: []

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"];
   };

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: []