Update to stdlib v0.7.0 (#13)

anoma · Sep 3, 2024 · 3103c41 · 3103c41
1 parent 4cc8d21
commit 3103c41
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -5,6 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "test";
-    version := mkVersion 0 14 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.6.0"]
+    version := mkVersion 0 15 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.7.0"]
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -1,11 +1,11 @@
-# This file was autogenerated by Juvix version 0.6.5.
+# This file was autogenerated by Juvix version 0.6.6.
 # Do not edit this file manually.
 
 version: 2
-checksum: 7ee727deb12fc394e1febdafe00682c8d8b9627c1b0605bbbc1900888e7eff1e
+checksum: 3877ad5c7fc888cebdb23d081ff1bdb70feaa21f9bddc7288eff4f41fe38246c
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 17a82dd466010b51924677b16a3f09a6c4c86a80
+    ref: 615a02c8107076ca9661c5234d41792be91a5104
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []