Add utf8 package (#123)

* Add utf8 package * Add utf8 package tests
stefan-hoeck · Aug 23, 2023 · 98e8126 · 98e8126
1 parent 4903d49
commit 98e8126
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -662,6 +662,13 @@ url    = "https://github.com/Z-snails/uniplate-idr"
 commit = "main"
 ipkg   = "uniplate.ipkg"
 
+[db.utf8]
+type   = "github"
+url    = "https://git.sr.ht/~janus/utf8"
+commit = "master"
+ipkg   = "utf8.ipkg"
+test   = "test/test.ipkg"
+
 [db.webidl]
 type   = "github"
 url    = "https://github.com/stefan-hoeck/idris2-webidl"