summaryrefslogtreecommitdiff
path: root/soas.ipkg
diff options
context:
space:
mode:
authorOhad Kammar <ohad.kammar@ed.ac.uk>2024-01-17 05:57:38 +0000
committerOhad Kammar <ohad.kammar@ed.ac.uk>2024-01-17 05:57:38 +0000
commit72cae98fc978ae5981d13db1e66718eca14f3eda (patch)
tree4ead8b08db3e8227a7ba171499003d502fda7562 /soas.ipkg
parent1f9a29a6e9a0f536976084db4c4bd7c717401084 (diff)
Refactor to support concrete names in support
Diffstat (limited to 'soas.ipkg')
-rw-r--r--soas.ipkg4
1 files changed, 2 insertions, 2 deletions
diff --git a/soas.ipkg b/soas.ipkg
index 096c6a0..9371eb8 100644
--- a/soas.ipkg
+++ b/soas.ipkg
@@ -13,10 +13,10 @@ authors = "Ohad Kammar"
-- langversion
-- packages to add to search path
--- depends =
+depends = contrib
-- modules to install
-modules = Soas
+modules = SOAS
-- main file (i.e. file to load at REPL)
-- main =