Update for compatibility with Juvix 0.6.0 (#4)

anoma · Mar 5, 2024 · 341fc7f · 341fc7f
1 parent 61c5404
commit 341fc7f
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -5,5 +5,5 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage
     {name := "test";
-     version := mkVersion 0 8 0;
-     dependencies := [github "anoma" "juvix-stdlib" "v0.1.0"]};
+     version := mkVersion 0 9 0;
+     dependencies := [github "anoma" "juvix-stdlib" "v0.2.0"]};
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -1,11 +1,11 @@
-# This file was autogenerated by Juvix version 0.5.4.
+# This file was autogenerated by Juvix version 0.6.0.
 # Do not edit this file manually.
 
 version: 2
-checksum: bb2c92390bf49873ae476fb3e816d2f9e2e86dbec0e584a0ccfe552ec0f2bda1
+checksum: 558e4557a17b62c5d97534bd86ce4b964e9f8378a6930533699ddac3605e59a6
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
+    ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []
diff --git a/tests/Package.juvix b/tests/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage
     {name := "tests";
      dependencies := [ path "../"
-                     ; github "anoma" "juvix-stdlib" "v0.1.0"
+                     ; github "anoma" "juvix-stdlib" "v0.2.0"
                      ]};
diff --git a/tests/juvix.lock.yaml b/tests/juvix.lock.yaml
@@ -1,18 +1,18 @@
-# This file was autogenerated by Juvix version 0.5.4.
+# This file was autogenerated by Juvix version 0.6.0.
 # Do not edit this file manually.
 
 version: 2
-checksum: bc44ac3a4265ab42f42880ebe71560cce855411ca98574181715b96d34543bb8
+checksum: 6f4532909e9c488a5c3d0686e7d24327857725fdbb8cd61e29c84cdb4ee66c8a
 dependencies:
 - path: ../
   dependencies:
   - git:
       name: anoma_juvix-stdlib
-      ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
+      ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
       url: https://github.com/anoma/juvix-stdlib
     dependencies: []
 - git:
     name: anoma_juvix-stdlib
-    ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
+    ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []