From 418730bde34c925ed93cc1a2ca81d09fcbd92821 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Thu, 24 Nov 2022 14:07:53 +0000
Subject: Add modules to ipkg.

---
 soat.ipkg | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'soat.ipkg')

diff --git a/soat.ipkg b/soat.ipkg
index e0e51d7..e913be6 100644
--- a/soat.ipkg
+++ b/soat.ipkg
@@ -1,3 +1,12 @@
 package soat
 authors = "Greg Brown"
 sourcedir = "src"
+
+modules = Soat.Data.Product
+        , Soat.Data.Sublist
+        , Soat.FirstOrder.Algebra
+        , Soat.FirstOrder.Signature
+        , Soat.FirstOrder.Term
+        , Soat.Relation
+        , Soat.SecondOrder.Algebra
+        , Soat.SecondOrder.Signature
-- 
cgit v1.2.3