diff --git a/workflows/tests.yaml b/.github/workflows/tests.yaml
similarity index 100%
rename from workflows/tests.yaml
rename to .github/workflows/tests.yaml
diff --git a/HelloWorld/Package.juvix b/HelloWorld/Package.juvix
index 82acdd0..43f8039 100644
--- a/HelloWorld/Package.juvix
+++ b/HelloWorld/Package.juvix
@@ -8,7 +8,7 @@ package : Package :=
     dependencies :=
       [
         github "anoma" "juvix-stdlib" "v0.8.0";
-        github "anoma" "juvix-arm-specs" "v2.0.0-transparent-alpha.0";
-        github "anoma" "anoma-app-lib" "v0.6.0";
+         github "anoma" "juvix-arm-specs" "v2.0.0-transparent-alpha.1";
+        github "anoma" "anoma-app-lib" "v0.6.1";
       ];
   };
diff --git a/HelloWorld/juvix.lock.yaml b/HelloWorld/juvix.lock.yaml
index f6d5796..63bf81a 100644
--- a/HelloWorld/juvix.lock.yaml
+++ b/HelloWorld/juvix.lock.yaml
@@ -1,8 +1,8 @@
-# This file was autogenerated by Juvix version 0.6.7.
+# This file was autogenerated by Juvix version 0.6.8.
 # Do not edit this file manually.
 
 version: 2
-checksum: f2bc02af64fefc857bd08eddbc5e32622ac0214d92d6a855e8a95e89cc2db655
+checksum: bf6d9cde1d381ef43acf3f7c3d7a7be76f6e3c51c741f9be1e465568c211bf5a
 dependencies:
 - git:
     name: anoma_juvix-stdlib
@@ -11,7 +11,7 @@ dependencies:
   dependencies: []
 - git:
     name: anoma_juvix-arm-specs
-    ref: 76b7907065bdf23aefa44dfaa78107db16da183d
+    ref: dc691b9e17b4b8136296904d433c946f81588157
     url: https://github.com/anoma/juvix-arm-specs
   dependencies:
   - git:
@@ -21,7 +21,7 @@ dependencies:
     dependencies: []
 - git:
     name: anoma_anoma-app-lib
-    ref: f2dea70d8840dffb5295214c72946334b43a95d9
+    ref: a6c4993f203d759051ef4a31c0c6c7fde0a9e9a2
     url: https://github.com/anoma/anoma-app-lib
   dependencies:
   - git:
@@ -31,7 +31,7 @@ dependencies:
     dependencies: []
   - git:
       name: anoma_juvix-arm-specs
-      ref: 76b7907065bdf23aefa44dfaa78107db16da183d
+      ref: dc691b9e17b4b8136296904d433c946f81588157
       url: https://github.com/anoma/juvix-arm-specs
     dependencies:
     - git: