From 72cae98fc978ae5981d13db1e66718eca14f3eda Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Wed, 17 Jan 2024 05:57:38 +0000
Subject: Refactor to support concrete names in support

---
 soas.ipkg | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'soas.ipkg')

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 =
-- 
cgit v1.2.3