diff --git a/Package.juvix b/Package.juvix
index 77a0524..5e7e4b9 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@?{
     name := "juvix-arm-specs";
     version := mkVersion 2 0 0;
-    dependencies := [github "anoma" "juvix-stdlib" "37d3dd74b78f0ec0c48c8adc44f5b99c6d068464"]
+    dependencies := [github "anoma" "juvix-stdlib" "8bc67b874860a26cba02d853b879e9c0a347efe2"]
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index 3214a97..38af367 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -2,10 +2,10 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 227d9dc541b5bcd6f56ac9f4a5782a60ddb6a5017a6ca6d4fd19a31990285ca4
+checksum: e7d5357cd83a1078697bc219e3568c2f79055b01815dcbbdc2a04af248ece4dc
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 37d3dd74b78f0ec0c48c8adc44f5b99c6d068464
+    ref: 8bc67b874860a26cba02d853b879e9c0a347efe2
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []