[ new ] add dom-mvc package (#122)

stefan-hoeck · Jul 18, 2023 · f11ea7f · f11ea7f
1 parent 5c1584b
commit f11ea7f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -93,6 +93,12 @@ url    = "https://github.com/stefan-hoeck/idris2-dom"
 commit = "main"
 ipkg   = "dom.ipkg"
 
+[db.dom-mvc]
+type   = "github"
+url    = "https://github.com/stefan-hoeck/idris2-dom-mvc"
+commit = "main"
+ipkg   = "dom-mvc.ipkg"
+
 [db.dot-gv]
 type   = "github"
 url    = "https://github.com/CodingCellist/idris2-dot-parse"