use defaultStdlib

anoma · Dec 3, 2024 · c75ec60 · c75ec60
1 parent 30ddbb6
commit c75ec60
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Package.juvix b/Package.juvix
@@ -5,7 +5,7 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@?{
     name := "quickcheck";
-    version := mkVersion 0 16 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.8.0"];
+    version := mkVersion 0 17 0;
+    dependencies := [defaultStdlib];
     main := just "Example.juvix";
   };