Merge pull request #18 from anoma/default-stdlib

Switch to default stdlib
anoma · Jan 14, 2025 · dc273fe · dc273fe
2 parents c5b6b67 + 9295218
commit dc273fe
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 12 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@{
     name := "test";
     version := mkVersion 0 18 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.9.0"];
+    dependencies := [defaultStdlib];
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -1,11 +1,8 @@
-# This file was autogenerated by Juvix version 0.6.8.
+# This file was autogenerated by Juvix version 0.6.9.
 # Do not edit this file manually.
 
 version: 2
-checksum: 3fbb567f4af36de25309c95571af392b1409f7c3713d70c37533445d5d2523c4
+checksum: 9292a934d9a9609a3882f88bf97998e1bc32d9b3c241cd121c89e7f69e49eb8c
 dependencies:
-- git:
-    name: anoma_juvix-stdlib
-    ref: 01ff19f1135048be3402e094f2fc89406a44a995
-    url: https://github.com/anoma/juvix-stdlib
+- path: .juvix-build/0.6.9/stdlib/
   dependencies: []
diff --git a/tests/juvix.lock.yaml b/tests/juvix.lock.yaml
@@ -1,15 +1,12 @@
-# This file was autogenerated by Juvix version 0.6.8.
+# This file was autogenerated by Juvix version 0.6.9.
 # Do not edit this file manually.
 
 version: 2
 checksum: c8364a37b86b12a5928030a35d1e6bfc70586107ed2356ded1db291b969e0e1a
 dependencies:
 - path: ../
   dependencies:
-  - git:
-      name: anoma_juvix-stdlib
-      ref: 01ff19f1135048be3402e094f2fc89406a44a995
-      url: https://github.com/anoma/juvix-stdlib
+  - path: .juvix-build/0.6.9/stdlib/
     dependencies: []
 - git:
     name: anoma_juvix-stdlib