From 1f9a29a6e9a0f536976084db4c4bd7c717401084 Mon Sep 17 00:00:00 2001
From: Ohad Kammar <ohad.kammar@ed.ac.uk>
Date: Tue, 16 Jan 2024 11:18:03 +0000
Subject: initial commit

---
 soas.ipkg | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 soas.ipkg

(limited to 'soas.ipkg')

diff --git a/soas.ipkg b/soas.ipkg
new file mode 100644
index 0000000..096c6a0
--- /dev/null
+++ b/soas.ipkg
@@ -0,0 +1,47 @@
+package soas
+version = 0.1.0
+authors = "Ohad Kammar"
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+-- depends =
+
+-- modules to install
+modules = Soas
+
+-- main file (i.e. file to load at REPL)
+-- main =
+
+-- name of executable
+-- executable =
+-- opts =
+sourcedir = "src"
+-- builddir =
+-- outputdir =
+
+-- script to run before building
+-- prebuild =
+
+-- script to run after building
+-- postbuild =
+
+-- script to run after building, before installing
+-- preinstall =
+
+-- script to run after installing
+-- postinstall =
+
+-- script to run before cleaning
+-- preclean =
+
+-- script to run after cleaning
+-- postclean =
-- 
cgit v1.2.3