[ new ] added the elin library

stefan-hoeck · Feb 17, 2025 · 9035bc9 · 9035bc9
1 parent 093fdf6
commit 9035bc9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -252,6 +252,12 @@ url    = "https://github.com/stefan-hoeck/idris2-elab-util"
 commit = "main"
 ipkg   = "elab-util.ipkg"
 
+[db.elin]
+type = "github"
+url  = "https://github.com/stefan-hoeck/idris2-elin"
+commit = "main"
+ipkg = "elin.ipkg"
+
 [db.epoll]
 type   = "github"
 url    = "https://github.com/stefan-hoeck/idris2-epoll"