chore: bump dep

anoma · Oct 23, 2024 · 1d5aaca · 1d5aaca
1 parent 7d9c930
commit 1d5aaca
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Kudos/Package.juvix b/Kudos/Package.juvix
@@ -8,7 +8,7 @@ package : Package :=
     dependencies :=
       [ github "anoma" "juvix-stdlib" "ff351799c068e7b3e23dd903547d228dc30aff5e"
       ; github "anoma" "juvix-test" "v0.15.0"
-      ; github "anoma" "juvix-arm-transparent" "c5d16b93ec2d01686c5dd934ce671a51edab344a"
+      ; github "anoma" "juvix-arm-transparent" "efb1be6b0448690fb4d0b95a58f88fb1d5c7cc3e"
       ; github "anoma" "anoma-app-lib" "32ff9d624aa8548f979deaff1340f4dbd4cf7b72"
       ]
   };
diff --git a/Kudos/juvix.lock.yaml b/Kudos/juvix.lock.yaml
@@ -2,7 +2,7 @@
 # Do not edit this file manually.
 
 version: 2
-checksum: 647c672b746bb1a2ae04f224a746a076d860b39120ffd15100f0f0c2d02e1c9e
+checksum: a08e32ccb9183e0e50aaed60ba838db6fb58678e262c0965938d437aaea9e2c2
 dependencies:
 - git:
     name: anoma_juvix-stdlib
@@ -21,7 +21,7 @@ dependencies:
     dependencies: []
 - git:
     name: anoma_juvix-arm-transparent
-    ref: c5d16b93ec2d01686c5dd934ce671a51edab344a
+    ref: efb1be6b0448690fb4d0b95a58f88fb1d5c7cc3e
     url: https://github.com/anoma/juvix-arm-transparent
   dependencies:
   - git: