1 files changed, 8 insertions, 0 deletions
diff --git a/obs.ipkg b/obs.ipkg
index de58b89..45ebe9a 100644
--- a/obs.ipkg
+++ b/obs.ipkg
@@ -5,3 +5,11 @@ sourcedir = "src"
 depends = contrib
 
 options = "--total"
+
+modules
+  = Core.Context
+  , Core.Name
+  , Core.Term
+  , Core.Term.Environment
+  , Core.Thinning
+  , Core.Var