diff --git a/STATUS.md b/STATUS.md
index 77d21646a..a4435f430 100644
--- a/STATUS.md
+++ b/STATUS.md
@@ -2,7 +2,7 @@
 
 | Compiler | Version | Commit |
 | --- | --- | --- |
-| [Idris2](https://github.com/idris-lang/Idris2) | 0.6.0 | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |
+| [Idris2](https://github.com/idris-lang/Idris2) | 0.6.0 | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |
 
 ## Building Packages
 
@@ -13,7 +13,7 @@
 | [apache-mime-types](https://github.com/kbertalan/idris2-apache-mime-types) | Mime types db based on Apache HTTPD dataset |  | [973de0e](https://github.com/kbertalan/idris2-apache-mime-types/commit/973de0e7224a25606eca25a1caf853b83925d36d) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/apache-mime-types/index.html) |
 | [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays |  | [bdd1350](https://github.com/stefan-hoeck/idris2-array/commit/bdd1350577d028f964d047a6f702dfc2171a4377) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/array/index.html) |
 | [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [2a0c063](https://github.com/stefan-hoeck/idris2-barbies/commit/2a0c0634db86fc9db9f7729127d4de9228cf4bdc) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/barbies/index.html) |
-| [base](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/base/index.html) |
+| [base](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/base/index.html) |
 | [bounded-doubles](https://github.com/buzden/idris2-bounded-doubles) | Doubles with type-level bounds | Apache-2.0 | [54162ac](https://github.com/buzden/idris2-bounded-doubles/commit/54162ac158fc2ddf89f70b7069c2930f503530a2) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bounded-doubles/index.html) |
 | [bounded-doubles-hedgehog-generators](https://github.com/buzden/idris2-bounded-doubles) | Hedgehog generators for bounded doubles | Apache-2.0 | [54162ac](https://github.com/buzden/idris2-bounded-doubles/commit/54162ac158fc2ddf89f70b7069c2930f503530a2) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bounded-doubles-hedgehog-generators/index.html) |
 | [bytestring](https://github.com/stefan-hoeck/idris2-bytestring) | Immutable byte vectors for Idris2 |  | [32d04ab](https://github.com/stefan-hoeck/idris2-bytestring/commit/32d04ab1ca362cb110bc5824d75559457b41f6ad) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bytestring/index.html) |
@@ -21,12 +21,13 @@
 | [cheerio](https://github.com/running-grass/idris2-playground) | A cheerio binding for nodejs. provide css selector and attr getter. |  | [0dacfd8](https://github.com/running-grass/idris2-playground/commit/0dacfd81b49749d68a5fd905e95c860fdab072ab) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/cheerio/index.html) |
 | [collie](https://github.com/ohad/collie) |  |  | [46bff04](https://github.com/ohad/collie/commit/46bff04a8d9a1598fec9b19f515541df16dc64ef) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/collie/index.html) |
 | [comonad](https://github.com/stefan-hoeck/idris2-comonad) | Comonads for Idris2 |  | [38f4b26](https://github.com/stefan-hoeck/idris2-comonad/commit/38f4b26f6a7b58f173ab1924486e887d40042ddd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/comonad/index.html) |
-| [contrib](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/contrib/index.html) |
+| [contrib](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/contrib/index.html) |
 | [coop](https://github.com/buzden/idris2-coop) | A library for simple concurrency without parallelism | Apache-2.0 | [345d140](https://github.com/buzden/idris2-coop/commit/345d14060a11012e2bd7d058171c155aaefcb819) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/coop/index.html) |
 | [crypt](https://github.com/stefan-hoeck/idris2-crypt) | FFI bindings to the crypt C-library used for passphrase hashing | BSD-3 Clause | [63f68a0](https://github.com/stefan-hoeck/idris2-crypt/commit/63f68a007a059831b340ad39e45528b329d383fb) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/crypt/index.html) |
 | [dinwiddy](https://github.com/bobbbay/dinwiddy) |  |  | [61a81c5](https://github.com/bobbbay/dinwiddy/commit/61a81c55e48e4b7b551fb7493d623cb7659a37ce) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/dinwiddy/index.html) |
 | [distribution](https://github.com/idris-bayes/distribution) | An FFI for statistical distributions from the GSL C library. | The BSD 3-Clause License | [bced45a](https://github.com/idris-bayes/distribution/commit/bced45ab5367184c8a4d88ce695c9a4714c34c98) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/distribution/index.html) |
 | [dom](https://github.com/stefan-hoeck/idris2-dom) | Extensive DOM and web bindings for Idris2 |  | [9b68ee4](https://github.com/stefan-hoeck/idris2-dom/commit/9b68ee497679cd1a7f085f22901506a62f33f13f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/dom/index.html) |
+| [dom-mvc](https://github.com/stefan-hoeck/idris2-dom-mvc) | Single page web applications |  | [74761aa](https://github.com/stefan-hoeck/idris2-dom-mvc/commit/74761aa698e2026b79467ff3d619817198378460) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/dom-mvc/index.html) |
 | [dot-gv](https://github.com/CodingCellist/idris2-dot-parse) | Idris2 lexer and parser for the DOT language used in GraphViz files. | BSD-3-Clause | [74a149e](https://github.com/CodingCellist/idris2-dot-parse/commit/74a149e0c351f85a68e9789a3b7aa922a36e6e16) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/dot-gv/index.html) |
 | [eff](https://github.com/stefan-hoeck/idris2-eff) | Extensible, stack-safe effects in Idris2 | BSD-3 Clause | [51a0bf1](https://github.com/stefan-hoeck/idris2-eff/commit/51a0bf19d7eeebda3706d8562d32127bf8108559) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/eff/index.html) |
 | [effect](https://github.com/Russoul/Idris2-Effect) |  | The 3-Clause BSD License | [b76dce1](https://github.com/Russoul/Idris2-Effect/commit/b76dce14b79a5f743243a294c3474c6f113f8e3a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/effect/index.html) |
@@ -46,7 +47,7 @@
 | [hashmap](https://github.com/Z-snails/idris2-hashmap) |  |  | [58f5a2d](https://github.com/Z-snails/idris2-hashmap/commit/58f5a2d2c0a7bb082666d6ce668ee242185a52bf) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/hashmap/index.html) |
 | [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | A property based testing library with integrated shrinking |  | [deb6b88](https://github.com/stefan-hoeck/idris2-hedgehog/commit/deb6b88065f63a417f37f4a0fb25f39373dd6744) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/hedgehog/index.html) |
 | [idrall](https://github.com/alexhumphreys/idrall) | Dhall compiler for Idris2 |  | [62a4558](https://github.com/alexhumphreys/idrall/commit/62a455894b1db5134c8b56d31aadb31d483a4b2c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idrall/index.html) |
-| [idris2](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2/index.html) |
+| [idris2](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2/index.html) |
 | [idris2-go](https://github.com/kbertalan/idris2-go) | Idris2 with Go backend |  | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go/index.html) |
 | [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code |  | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go-lib/index.html) |
 | [idrisGL](https://github.com/ECburx/Idris2GL) |  | GPL-3.0 License | [3ed89f3](https://github.com/ECburx/Idris2GL/commit/3ed89f3116569260d766d14908cba9debbcea9ff) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idrisGL/index.html) |
@@ -59,7 +60,7 @@
 | [katla](https://github.com/idris-community/katla) |  |  | [6897c71](https://github.com/idris-community/katla/commit/6897c710c970f2177eb86ee2c88084ef5c0ea21c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/katla/index.html) |
 | [lana](https://git.sr.ht/~janus/lana) | Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. | MIT | [cb4f9f9](https://git.sr.ht/~janus/lana/commit/cb4f9f9361240fe77317d69f8c62aabfcf46a459) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lana/index.html) |
 | [lens](https://github.com/kiana-S/idris2-lens) | Batteries-included profunctor optics | MIT | [e1da487](https://github.com/kiana-S/idris2-lens/commit/e1da48721e42e0f7cf1c425102a6542b702ec2bc) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lens/index.html) |
-| [linear](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/linear/index.html) |
+| [linear](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/linear/index.html) |
 | [log-domain](https://github.com/idris-bayes/log-domain) | A small representation of numerical computations in the log domain. | The BSD 3-Clause License | [7eb33c3](https://github.com/idris-bayes/log-domain/commit/7eb33c36fb411b3e9dc43e0c5ad5d8f2f3dae80e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/log-domain/index.html) |
 | [lsp](https://github.com/idris-community/idris2-lsp) |  |  | [759f650](https://github.com/idris-community/idris2-lsp/commit/759f650d049699fc0d195d19ca574ccd218bf9e2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lsp/index.html) |
 | [markdown](https://github.com/running-grass/idris2-markdown) | A markdown parser for idris2 | MIT | [3833426](https://github.com/running-grass/idris2-markdown/commit/38334267cbbe0ed067320d2e8bec36b08f475f5a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/markdown/index.html) |
@@ -69,11 +70,11 @@
 | [mtl-tuple-impls](https://github.com/buzden/idris2-mtl-tuple-impls) | Tuple instances for the standard MTL interfaces | Apache-2.0 | [101fa0c](https://github.com/buzden/idris2-mtl-tuple-impls/commit/101fa0ccbd0fbfbe4807a6eb871b639740cbe6e8) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/mtl-tuple-impls/index.html) |
 | [multiplate](https://github.com/Z-snails/multiplate-idr) | Generic traversals for mutually recursive data types | MIT | [601d865](https://github.com/Z-snails/multiplate-idr/commit/601d865f1fc74b783879b50d17ffd2a949def902) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/multiplate/index.html) |
 | [ncurses-idris](https://github.com/mattpolzin/ncurses-idris) | NCurses support for Idris 2 apps compiled with the Chez Scheme backend. | MIT | [e4faae7](https://github.com/mattpolzin/ncurses-idris/commit/e4faae7df3867d2d546d220dd9f9889ecda3cf6e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/ncurses-idris/index.html) |
-| [network](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/network/index.html) |
+| [network](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/network/index.html) |
 | [node](https://github.com/kbertalan/idris2-node) | Node JS API bindings for Idris2 |  | [917e6cb](https://github.com/kbertalan/idris2-node/commit/917e6cb32b1ba6e171170b4d713acaff1fea79d6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/node/index.html) |
 | [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections |  | [24e3835](https://github.com/stefan-hoeck/idris2-pack/commit/24e3835af146f06e3b5218904a1032039bba952c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pack/index.html) |
 | [pack-admin](https://github.com/stefan-hoeck/idris2-pack) | Administration of pack's package collections |  | [24e3835](https://github.com/stefan-hoeck/idris2-pack/commit/24e3835af146f06e3b5218904a1032039bba952c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pack-admin/index.html) |
-| [papers](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/papers/index.html) |
+| [papers](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/papers/index.html) |
 | [park_bench](https://github.com/Z-snails/park_bench) |  |  | [c9a212e](https://github.com/Z-snails/park_bench/commit/c9a212e4873cc533dee361e1614189c95a56c873) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/park_bench/index.html) |
 | [parser](https://github.com/stefan-hoeck/idris2-parser) | Types and utilities for writing total parsers and lexers |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser/index.html) |
 | [parser-json](https://github.com/stefan-hoeck/idris2-parser) | Total and efficient parser and lexer for the JSON file format |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser-json/index.html) |
@@ -82,7 +83,7 @@
 | [parser-tsv](https://github.com/stefan-hoeck/idris2-parser) | Efficient parser and marshallers for tab-separated values |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser-tsv/index.html) |
 | [parser-webidl](https://github.com/stefan-hoeck/idris2-parser) | A total parser and lexer for the WebIDL interface description language |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser-webidl/index.html) |
 | [pg-idris](https://github.com/mattpolzin/pg-idris) | Postgres support for Idris 2 programs compiled with the Chez Scheme or NodeJS backends. | MIT | [75b9310](https://github.com/mattpolzin/pg-idris/commit/75b931004f98043125754dfc84361c1fef2cf4b7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pg-idris/index.html) |
-| [prelude](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prelude/index.html) |
+| [prelude](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prelude/index.html) |
 | [prettier](https://github.com/Z-snails/prettier) |  |  | [e82c3ce](https://github.com/Z-snails/prettier/commit/e82c3ce9f879aa239b532b1b5f4a2b7e25ca4541) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prettier/index.html) |
 | [prettier-ansi](https://github.com/idris-community/idris2-ansi) | Colored terminal output for the Bernardy-style pretty printer | BSD-3 Clause | [f3cac49](https://github.com/idris-community/idris2-ansi/commit/f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prettier-ansi/index.html) |
 | [pretty-show](https://github.com/stefan-hoeck/idris2-pretty-show) | Pretty printing of values with a Show instance |  | [7f2697d](https://github.com/stefan-hoeck/idris2-pretty-show/commit/7f2697de15c28ba2cdcaa09fd4733dcc8eb3c2a3) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pretty-show/index.html) |
@@ -97,15 +98,15 @@
 | [refined-json](https://github.com/stefan-hoeck/idris2-refined) | Deriving JSON marshallers for refinement types | BSD-3 | [44da9c7](https://github.com/stefan-hoeck/idris2-refined/commit/44da9c77b25a10bd85a5e3f786e5a542208aef7c) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/refined-json/index.html) |
 | [refined-tsv](https://github.com/stefan-hoeck/idris2-refined) | Deriving TSV marshallers for refinement types | BSD-3 | [44da9c7](https://github.com/stefan-hoeck/idris2-refined/commit/44da9c77b25a10bd85a5e3f786e5a542208aef7c) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/refined-tsv/index.html) |
 | [rhone](https://github.com/stefan-hoeck/idris2-rhone) | Arrowized functional reactive programming in Idris2 |  | [28ca640](https://github.com/stefan-hoeck/idris2-rhone/commit/28ca640a75064fb2bb19869b1f647a958e3451df) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/rhone/index.html) |
-| [rhone-js](https://github.com/stefan-hoeck/idris2-rhone-js) | Reactive single page web applications in Idris2 |  | [3bc72c2](https://github.com/stefan-hoeck/idris2-rhone-js/commit/3bc72c210dae0c9be685c4f50edc8cc2ad5afdb7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/rhone-js/index.html) |
+| [rhone-js](https://github.com/stefan-hoeck/idris2-rhone-js) | Reactive single page web applications in Idris2 |  | [29ecd85](https://github.com/stefan-hoeck/idris2-rhone-js/commit/29ecd85b9bc8d381f36f2249aabd1191a3bcca0f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/rhone-js/index.html) |
 | [rio](https://github.com/stefan-hoeck/idris2-rio) | A simple effect system based on the RIO monad | BSD-3 Clause | [6969d06](https://github.com/stefan-hoeck/idris2-rio/commit/6969d06052a593b375e5d7aab2cbd02ad6a20112) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/rio/index.html) |
 | [snocvect](https://github.com/mattpolzin/idris-snocvect) |  | MIT | [f6148c3](https://github.com/mattpolzin/idris-snocvect/commit/f6148c3d06c7a9989062a2425f925fc844468215) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/snocvect/index.html) |
 | [sop](https://github.com/stefan-hoeck/idris2-sop) | Generic representation of data types as sums of products | BSD-2 Clause | [0726a11](https://github.com/stefan-hoeck/idris2-sop/commit/0726a1154b55ba0cefb885962a726c847b3d8d43) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/sop/index.html) |
 | [spidr](https://github.com/joelberkeley/spidr) | spidr explores how we can advance probabilistic modelling with the latest in software and hardware engineering. | Apache License, Version 2.0 | [5d31e9c](https://github.com/joelberkeley/spidr/commit/5d31e9c7cb8ffa6b54517a1ec35ebfd5bd018773) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/spidr/index.html) |
 | [string-builder](https://github.com/Z-snails/string-builder) | Efficient string builders |  | [6dfb5e0](https://github.com/Z-snails/string-builder/commit/6dfb5e0070274ead1b8fd4e1229b5254da7ddd15) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/string-builder/index.html) |
 | [summary-stat](https://github.com/buzden/idris2-summary-stat) | Facilities for summary statistics | Apache-2.0 | [412269d](https://github.com/buzden/idris2-summary-stat/commit/412269d6e0d1c23419ee65923276363e94fd5ded) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/summary-stat/index.html) |
-| [tailrec](https://github.com/stefan-hoeck/idris2-tailrec) | Provably total, stack-safe monadic recursion in Idris2 | BSD-3 Clause | [d374728](https://github.com/stefan-hoeck/idris2-tailrec/commit/d3747284c7e80a711464ec4b1a7976bcf39dd6f2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/tailrec/index.html) |
-| [test](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/test/index.html) |
+| [tailrec](https://github.com/stefan-hoeck/idris2-tailrec) | Provably total, stack-safe monadic recursion in Idris2 | BSD-3 Clause | [b7d5690](https://github.com/stefan-hoeck/idris2-tailrec/commit/b7d5690dd87c54e3e2bde0a8785241e17da6b863) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/tailrec/index.html) |
+| [test](https://github.com/idris-lang/Idris2) |  |  | [23694c7](https://github.com/idris-lang/Idris2/commit/23694c7e5af11c263d4dba7f40c550d9bc37509c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/test/index.html) |
 | [tester](https://github.com/cuddlefishie/tester-idr) |  |  | [3dcdb54](https://github.com/cuddlefishie/tester-idr/commit/3dcdb54ed578a14597a17cb93c926734a9da69ca) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/tester/index.html) |
 | [time-for-sleep](https://github.com/buzden/idris2-time-for-sleep) | Some time type + interfaces for getting time and sleeping | Apache-2.0 | [9b4bcd5](https://github.com/buzden/idris2-time-for-sleep/commit/9b4bcd543c41f0d0bb6fda3e16c403e2c0708387) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/time-for-sleep/index.html) |
 | [timeit](https://github.com/MarcelineVQ/idris2-timeit) | Plain simple timing of actions for HasIO | CC0 (refer to LICENSE file) | [9566f71](https://github.com/MarcelineVQ/idris2-timeit/commit/9566f71e9e7a68e8da4a30b8318f40099dda5c11) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/timeit/index.html) |
diff --git a/collections/nightly-230718.toml b/collections/nightly-230718.toml
new file mode 100644
index 000000000..9cd000875
--- /dev/null
+++ b/collections/nightly-230718.toml
@@ -0,0 +1,766 @@
+[idris2]
+url     = "https://github.com/idris-lang/Idris2"
+version = "0.6.0"
+commit  = "23694c7e5af11c263d4dba7f40c550d9bc37509c"
+
+[db.algebra]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-algebra"
+commit      = "1172ed5b4848c5e18f7bf5f9bb467bc3e1f6b7e9"
+ipkg        = "algebra.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.ansi]
+type        = "github"
+url         = "https://github.com/idris-community/idris2-ansi"
+commit      = "f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e"
+ipkg        = "ansi.ipkg"
+packagePath = false
+
+[db.apache-mime-types]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-apache-mime-types"
+commit      = "973de0e7224a25606eca25a1caf853b83925d36d"
+ipkg        = "apache-mime-types.ipkg"
+packagePath = false
+
+[db.array]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-array"
+commit      = "bdd1350577d028f964d047a6f702dfc2171a4377"
+ipkg        = "array.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.barbies]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-barbies"
+commit      = "2a0c0634db86fc9db9f7729127d4de9228cf4bdc"
+ipkg        = "barbies.ipkg"
+packagePath = false
+
+[db.bounded-doubles]
+type        = "github"
+url         = "https://github.com/buzden/idris2-bounded-doubles"
+commit      = "54162ac158fc2ddf89f70b7069c2930f503530a2"
+ipkg        = "bounded-doubles.ipkg"
+packagePath = false
+test        = "tests/library-tests.ipkg"
+
+[db.bounded-doubles-hedgehog-generators]
+type        = "github"
+url         = "https://github.com/buzden/idris2-bounded-doubles"
+commit      = "54162ac158fc2ddf89f70b7069c2930f503530a2"
+ipkg        = "hedgehog-generators.ipkg"
+packagePath = false
+test        = "tests/generators-tests.ipkg"
+
+[db.bytestring]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-bytestring"
+commit      = "32d04ab1ca362cb110bc5824d75559457b41f6ad"
+ipkg        = "bytestring.ipkg"
+packagePath = false
+
+[db.c-ffi]
+type        = "github"
+url         = "https://github.com/joelberkeley/c-ffi"
+commit      = "6c54ca867a124b3fa291b2ac3acdf54cd0f30110"
+ipkg        = "c-ffi.ipkg"
+packagePath = false
+test        = "test.ipkg"
+
+[db.cheerio]
+type        = "github"
+url         = "https://github.com/running-grass/idris2-playground"
+commit      = "0dacfd81b49749d68a5fd905e95c860fdab072ab"
+ipkg        = "cheerio/cheerio.ipkg"
+packagePath = false
+
+[db.collie]
+type        = "github"
+url         = "https://github.com/ohad/collie"
+commit      = "46bff04a8d9a1598fec9b19f515541df16dc64ef"
+ipkg        = "collie.ipkg"
+packagePath = false
+
+[db.comonad]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-comonad"
+commit      = "38f4b26f6a7b58f173ab1924486e887d40042ddd"
+ipkg        = "comonad.ipkg"
+packagePath = false
+
+[db.coop]
+type        = "github"
+url         = "https://github.com/buzden/idris2-coop"
+commit      = "345d14060a11012e2bd7d058171c155aaefcb819"
+ipkg        = "coop.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.crypt]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-crypt"
+commit      = "63f68a007a059831b340ad39e45528b329d383fb"
+ipkg        = "crypt.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.dinwiddy]
+type        = "github"
+url         = "https://github.com/bobbbay/dinwiddy"
+commit      = "61a81c55e48e4b7b551fb7493d623cb7659a37ce"
+ipkg        = "dinwiddy.ipkg"
+packagePath = false
+
+[db.distribution]
+type        = "github"
+url         = "https://github.com/idris-bayes/distribution"
+commit      = "bced45ab5367184c8a4d88ce695c9a4714c34c98"
+ipkg        = "distribution.ipkg"
+packagePath = false
+
+[db.dom]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom"
+commit      = "9b68ee497679cd1a7f085f22901506a62f33f13f"
+ipkg        = "dom.ipkg"
+packagePath = false
+
+[db.dom-mvc]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom-mvc"
+commit      = "74761aa698e2026b79467ff3d619817198378460"
+ipkg        = "dom-mvc.ipkg"
+packagePath = false
+
+[db.dot-gv]
+type        = "github"
+url         = "https://github.com/CodingCellist/idris2-dot-parse"
+commit      = "74a149e0c351f85a68e9789a3b7aa922a36e6e16"
+ipkg        = "dot-parse.ipkg"
+packagePath = false
+
+[db.eff]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-eff"
+commit      = "51a0bf19d7eeebda3706d8562d32127bf8108559"
+ipkg        = "eff.ipkg"
+packagePath = false
+
+[db.effect]
+type        = "github"
+url         = "https://github.com/Russoul/Idris2-Effect"
+commit      = "b76dce14b79a5f743243a294c3474c6f113f8e3a"
+ipkg        = "effect.ipkg"
+packagePath = false
+
+[db.elab-pretty]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-elab-util"
+commit      = "966a2f87c92b043d54b3710d3e86ad3667a8d615"
+ipkg        = "elab-pretty.ipkg"
+packagePath = false
+
+[db.elab-util]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-elab-util"
+commit      = "966a2f87c92b043d54b3710d3e86ad3667a8d615"
+ipkg        = "elab-util.ipkg"
+packagePath = false
+
+[db.filepath]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-filepath"
+commit      = "4f25bf8009cd826d08a55e0e021de83099e107f0"
+ipkg        = "filepath.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.finite]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-finite"
+commit      = "5d9a9de5466030f3ffc5a0c2ad4ef647bc882a30"
+ipkg        = "finite.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.fix-whitespace]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris-fix-whitespace"
+commit      = "9e719d201ceea41cc953e803bbf848f8ed03e2fe"
+ipkg        = "fix-whitespace.ipkg"
+packagePath = false
+
+[db.free]
+type        = "github"
+url         = "https://github.com/idris-bayes/free"
+commit      = "809e1450094eab85a64f926967f8b056402291d6"
+ipkg        = "free.ipkg"
+packagePath = false
+
+[db.freer]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-freer"
+commit      = "481c19535a020166d9babd5f5156161e4dbce4ba"
+ipkg        = "freer.ipkg"
+packagePath = false
+
+[db.fvect]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-fvect"
+commit      = "d84969fce38ff8a10b9d261458f4d495e6e0f1ca"
+ipkg        = "fvect.ipkg"
+packagePath = false
+
+[db.game-2048]
+type        = "github"
+url         = "https://github.com/running-grass/idris2-playground"
+commit      = "0dacfd81b49749d68a5fd905e95c860fdab072ab"
+ipkg        = "game-2048/game-2048.ipkg"
+packagePath = false
+
+[db.getopts]
+type        = "github"
+url         = "https://github.com/idris-community/idris2-getopts"
+commit      = "9fccb8f31c0ae18f4e07c81f110192a0e2b6e0bb"
+ipkg        = "getopts.ipkg"
+packagePath = false
+
+[db.golden-runner-helper]
+type        = "github"
+url         = "https://github.com/buzden/idris2-golden-runner-helper"
+commit      = "e1c056e212a4f0e22b37c65177c2586b9efed67e"
+ipkg        = "golden-runner-helper.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-graph"
+commit      = "e02c6935e86c2c2162496651fa110b5b948c905f"
+ipkg        = "graph.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.hashable]
+type        = "github"
+url         = "https://github.com/Z-snails/Idris2-hashable"
+commit      = "5615bd4627fedcb6122e902ea3d4d18575459ceb"
+ipkg        = "hashable.ipkg"
+packagePath = false
+
+[db.hashmap]
+type        = "github"
+url         = "https://github.com/Z-snails/idris2-hashmap"
+commit      = "58f5a2d2c0a7bb082666d6ce668ee242185a52bf"
+ipkg        = "hashmap.ipkg"
+packagePath = false
+
+[db.hedgehog]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-hedgehog"
+commit      = "deb6b88065f63a417f37f4a0fb25f39373dd6744"
+ipkg        = "hedgehog.ipkg"
+packagePath = false
+
+[db.idrall]
+type        = "github"
+url         = "https://github.com/alexhumphreys/idrall"
+commit      = "62a455894b1db5134c8b56d31aadb31d483a4b2c"
+ipkg        = "idrall.ipkg"
+packagePath = false
+
+[db.idris2-go]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "657fa76b41f2a5990138b9202dc3c7d07e8c0bc8"
+ipkg        = "idris2-go.ipkg"
+packagePath = true
+
+[db.idris2-go-lib]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "657fa76b41f2a5990138b9202dc3c7d07e8c0bc8"
+ipkg        = "idris2-go-lib.ipkg"
+packagePath = false
+test        = "tests/libtests.ipkg"
+
+[db.idrisGL]
+type        = "github"
+url         = "https://github.com/ECburx/Idris2GL"
+commit      = "3ed89f3116569260d766d14908cba9debbcea9ff"
+ipkg        = "idrisGL.ipkg"
+packagePath = false
+
+[db.if-unsolved-implicit]
+type        = "github"
+url         = "https://github.com/buzden/idris2-if-unsolved-implicit"
+commit      = "ca68ca72da60f538beb315c424091f4708a114c5"
+ipkg        = "if-unsolved-implicit.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.indexed]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-indexed"
+commit      = "6a10e418ef2dcdef66f8de7ee9e29edd1aa7c179"
+ipkg        = "indexed.ipkg"
+packagePath = false
+
+[db.indexed-graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-indexed-graph"
+commit      = "512ed319fd652c92b02aa804e259f9c3c0c5c2a7"
+ipkg        = "indexed-graph.ipkg"
+packagePath = false
+
+[db.js]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom"
+commit      = "9b68ee497679cd1a7f085f22901506a62f33f13f"
+ipkg        = "js/js.ipkg"
+packagePath = false
+
+[db.json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "8b6e86c49bc9e4f1663c02fb2a7cceee0a1efff0"
+ipkg        = "json.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.json-simple]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "8b6e86c49bc9e4f1663c02fb2a7cceee0a1efff0"
+ipkg        = "simple/json-simple.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.katla]
+type        = "github"
+url         = "https://github.com/idris-community/katla"
+commit      = "6897c710c970f2177eb86ee2c88084ef5c0ea21c"
+ipkg        = "katla.ipkg"
+packagePath = false
+
+[db.lana]
+type        = "github"
+url         = "https://git.sr.ht/~janus/lana"
+commit      = "cb4f9f9361240fe77317d69f8c62aabfcf46a459"
+ipkg        = "lana.ipkg"
+packagePath = false
+
+[db.lens]
+type        = "github"
+url         = "https://github.com/kiana-S/idris2-lens"
+commit      = "e1da48721e42e0f7cf1c425102a6542b702ec2bc"
+ipkg        = "lens.ipkg"
+packagePath = false
+
+[db.log-domain]
+type        = "github"
+url         = "https://github.com/idris-bayes/log-domain"
+commit      = "7eb33c36fb411b3e9dc43e0c5ad5d8f2f3dae80e"
+ipkg        = "log-domain.ipkg"
+packagePath = false
+
+[db.lsp]
+type        = "github"
+url         = "https://github.com/idris-community/idris2-lsp"
+commit      = "759f650d049699fc0d195d19ca574ccd218bf9e2"
+ipkg        = "lsp.ipkg"
+packagePath = true
+
+[db.markdown]
+type        = "github"
+url         = "https://github.com/running-grass/idris2-markdown"
+commit      = "38334267cbbe0ed067320d2e8bec36b08f475f5a"
+ipkg        = "markdown.ipkg"
+packagePath = false
+
+[db.matrix]
+type        = "github"
+url         = "https://github.com/running-grass/idris2-playground"
+commit      = "0dacfd81b49749d68a5fd905e95c860fdab072ab"
+ipkg        = "matrix/matrix.ipkg"
+packagePath = false
+
+[db.monad-bayes]
+type        = "github"
+url         = "https://github.com/idris-bayes/monad-bayes"
+commit      = "6b8d3015a2317ab11e4a9205924d61094f570665"
+ipkg        = "monad-bayes.ipkg"
+packagePath = false
+
+[db.monocle]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-monocle"
+commit      = "d3cff50c06bcb766dd47d14410280c944498babf"
+ipkg        = "monocle.ipkg"
+packagePath = false
+
+[db.mtl-tuple-impls]
+type        = "github"
+url         = "https://github.com/buzden/idris2-mtl-tuple-impls"
+commit      = "101fa0ccbd0fbfbe4807a6eb871b639740cbe6e8"
+ipkg        = "mtl-tuple-impls.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.multiplate]
+type        = "github"
+url         = "https://github.com/Z-snails/multiplate-idr"
+commit      = "601d865f1fc74b783879b50d17ffd2a949def902"
+ipkg        = "multiplate.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.ncurses-idris]
+type        = "github"
+url         = "https://github.com/mattpolzin/ncurses-idris"
+commit      = "e4faae7df3867d2d546d220dd9f9889ecda3cf6e"
+ipkg        = "ncurses-idris.ipkg"
+packagePath = false
+
+[db.node]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-node"
+commit      = "917e6cb32b1ba6e171170b4d713acaff1fea79d6"
+ipkg        = "node.ipkg"
+packagePath = false
+
+[db.pack]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "24e3835af146f06e3b5218904a1032039bba952c"
+ipkg        = "pack.ipkg"
+packagePath = false
+
+[db.pack-admin]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "24e3835af146f06e3b5218904a1032039bba952c"
+ipkg        = "pack-admin.ipkg"
+packagePath = false
+
+[db.park_bench]
+type        = "github"
+url         = "https://github.com/Z-snails/park_bench"
+commit      = "c9a212e4873cc533dee361e1614189c95a56c873"
+ipkg        = "park_bench.ipkg"
+packagePath = false
+
+[db.parser]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "09f038d2c0e78b4bccfae16fcbe8247df93e540e"
+ipkg        = "parser.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "09f038d2c0e78b4bccfae16fcbe8247df93e540e"
+ipkg        = "json/parser-json.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-show]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "09f038d2c0e78b4bccfae16fcbe8247df93e540e"
+ipkg        = "show/parser-show.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-toml]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "09f038d2c0e78b4bccfae16fcbe8247df93e540e"
+ipkg        = "toml/parser-toml.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-tsv]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "09f038d2c0e78b4bccfae16fcbe8247df93e540e"
+ipkg        = "tsv/parser-tsv.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-webidl]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "09f038d2c0e78b4bccfae16fcbe8247df93e540e"
+ipkg        = "webidl/parser-webidl.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.pg-idris]
+type        = "github"
+url         = "https://github.com/mattpolzin/pg-idris"
+commit      = "75b931004f98043125754dfc84361c1fef2cf4b7"
+ipkg        = "pg-idris.ipkg"
+packagePath = false
+
+[db.prettier]
+type        = "github"
+url         = "https://github.com/Z-snails/prettier"
+commit      = "e82c3ce9f879aa239b532b1b5f4a2b7e25ca4541"
+ipkg        = "prettier.ipkg"
+packagePath = false
+
+[db.prettier-ansi]
+type        = "github"
+url         = "https://github.com/idris-community/idris2-ansi"
+commit      = "f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e"
+ipkg        = "prettier/prettier-ansi.ipkg"
+packagePath = false
+
+[db.pretty-show]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pretty-show"
+commit      = "7f2697de15c28ba2cdcaa09fd4733dcc8eb3c2a3"
+ipkg        = "pretty-show.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.prim]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-prim"
+commit      = "80a7c46d5f40ea41f8662a3a601e3eb4a23beb60"
+ipkg        = "prim.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.profiler]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-profiler"
+commit      = "7247cae9a8f4fb13e39e81dcae6f4a1e7c4c3d00"
+ipkg        = "profiler.ipkg"
+packagePath = false
+
+[db.profunctors]
+type        = "github"
+url         = "https://github.com/kiana-S/idris2-profunctors"
+commit      = "e862ef887f9dcdf90eacb1ca1c0a997d7a251135"
+ipkg        = "profunctors.ipkg"
+packagePath = false
+
+[db.promise]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-promise"
+commit      = "0b1716525ee10ed3a4f0d7132107c83e88f8eb99"
+ipkg        = "promise.ipkg"
+packagePath = false
+
+[db.quantifiers-extra]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-quantifiers-extra"
+commit      = "0bd29837979d8dba034766d197f0ac8c351b0c68"
+ipkg        = "quantifiers-extra.ipkg"
+packagePath = false
+
+[db.qutescript]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-qutescript"
+commit      = "0c52c5edaddd6fca7006c3cc50df5ccca330f134"
+ipkg        = "qutescript.ipkg"
+packagePath = false
+
+[db.random-pure]
+type        = "github"
+url         = "https://github.com/buzden/idris2-random-pure"
+commit      = "f989b072731ae2e6f2dc8cd79537d2610465e059"
+ipkg        = "random-pure.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.refined]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "44da9c77b25a10bd85a5e3f786e5a542208aef7c"
+ipkg        = "refined.ipkg"
+packagePath = false
+
+[db.refined-json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "44da9c77b25a10bd85a5e3f786e5a542208aef7c"
+ipkg        = "json/refined-json.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.refined-tsv]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "44da9c77b25a10bd85a5e3f786e5a542208aef7c"
+ipkg        = "tsv/refined-tsv.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.rhone]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rhone"
+commit      = "28ca640a75064fb2bb19869b1f647a958e3451df"
+ipkg        = "rhone.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.rhone-js]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rhone-js"
+commit      = "29ecd85b9bc8d381f36f2249aabd1191a3bcca0f"
+ipkg        = "rhone-js.ipkg"
+packagePath = false
+
+[db.rio]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rio"
+commit      = "6969d06052a593b375e5d7aab2cbd02ad6a20112"
+ipkg        = "rio.ipkg"
+packagePath = false
+test        = "test.ipkg"
+
+[db.snocvect]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-snocvect"
+commit      = "f6148c3d06c7a9989062a2425f925fc844468215"
+ipkg        = "snocvect.ipkg"
+packagePath = false
+
+[db.sop]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-sop"
+commit      = "0726a1154b55ba0cefb885962a726c847b3d8d43"
+ipkg        = "sop.ipkg"
+packagePath = false
+
+[db.spidr]
+type        = "github"
+url         = "https://github.com/joelberkeley/spidr"
+commit      = "5d31e9c7cb8ffa6b54517a1ec35ebfd5bd018773"
+ipkg        = "spidr.ipkg"
+packagePath = false
+
+[db.string-builder]
+type        = "github"
+url         = "https://github.com/Z-snails/string-builder"
+commit      = "6dfb5e0070274ead1b8fd4e1229b5254da7ddd15"
+ipkg        = "string-builder.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.summary-stat]
+type        = "github"
+url         = "https://github.com/buzden/idris2-summary-stat"
+commit      = "412269d6e0d1c23419ee65923276363e94fd5ded"
+ipkg        = "summary-stat.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.tailrec]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-tailrec"
+commit      = "b7d5690dd87c54e3e2bde0a8785241e17da6b863"
+ipkg        = "tailrec.ipkg"
+packagePath = false
+
+[db.tester]
+type        = "github"
+url         = "https://github.com/cuddlefishie/tester-idr"
+commit      = "3dcdb54ed578a14597a17cb93c926734a9da69ca"
+ipkg        = "tester.ipkg"
+packagePath = false
+
+[db.time-for-sleep]
+type        = "github"
+url         = "https://github.com/buzden/idris2-time-for-sleep"
+commit      = "9b4bcd543c41f0d0bb6fda3e16c403e2c0708387"
+ipkg        = "time-for-sleep.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.timeit]
+type        = "github"
+url         = "https://github.com/MarcelineVQ/idris2-timeit"
+commit      = "9566f71e9e7a68e8da4a30b8318f40099dda5c11"
+ipkg        = "timeit.ipkg"
+packagePath = false
+
+[db.tls]
+type        = "github"
+url         = "https://github.com/octeep/idris2-tls"
+commit      = "de160548212e743534514e14f21a86bcdea6ff9c"
+ipkg        = "tls.ipkg"
+packagePath = false
+
+[db.toml]
+type        = "github"
+url         = "https://github.com/cuddlefishie/toml-idr"
+commit      = "b4f5a4bd874fa32f20d02311a62a1910dc48123f"
+ipkg        = "toml.ipkg"
+packagePath = false
+
+[db.typelevel-emptiness-collections]
+type        = "github"
+url         = "https://github.com/buzden/idris2-typelevel-emptiness-collections"
+commit      = "4604c598642577c9fedcf51c5dcd3e8f5cdc2b69"
+ipkg        = "typelevel-emptiness-collections.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.tyre]
+type        = "github"
+url         = "https://github.com/kasiaMarek/TyRE"
+commit      = "d6d6f65f4e2d07db6ca1dacf23887b9e823688a9"
+ipkg        = "tyre.ipkg"
+packagePath = false
+
+[db.tyttp]
+type        = "github"
+url         = "https://github.com/kbertalan/tyttp"
+commit      = "35e080bd2c81050920e03ded29e7807d8dfbbe23"
+ipkg        = "tyttp.ipkg"
+packagePath = false
+
+[db.tyttp-json]
+type        = "github"
+url         = "https://github.com/kbertalan/tyttp-json"
+commit      = "ecaf5306c8ec4186e932249435f48e16b0a75729"
+ipkg        = "tyttp-json.ipkg"
+packagePath = false
+
+[db.uniplate]
+type        = "github"
+url         = "https://github.com/Z-snails/uniplate-idr"
+commit      = "caac354759a62a52596b6f77971327e17ff81c0f"
+ipkg        = "uniplate.ipkg"
+packagePath = false
+
+[db.url]
+type        = "github"
+url         = "https://github.com/running-grass/idris2-url"
+commit      = "4587b14fbe7752c4aad5aac045e19088ec2e4108"
+ipkg        = "url.ipkg"
+packagePath = false
+
+[db.webidl]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-webidl"
+commit      = "8087ea4a4a6b09fb54e8156c14a0c1789149ca1a"
+ipkg        = "webidl.ipkg"
+packagePath = false
+
+[db.xml]
+type        = "github"
+url         = "https://github.com/madman-bob/idris2-xml"
+commit      = "bfb02ff5c195218de7d33ed0ee9e6a26c60c0f0b"
+ipkg        = "xml.ipkg"
+packagePath = false