From 94af3f373d931b81d377d5604a782ea66c7db02d Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Tue, 5 Nov 2024 18:50:12 +0000
Subject: [PATCH] chore: update juvix-stdlib dependency (#24)

After the Juvix record update syntax change the Juvix stdlib must be
updated.

https://github.com/anoma/juvix/pull/3138
---
 Package.juvix   | 2 +-
 juvix.lock.yaml | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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: []