[ split ] Pull weaker-traversals out of summary-stat (#190)

stefan-hoeck · Jan 29, 2025 · 96d50f6 · 96d50f6
1 parent dca21cd
commit 96d50f6
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/collections/HEAD.toml b/collections/HEAD.toml
@@ -68,14 +68,14 @@ ipkg   = "best-alternative.ipkg"
 test   = "tests/tests.ipkg"
 
 [db.bounded-doubles]
-type   = "github"
+type   = "git"
 url    = "https://github.com/buzden/idris2-bounded-doubles"
 commit = "master"
 ipkg   = "bounded-doubles.ipkg"
 test   = "tests/library-tests.ipkg"
 
 [db.bounded-doubles-hedgehog-generators]
-type   = "github"
+type   = "git"
 url    = "https://github.com/buzden/idris2-bounded-doubles"
 commit = "master"
 ipkg   = "hedgehog-generators.ipkg"
@@ -799,6 +799,7 @@ url    = "https://github.com/buzden/idris2-summary-stat"
 commit = "master"
 ipkg   = "summary-stat.ipkg"
 test   = "tests/tests.ipkg"
+notice = "Weak traversal interface can be found in `weaker-traversals` lib"
 
 [db.svg]
 type   = "git"
@@ -890,6 +891,13 @@ commit = "main"
 ipkg = "json/tyttp-json.ipkg"
 test = "json/tests/tests.ipkg"
 
+[db.weaker-traversals]
+type   = "git"
+url    = "https://github.com/buzden/idris2-weaker-traversals"
+commit = "master"
+ipkg   = "weaker-traversals.ipkg"
+test   = "tests/tests.ipkg"
+
 [db.xml]
 type   = "github"
 url    = "https://github.com/madman-bob/idris2-xml"