diff --git a/Package.juvix b/Package.juvix
index e9d3993..1fd652d 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -5,6 +5,6 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "test";
-    version := mkVersion 0 15 0;
-    dependencies := [github "anoma" "juvix-stdlib" "1e581bb8fb8a6a9198ad927d1611d280ad5789a6"]
+    version := mkVersion 0 16 0;
+    dependencies := [github "anoma" "juvix-stdlib" "v0.8.0"];
   };
diff --git a/juvix.lock.yaml b/juvix.lock.yaml
index b2dd0df..7e806cb 100644
--- a/juvix.lock.yaml
+++ b/juvix.lock.yaml
@@ -1,11 +1,11 @@
-# This file was autogenerated by Juvix version 0.6.6.
+# This file was autogenerated by Juvix version 0.6.7.
 # Do not edit this file manually.
 
 version: 2
-checksum: fef1674b71262a9e9aac055eed7453421e4fbc0db21b18ef568b2ee80ea68677
+checksum: 23a0f87e39f0f9ccd59b37ed7bbcae0aaccb570430cefb42bc543699546dbac8
 dependencies:
 - git:
     name: anoma_juvix-stdlib
-    ref: 1e581bb8fb8a6a9198ad927d1611d280ad5789a6
+    ref: 0080b1183ab55e5180e69bfc3987e4cd6edbc230
     url: https://github.com/anoma/juvix-stdlib
   dependencies: []