diff --git a/Package.juvix b/Package.juvix
new file mode 100644
index 00000000..c4a84687
--- /dev/null
+++ b/Package.juvix
@@ -0,0 +1,9 @@
+module Package;
+
+import PackageDescription.V1 open;
+
+package : Package :=
+  defaultPackage
+    {name := "stdlib";
+     version := mkVersion 0 0 1;
+     dependencies := []};
diff --git a/juvix.yaml b/juvix.yaml
deleted file mode 100644
index 1b53785b..00000000
--- a/juvix.yaml
+++ /dev/null
@@ -1,3 +0,0 @@
-name: stdlib
-version: 0.0.1
-dependencies: []
diff --git a/test/Package.juvix b/test/Package.juvix
new file mode 100644
index 00000000..edf5bca2
--- /dev/null
+++ b/test/Package.juvix
@@ -0,0 +1,13 @@
+module Package;
+
+import PackageDescription.V1 open;
+
+package : Package :=
+  defaultPackage
+    {name := "stdlib-test";
+     dependencies := [ path "../"
+                     ; github
+                       "anoma"
+                       "juvix-quickcheck"
+                       "45981b666b67f8ceb7e01ff2b518165efc08f70c"
+                     ]};
diff --git a/test/juvix.lock.yaml b/test/juvix.lock.yaml
index b11fdf00..16534fc9 100644
--- a/test/juvix.lock.yaml
+++ b/test/juvix.lock.yaml
@@ -1,13 +1,13 @@
-# This file was autogenerated by Juvix version 0.5.2.
+# This file was autogenerated by Juvix version 0.5.3.
 # Do not edit this file manually.
 
 dependencies:
 - path: ../
   dependencies: []
 - git:
-    name: quickcheck
+    name: anoma_juvix-quickcheck
     ref: 45981b666b67f8ceb7e01ff2b518165efc08f70c
-    url: https://github.com/anoma/juvix-quickcheck.git
+    url: https://github.com/anoma/juvix-quickcheck
   dependencies:
   - git:
       name: stdlib
diff --git a/test/juvix.yaml b/test/juvix.yaml
deleted file mode 100644
index 1c9ea45d..00000000
--- a/test/juvix.yaml
+++ /dev/null
@@ -1,8 +0,0 @@
-dependencies:
-- ../
-- git:
-    url: https://github.com/anoma/juvix-quickcheck.git
-    ref: 45981b666b67f8ceb7e01ff2b518165efc08f70c
-    name: quickcheck
-name: stdlib-test
-version: 0.0.0