[ new ] add async-posix library

stefan-hoeck · Mar 2, 2025 · ba4c439 · ba4c439
1 parent 0856e53
commit ba4c439
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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"