[ change ] Enable idris2-http and idris2-tls. (#170)

stefan-hoeck · Sep 5, 2024 · 41941f5 · 41941f5
1 parent 3becaaa
commit 41941f5
Showing 1 changed file with 11 additions and 11 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -845,17 +845,17 @@ url    = "https://github.com/running-grass/idris2-url"
 commit = "main"
 ipkg   = "url.ipkg"
 
-# [db.tls]
-# type   = "github"
-# url    = "https://github.com/octeep/idris2-tls"
-# commit = "master"
-# ipkg   = "tls.ipkg"
-# 
-# [db.http]
-# type   = "github"
-# url    = "https://github.com/octeep/idris2-http"
-# commit = "master"
-# ipkg   = "http.ipkg"
+[db.tls]
+type   = "github"
+url    = "https://github.com/idris-community/idris2-tls"
+commit = "master"
+ipkg   = "tls.ipkg"
+
+[db.http]
+type   = "github"
+url    = "https://github.com/idris-community/idris2-http"
+commit = "master"
+ipkg   = "http.ipkg"
 
 # [db.prob-fx]
 # type   = "github"