From ba4c439d77c3bd009876a1ada1444c1505971ac1 Mon Sep 17 00:00:00 2001 From: stefan-hoeck Date: Sun, 2 Mar 2025 17:51:03 +0100 Subject: [PATCH] [ new ] add async-posix library --- collections/HEAD.toml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collections/HEAD.toml b/collections/HEAD.toml index f0c05e2dd0..72214ba48c 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"