use defaultStdlib

anoma · Dec 2, 2024 · 2f53a7b · 2f53a7b
1 parent 30ddbb6
commit 2f53a7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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";
   };