diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-31 17:55:51 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-03-31 17:55:51 +0100 |
| commit | ce28d5e9e6bc72b3af63a895544fae3e5dd69e6b (patch) | |
| tree | 87a20b468ddd1cc9f66971148799631536e0d5a4 /obs.ipkg | |
| parent | 287a669f17359c696f3d2f588d9be658aafca51a (diff) | |
Add modules to package manifest.
Diffstat (limited to 'obs.ipkg')
| -rw-r--r-- | obs.ipkg | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -5,3 +5,11 @@ sourcedir = "src" depends = contrib options = "--total" + +modules + = Core.Context + , Core.Name + , Core.Term + , Core.Term.Environment + , Core.Thinning + , Core.Var |