switch to default stdlib

anoma · Jan 14, 2025 · 0559137 · 0559137
1 parent c5b6b67
commit 0559137
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Package.juvix b/Package.juvix
@@ -6,5 +6,5 @@ package : Package :=
   defaultPackage@{
     name := "test";
     version := mkVersion 0 18 0;
-    dependencies := [github "anoma" "juvix-stdlib" "v0.9.0"];
+    dependencies := [defaultStdlib];
   };