diff --git a/Package.juvix b/Package.juvix
index 9e6be1f..af2fe01 100644
--- a/Package.juvix
+++ b/Package.juvix
@@ -6,6 +6,6 @@ package : Package :=
   defaultPackage@?{
     name := "quickcheck";
     version := mkVersion 0 16 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.8.0"];
+    dependencies := [defaultStdlib];
     main := just "Example.juvix";
   };