add pack. for db checks

andrevidela · Nov 18, 2024 · 6364532 · 6364532
1 parent e3b674f
commit 6364532
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pack.toml b/pack.toml
@@ -0,0 +1,4 @@
+[idris2]
+type = "local"
+path = "."
+ipkg = "idris2.ipkg"