add Package.juvix to Geb tests

anoma · Dec 6, 2023 · 1386286 · 1386286
1 parent ffcc879
commit 1386286
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/Geb/positive/Package.juvix b/tests/Geb/positive/Package.juvix
@@ -0,0 +1,5 @@
+module Package;
+
+import PackageDescription.V2 open;
+
+package : Package := defaultPackage {name := "positive"};