diff --git a/collections/HEAD.toml b/collections/HEAD.toml index f0c05e2dd..72214ba48 100644 --- a/collections/HEAD.toml +++ b/collections/HEAD.toml @@ -47,6 +47,12 @@ url = "https://github.com/stefan-hoeck/idris2-async" commit = "main" ipkg = "async-epoll/async-epoll.ipkg" +[db.async-posix] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-async" +commit = "main" +ipkg = "async-posix/async-posix.ipkg" + [db.barbies] type = "github" url = "https://github.com/stefan-hoeck/idris2-barbies"