From 98e8126dcefebe728f22553ff0dd499451a5ac12 Mon Sep 17 00:00:00 2001 From: Janus Troelsen Date: Tue, 22 Aug 2023 22:03:54 -0700 Subject: [PATCH] Add utf8 package (#123) * Add utf8 package * Add utf8 package tests --- collections/HEAD.toml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/collections/HEAD.toml b/collections/HEAD.toml index ffa4bca2f..440534b26 100644 --- 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"