chore: update deps

anoma · Dec 13, 2024 · ea4944d · ea4944d
1 parent 79ec2c2
commit ea4944d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -3,8 +3,8 @@ module Package;
 import PackageDescription.V2 open;
 
 package : Package :=
-  defaultPackage@?{
+  defaultPackage@{
     name := "juvix-arm-specs";
     version := mkVersion 2 0 0;
-    dependencies := [github "anoma" "juvix-stdlib" "fde9ac23534fe1c0ba3f69714233dbd1d3934a9c"];
+    dependencies := [defaultStdlib];
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
@@ -2,10 +2,7 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: e677f0f10c58c97c5e3003a4f629eb46af97ae9c7789a9d13c4e723863938327
+checksum: ee44afd2a6203d8c2f272a447fcab9d9290cb67bbdc6d5f08a6d8459c38dc2e8
 dependencies:
-- git:
-    name: anoma_juvix-stdlib
-    ref: fde9ac23534fe1c0ba3f69714233dbd1d3934a9c
-    url: https://github.com/anoma/juvix-stdlib
+- path: .juvix-build/0.6.8/stdlib/
   dependencies: []