chore: update juvix-stdlib dependency (#24)

After the Juvix record update syntax change the Juvix stdlib must be updated. anoma/juvix#3138
anoma · Nov 5, 2024 · 94af3f3 · 94af3f3
1 parent d2bcac9
commit 94af3f3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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: []