diff --git a/Package.juvix b/Package.juvix
index 29ece6f..3db305c 100644
--- 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
index 19148c3..fde6736 100644
--- 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: []