From 1386286147232e4d1f687c5e6dd7d36e90dfd9d1 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 6 Dec 2023 10:04:59 +0100
Subject: [PATCH] add Package.juvix to Geb tests

---
 tests/Geb/positive/Package.juvix | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 tests/Geb/positive/Package.juvix

diff --git a/tests/Geb/positive/Package.juvix b/tests/Geb/positive/Package.juvix
new file mode 100644
index 0000000000..0a97a86198
--- /dev/null
+++ b/tests/Geb/positive/Package.juvix
@@ -0,0 +1,5 @@
+module Package;
+
+import PackageDescription.V2 open;
+
+package : Package := defaultPackage {name := "positive"};