diff --git a/STATUS.md b/STATUS.md
index 15a7f9d0b..1b18b0e7c 100644
--- a/STATUS.md
+++ b/STATUS.md
@@ -2,7 +2,7 @@
 
 | Compiler | Version | Commit |
 | --- | --- | --- |
-| [Idris2](https://github.com/idris-lang/Idris2) | 0.7.0 | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) |
+| [Idris2](https://github.com/idris-lang/Idris2) | 0.7.0 | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) |
 
 ## Building Packages
 
@@ -14,8 +14,9 @@
 | [apache-mime-types](https://github.com/kbertalan/idris2-apache-mime-types) | Mime types db based on Apache HTTPD dataset |  | [6c6ff58](https://github.com/kbertalan/idris2-apache-mime-types/commit/6c6ff58b6dd9446bf2f4ad7ca7a4e741d367a164) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/apache-mime-types/docs/index.html) |
 | [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays |  | [3f14963](https://github.com/stefan-hoeck/idris2-array/commit/3f14963a645d3f0dd53f8c421416e25ca80cae7d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/array/docs/index.html) |
 | [async](https://github.com/stefan-hoeck/idris2-async) | Asynchronous and concurrent computations in Idris2 |  | [10ae85b](https://github.com/stefan-hoeck/idris2-async/commit/10ae85b1d25f460dd88d097e4abf6a0d8332bd58) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async/docs/index.html) |
+| [async-epoll](https://github.com/stefan-hoeck/idris2-async) | An epoll-based event loop for asynchronous computations on Linux |  | [10ae85b](https://github.com/stefan-hoeck/idris2-async/commit/10ae85b1d25f460dd88d097e4abf6a0d8332bd58) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/docs/index.html) |
 | [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [641f15c](https://github.com/stefan-hoeck/idris2-barbies/commit/641f15ca32653eb1580c40fb7e6865f7619158ca) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/barbies/docs/index.html) |
-| [base](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base/docs/index.html) |
+| [base](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base/docs/index.html) |
 | [base64](https://git.sr.ht/~janus/base64) | Base64 decoding/encoding, based on C. Provides `Data.String.Base64`. Used in e.g. the `scram` package. | BSD-3-Clause | [886d939](https://git.sr.ht/~janus/base64/commit/886d93952ac87f3a091765d2680fa731624d0ef3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base64/docs/index.html) |
 | [best-alternative](https://github.com/buzden/idris2-best-alternative) | Utilities for types implementing `Alternative` interface | Apache-2.0 | [8e24bc9](https://github.com/buzden/idris2-best-alternative/commit/8e24bc9f2b202d16158b6e8b59d3e226ebd37bc7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/best-alternative/docs/index.html) |
 | [bounded-doubles](https://github.com/buzden/idris2-bounded-doubles) | Doubles with type-level bounds | Apache-2.0 | [078934f](https://github.com/buzden/idris2-bounded-doubles/commit/078934f6ba4bf69284c9cbc365840e645e71f22d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles/docs/index.html) |
@@ -31,7 +32,7 @@
 | [comonad](https://github.com/stefan-hoeck/idris2-comonad) | Comonads for Idris2 |  | [154292a](https://github.com/stefan-hoeck/idris2-comonad/commit/154292a389edd7496bd4f41465bcba6844cede52) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/comonad/docs/index.html) |
 | [cont](https://git.sr.ht/~janus/cont) | Double-barreled continuations. Used in the pg, http2, web-server-racket packages. |  | [519dabe](https://git.sr.ht/~janus/cont/commit/519dabee666fafc846173170c8755cde67f2931a) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cont/docs/index.html) |
 | [containers](https://github.com/stefan-hoeck/idris2-containers) | Assorted concrete container types |  | [c04344b](https://github.com/stefan-hoeck/idris2-containers/commit/c04344b658e6fa66445b8010cdeff30a07ecc91c) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/containers/docs/index.html) |
-| [contrib](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/contrib/docs/index.html) |
+| [contrib](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/contrib/docs/index.html) |
 | [coop](https://github.com/buzden/idris2-coop) | A library for simple concurrency without parallelism | Apache-2.0 | [96e845c](https://github.com/buzden/idris2-coop/commit/96e845c82045e01092a85a920c96f0386f5e6b4d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/coop/docs/index.html) |
 | [cozippable](https://github.com/buzden/idris2-cozippable) | Cozippable interface and implementations | Apache-2.0 | [157960a](https://github.com/buzden/idris2-cozippable/commit/157960afd73f8f30a9521f936945991dd8369a35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cozippable/docs/index.html) |
 | [cptr](https://github.com/stefan-hoeck/idris2-cptr) | Fun with C-pointers |  | [c48e5e6](https://github.com/stefan-hoeck/idris2-cptr/commit/c48e5e6f164fd60141fed1880160911bc328ac83) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cptr/docs/index.html) |
@@ -72,7 +73,7 @@
 | [http2](https://git.sr.ht/~janus/http2) | Continuation based HTTP2 server. No IO. Used in `web-server-racket`. | BSD-3 Clause | [fea2612](https://git.sr.ht/~janus/http2/commit/fea2612948335cf00ddda29181fcc18daeaa03e4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http2/docs/index.html) |
 | [i-hate-parens](https://github.com/buzden/idris2-i-hate-parens) | Syntax for those who hate parenthesis | Apache-2.0 | [6127b46](https://github.com/buzden/idris2-i-hate-parens/commit/6127b46e799405e025194f6606dd5e949f5b7092) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/i-hate-parens/docs/index.html) |
 | [idrall](https://github.com/alexhumphreys/idrall) | Dhall compiler for Idris2 |  | [86d84e4](https://github.com/alexhumphreys/idrall/commit/86d84e44f7e2d07e597ca10b7d0a3451992b5605) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrall/docs/index.html) |
-| [idris2](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2/docs/index.html) |
+| [idris2](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2/docs/index.html) |
 | [idris2-go](https://github.com/kbertalan/idris2-go) | Idris2 with Go backend |  | [070087e](https://github.com/kbertalan/idris2-go/commit/070087e7f216bd651df6f4491f71a6d812631dd7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-go/docs/index.html) |
 | [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code |  | [070087e](https://github.com/kbertalan/idris2-go/commit/070087e7f216bd651df6f4491f71a6d812631dd7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-go-lib/docs/index.html) |
 | [idris2-lsp](https://github.com/idris-community/idris2-lsp) |  |  | [df322fa](https://github.com/idris-community/idris2-lsp/commit/df322faeb1b5b7f70c901978274cf03a15061ced) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-lsp/docs/index.html) |
@@ -88,7 +89,7 @@
 | [katla-pandoc](https://github.com/idris-community/katla) |  |  | [53b0e47](https://github.com/idris-community/katla/commit/53b0e47102805973371b6697383db70e8c3d6868) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/katla-pandoc/docs/index.html) |
 | [lana](https://git.sr.ht/~janus/lana) | Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. | MIT | [63964db](https://git.sr.ht/~janus/lana/commit/63964db7d4b8d941445d4fd9aa3c453102b3632f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lana/docs/index.html) |
 | [lens](https://github.com/kiana-S/idris2-lens) | Batteries-included profunctor optics | MIT | [da8f3a0](https://github.com/kiana-S/idris2-lens/commit/da8f3a05e60673a0700765bdbfdd33f33cb8fd4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lens/docs/index.html) |
-| [linear](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linear/docs/index.html) |
+| [linear](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linear/docs/index.html) |
 | [linux](https://github.com/stefan-hoeck/idris2-linux) | System utilities for using Idris2 on GNU/Linux |  | [7bc4d50](https://github.com/stefan-hoeck/idris2-linux/commit/7bc4d5093d384a1bf0b075bb6e8353231c0a0a4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linux/docs/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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/log-domain/docs/index.html) |
 | [lsp-lib](https://github.com/idris-community/lsp-lib) |  |  | [8ff3a88](https://github.com/idris-community/lsp-lib/commit/8ff3a886c0dc41a9eebea6ec5956349752d29714) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lsp-lib/docs/index.html) |
@@ -100,13 +101,13 @@
 | [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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/multiplate/docs/index.html) |
 | [ncurses-idris](https://github.com/mattpolzin/ncurses-idris) | NCurses support for Idris 2 apps compiled with the Chez Scheme backend. | MIT | [9f1e575](https://github.com/mattpolzin/ncurses-idris/commit/9f1e575d48cb2acb837f9713e003fbb6ddbf8f44) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ncurses-idris/docs/index.html) |
 | [nested](https://gitlab.com/bss03/nested) | nested (or non-uniform) recursion schemes | AGPLv3 | [6752469](https://gitlab.com/bss03/nested/commit/67524695bf949e83c2c419e94d173a46558fd2bd) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/nested/docs/index.html) |
-| [network](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/network/docs/index.html) |
+| [network](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/network/docs/index.html) |
 | [node](https://github.com/kbertalan/idris2-node) | Node JS API bindings for Idris2 |  | [03a7a07](https://github.com/kbertalan/idris2-node/commit/03a7a070d2063122190a580341e6c57017be5554) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/node/docs/index.html) |
 | [numidr](https://github.com/kiana-S/numidr) | Linear algebra and data science library | MIT | [bd1eee1](https://github.com/kiana-S/numidr/commit/bd1eee136662ef638628bca9907ae64f1b7538f9) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/numidr/docs/index.html) |
 | [okasaki-pfds](https://gitlab.com/bss03/idris2-okasaki-pfds) | Purely Functional Data Structures ala Okasaki |  | [a8dd0b8](https://gitlab.com/bss03/idris2-okasaki-pfds/commit/a8dd0b89dc307ef621f35e59216b11aadb128ade) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/okasaki-pfds/docs/index.html) |
 | [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections |  | [3fd992d](https://github.com/stefan-hoeck/idris2-pack/commit/3fd992ddbc6f4acbd6340064c99f1dc2b58917d5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack/docs/index.html) |
 | [pack-admin](https://github.com/stefan-hoeck/idris2-pack) | Administration of pack's package collections |  | [3fd992d](https://github.com/stefan-hoeck/idris2-pack/commit/3fd992ddbc6f4acbd6340064c99f1dc2b58917d5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) |
-| [papers](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/papers/docs/index.html) |
+| [papers](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/papers/docs/index.html) |
 | [park_bench](https://github.com/Z-snails/park_bench) |  |  | [c9a212e](https://github.com/Z-snails/park_bench/commit/c9a212e4873cc533dee361e1614189c95a56c873) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/park_bench/docs/index.html) |
 | [parser](https://github.com/stefan-hoeck/idris2-parser) | Types and utilities for writing total parsers and lexers |  | [dd950e6](https://github.com/stefan-hoeck/idris2-parser/commit/dd950e671f06bd936e48c95d33117ee042d35134) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser/docs/index.html) |
 | [parser-json](https://github.com/stefan-hoeck/idris2-parser) | Total and efficient parser and lexer for the JSON file format |  | [dd950e6](https://github.com/stefan-hoeck/idris2-parser/commit/dd950e671f06bd936e48c95d33117ee042d35134) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/parser-json/docs/index.html) |
@@ -121,7 +122,7 @@
 | [pjrt-plugin-xla-cuda](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CUDA-enabled GPUs. | Apache License, Version 2.0 | [fb808c1](https://github.com/joelberkeley/spidr/commit/fb808c12c31857a863afe381edd0555eb927f027) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pjrt-plugin-xla-cuda/docs/index.html) |
 | [positive-nat](https://github.com/buzden/idris2-positive-nat) | Strictly positive natural number data type | Apache-2.0 | [8da7515](https://github.com/buzden/idris2-positive-nat/commit/8da7515357bf0157c276eea52baf68ed01ad5c4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/positive-nat/docs/index.html) |
 | [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls |  | [7bc4d50](https://github.com/stefan-hoeck/idris2-linux/commit/7bc4d5093d384a1bf0b075bb6e8353231c0a0a4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
-| [prelude](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) |
+| [prelude](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) |
 | [prettier](https://github.com/Z-snails/prettier) |  |  | [572ba6e](https://github.com/Z-snails/prettier/commit/572ba6eec87e30127fb59341093d5588081428f7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier/docs/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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prettier-ansi/docs/index.html) |
 | [pretty-show](https://github.com/stefan-hoeck/idris2-pretty-show) | Pretty printing of values with a Show instance |  | [a739e83](https://github.com/stefan-hoeck/idris2-pretty-show/commit/a739e838047327dd75b98715f65a755961f79dd8) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pretty-show/docs/index.html) |
@@ -156,7 +157,7 @@
 | [svg](https://github.com/stefan-hoeck/idris2-svg) | Vector graphics in Idris2 |  | [dc4784f](https://github.com/stefan-hoeck/idris2-svg/commit/dc4784fe70f45cc25f9bdd212df0dd6a0e9a67eb) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/svg/docs/index.html) |
 | [swirl](https://github.com/buzden/idris2-swirl) | Swirls, streams of monadic actions | Apache-2.0 | [94b6eb1](https://github.com/buzden/idris2-swirl/commit/94b6eb18d9b68cba885090b2866091d97d7b1602) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/swirl/docs/index.html) |
 | [tailrec](https://github.com/stefan-hoeck/idris2-tailrec) | Provably total, stack-safe monadic recursion in Idris2 | BSD-3 Clause | [2734dfd](https://github.com/stefan-hoeck/idris2-tailrec/commit/2734dfdac3dedafcc0140b5388af760d0729b62f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tailrec/docs/index.html) |
-| [test](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/test/docs/index.html) |
+| [test](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/test/docs/index.html) |
 | [tester](https://github.com/cuddlefishie/tester-idr) |  |  | [3dcdb54](https://github.com/cuddlefishie/tester-idr/commit/3dcdb54ed578a14597a17cb93c926734a9da69ca) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tester/docs/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 | [8e50060](https://github.com/buzden/idris2-time-for-sleep/commit/8e50060df0d6ff19d6049b90bd26906a6b4aae5f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/time-for-sleep/docs/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) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/timeit/docs/index.html) |
diff --git a/collections/nightly-250107.toml b/collections/nightly-250107.toml
new file mode 100644
index 000000000..5ee6da8b7
--- /dev/null
+++ b/collections/nightly-250107.toml
@@ -0,0 +1,1188 @@
+[idris2]
+url     = "https://github.com/idris-lang/Idris2"
+version = "0.7.0"
+commit  = "09088a1b6112302ef8b3b46c71551f78194a4741"
+
+[db.algdata]
+type        = "github"
+url         = "https://gitlab.com/avidela/algebraic-data"
+commit      = "71504e1295e3249c6ba63d30d97d7c49699772e4"
+ipkg        = "algdata.ipkg"
+packagePath = false
+
+[db.algebra]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-algebra"
+commit      = "829f44b7fd961e3f0a7ad9174b395f97ebc33336"
+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      = "6c6ff58b6dd9446bf2f4ad7ca7a4e741d367a164"
+ipkg        = "apache-mime-types.ipkg"
+packagePath = false
+
+[db.array]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-array"
+commit      = "3f14963a645d3f0dd53f8c421416e25ca80cae7d"
+ipkg        = "array.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.async]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-async"
+commit      = "10ae85b1d25f460dd88d097e4abf6a0d8332bd58"
+ipkg        = "async.ipkg"
+packagePath = false
+
+[db.async-epoll]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-async"
+commit      = "10ae85b1d25f460dd88d097e4abf6a0d8332bd58"
+ipkg        = "async-epoll/async-epoll.ipkg"
+packagePath = false
+
+[db.barbies]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-barbies"
+commit      = "641f15ca32653eb1580c40fb7e6865f7619158ca"
+ipkg        = "barbies.ipkg"
+packagePath = false
+
+[db.base64]
+type        = "github"
+url         = "https://git.sr.ht/~janus/base64"
+commit      = "886d93952ac87f3a091765d2680fa731624d0ef3"
+ipkg        = "base64.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.best-alternative]
+type        = "github"
+url         = "https://github.com/buzden/idris2-best-alternative"
+commit      = "8e24bc9f2b202d16158b6e8b59d3e226ebd37bc7"
+ipkg        = "best-alternative.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.bounded-doubles]
+type        = "github"
+url         = "https://github.com/buzden/idris2-bounded-doubles"
+commit      = "078934f6ba4bf69284c9cbc365840e645e71f22d"
+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      = "078934f6ba4bf69284c9cbc365840e645e71f22d"
+ipkg        = "hedgehog-generators.ipkg"
+packagePath = false
+test        = "tests/generators-tests.ipkg"
+
+[db.buf-conn]
+type        = "github"
+url         = "https://git.sr.ht/~janus/buf-conn"
+commit      = "7fca8ab3e57bd8c743ad0682c5b7c5206845b067"
+ipkg        = "buf-conn.ipkg"
+packagePath = false
+
+[db.bytestring]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-bytestring"
+commit      = "5d32a5bce0ab0fb248d6799845112bcf703be2cb"
+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.chem]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-chem"
+commit      = "56a21a3a0038df41180f9982fd52bfbb9584daf8"
+ipkg        = "chem.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.chem-generators]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-chem"
+commit      = "56a21a3a0038df41180f9982fd52bfbb9584daf8"
+ipkg        = "chem-generators/chem-generators.ipkg"
+packagePath = false
+
+[db.collection-utils]
+type        = "github"
+url         = "https://github.com/buzden/idris2-collection-utils"
+commit      = "3e3b908bc13f336c5490689681032f3643f665dc"
+ipkg        = "collection-utils.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.collie]
+type        = "github"
+url         = "https://github.com/ohad/collie"
+commit      = "a35498d8d5d24ae677458aa0b54afeea0c8b7198"
+ipkg        = "collie.ipkg"
+packagePath = false
+
+[db.comonad]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-comonad"
+commit      = "154292a389edd7496bd4f41465bcba6844cede52"
+ipkg        = "comonad.ipkg"
+packagePath = false
+
+[db.cont]
+type        = "github"
+url         = "https://git.sr.ht/~janus/cont"
+commit      = "519dabee666fafc846173170c8755cde67f2931a"
+ipkg        = "cont.ipkg"
+packagePath = false
+
+[db.containers]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-containers"
+commit      = "c04344b658e6fa66445b8010cdeff30a07ecc91c"
+ipkg        = "containers.ipkg"
+packagePath = false
+
+[db.coop]
+type        = "github"
+url         = "https://github.com/buzden/idris2-coop"
+commit      = "96e845c82045e01092a85a920c96f0386f5e6b4d"
+ipkg        = "coop.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.cozippable]
+type        = "github"
+url         = "https://github.com/buzden/idris2-cozippable"
+commit      = "157960afd73f8f30a9521f936945991dd8369a35"
+ipkg        = "cozippable.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.cptr]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-cptr"
+commit      = "c48e5e6f164fd60141fed1880160911bc328ac83"
+ipkg        = "cptr.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.crypt]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-crypt"
+commit      = "15866ef4869d29873fa734a2732805ca415aad3e"
+ipkg        = "crypt.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.cyby-draw]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-cyby-draw"
+commit      = "0df06cfd26b94ec55314a60d07de57895c589df3"
+ipkg        = "cyby-draw.ipkg"
+packagePath = false
+
+[db.dependent-map]
+type        = "github"
+url         = "https://github.com/JankaGramofonomanka/idris-dependent-map"
+commit      = "f2896d04876d2aebb437a6cd780dbb871765c863"
+ipkg        = "dependent-map.ipkg"
+packagePath = false
+test        = "test/dependent-map-test.ipkg"
+
+[db.dependent-vect]
+type        = "github"
+url         = "https://github.com/buzden/idris2-dependent-vect"
+commit      = "75e7d157e2d450eeecf7d630989b0e10fb12ede6"
+ipkg        = "dependent-vect.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.deptycheck]
+type        = "github"
+url         = "https://github.com/buzden/deptycheck"
+commit      = "3d9c571abfdeabb41f13a7d7e39134097ceef664"
+ipkg        = "deptycheck.ipkg"
+packagePath = false
+test        = "tests/tests.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      = "67d0047557fa41a654d14b2f9d5f2f1353e07458"
+ipkg        = "dom.ipkg"
+packagePath = false
+
+[db.dom-mvc]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom-mvc"
+commit      = "aa13b5cb074b9f1537cc55cac365cf1f5d76c8b3"
+ipkg        = "dom-mvc.ipkg"
+packagePath = false
+
+[db.dom-mvc-extra]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom-mvc"
+commit      = "aa13b5cb074b9f1537cc55cac365cf1f5d76c8b3"
+ipkg        = "extra/dom-mvc-extra.ipkg"
+packagePath = false
+
+[db.dot-gv]
+type        = "github"
+url         = "https://github.com/CodingCellist/idris2-dot-parse"
+commit      = "369fe32ed8d716cee6a07969b7b31e6d2cf046ae"
+ipkg        = "dot-parse.ipkg"
+packagePath = false
+
+[db.dtypes]
+type        = "github"
+url         = "https://github.com/JankaGramofonomanka/idris-dtypes"
+commit      = "028eb21c8f157037b2fa75e3f911cb33471e2774"
+ipkg        = "dtypes.ipkg"
+packagePath = false
+
+[db.eff]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-eff"
+commit      = "69f02c0209c2d92215557b73df76507933588a91"
+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      = "dc875d4a8a2aa3bf0a767fb586a4d9150d83363d"
+ipkg        = "elab-pretty.ipkg"
+packagePath = false
+
+[db.elab-util]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-elab-util"
+commit      = "dc875d4a8a2aa3bf0a767fb586a4d9150d83363d"
+ipkg        = "elab-util.ipkg"
+packagePath = false
+
+[db.epoll]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-epoll"
+commit      = "d136549ddf1aa1d8aa8e3c18907c11db85c88781"
+ipkg        = "epoll.ipkg"
+packagePath = false
+test        = "tests/test.ipkg"
+
+[db.filepath]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-filepath"
+commit      = "0441eaee9ff1d921fc3f4619c2a8d542588c0e99"
+ipkg        = "filepath.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.fin-lizzie]
+type        = "github"
+url         = "https://github.com/buzden/idris2-fin-lizzie"
+commit      = "a3b4726e404f539c666392fb5d6c9d118aaec3d8"
+ipkg        = "fin-lizzie.ipkg"
+packagePath = false
+test        = "tests/tests.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      = "ec8d82a88cc12a787e0c81b9ce4d85d90f6291ee"
+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      = "180e2066f8c20b4f2197ae46fdb5c09a4fcb9ed2"
+ipkg        = "freer.ipkg"
+packagePath = false
+
+[db.fvect]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-fvect"
+commit      = "0a6e9c840be43248ed062f1c1b91834dc1fb9970"
+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      = "0d41b98f83f3707deb0ffbc595ef36b7d9cb9eab"
+ipkg        = "getopts.ipkg"
+packagePath = false
+
+[db.golden-runner-helper]
+type        = "github"
+url         = "https://github.com/buzden/idris2-golden-runner-helper"
+commit      = "7178ee86f2dde575e2c2bfb2ed4a69a1724eefa2"
+ipkg        = "golden-runner-helper.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-graph"
+commit      = "e3fea89ac3e2edc371966f5540deac690f85e31a"
+ipkg        = "graph.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.hash]
+type        = "github"
+url         = "https://git.sr.ht/~janus/hash"
+commit      = "8e2ea1bcba720a47fca30fb81c896f7464633149"
+ipkg        = "hash.ipkg"
+packagePath = false
+
+[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      = "5c3e42ce1a85b04dca1105c2513299404c8427e3"
+ipkg        = "hashmap.ipkg"
+packagePath = false
+
+[db.hedgehog]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-hedgehog"
+commit      = "3dd9beb4e6c569ec21fac034991ef8dd49971d5e"
+ipkg        = "hedgehog.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.hmac]
+type        = "github"
+url         = "https://git.sr.ht/~janus/hmac"
+commit      = "5c754a914294b389a8cec2b5da4d7602bcc7b3b4"
+ipkg        = "hmac.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.http]
+type        = "github"
+url         = "https://github.com/idris-community/idris2-http"
+commit      = "0ff06cf2c831cc9283d2e539978fedf599df2b17"
+ipkg        = "http.ipkg"
+packagePath = false
+
+[db.http2]
+type        = "github"
+url         = "https://git.sr.ht/~janus/http2"
+commit      = "fea2612948335cf00ddda29181fcc18daeaa03e4"
+ipkg        = "http2.ipkg"
+packagePath = false
+
+[db.i-hate-parens]
+type        = "github"
+url         = "https://github.com/buzden/idris2-i-hate-parens"
+commit      = "6127b46e799405e025194f6606dd5e949f5b7092"
+ipkg        = "i-hate-parens.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.idrall]
+type        = "github"
+url         = "https://github.com/alexhumphreys/idrall"
+commit      = "86d84e44f7e2d07e597ca10b7d0a3451992b5605"
+ipkg        = "idrall.ipkg"
+packagePath = false
+
+[db.idris2-go]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "070087e7f216bd651df6f4491f71a6d812631dd7"
+ipkg        = "idris2-go.ipkg"
+packagePath = true
+
+[db.idris2-go-lib]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "070087e7f216bd651df6f4491f71a6d812631dd7"
+ipkg        = "idris2-go-lib.ipkg"
+packagePath = false
+test        = "tests/libtests.ipkg"
+
+[db.idris2-lsp]
+type        = "github"
+url         = "https://github.com/idris-community/idris2-lsp"
+commit      = "df322faeb1b5b7f70c901978274cf03a15061ced"
+ipkg        = "idris2-lsp.ipkg"
+packagePath = true
+
+[db.idrisGL]
+type        = "github"
+url         = "https://github.com/ECburx/Idris2GL"
+commit      = "44da0855bc8b2cfdf796ba9557e8c500395a8c41"
+ipkg        = "idrisGL.ipkg"
+packagePath = false
+
+[db.if-unsolved-implicit]
+type        = "github"
+url         = "https://github.com/buzden/idris2-if-unsolved-implicit"
+commit      = "a56deec1d89e0c9bf83f11ae18b7e0787fcc5d50"
+ipkg        = "if-unsolved-implicit.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.indexed]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-indexed"
+commit      = "c99707f1db2efa2e97c465b16b525cb79b28f349"
+ipkg        = "indexed.ipkg"
+packagePath = false
+
+[db.indexed-graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-indexed-graph"
+commit      = "e37f0d26f71841f9416eefb23a9bfefef669ee7f"
+ipkg        = "indexed-graph.ipkg"
+packagePath = false
+
+[db.js]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom"
+commit      = "67d0047557fa41a654d14b2f9d5f2f1353e07458"
+ipkg        = "js/js.ipkg"
+packagePath = false
+
+[db.json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "6fc9c0dc083ebf9b3caab5b179f50a5c8f1b4166"
+ipkg        = "json.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.json-simple]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "6fc9c0dc083ebf9b3caab5b179f50a5c8f1b4166"
+ipkg        = "simple/json-simple.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.just-a-monad]
+type        = "github"
+url         = "https://github.com/Russoul/Just-a-Monad"
+commit      = "4a69d28651c6edefd30d313d6defd5914cb44931"
+ipkg        = "just-a-monad.ipkg"
+packagePath = false
+
+[db.katla]
+type        = "github"
+url         = "https://github.com/idris-community/katla"
+commit      = "53b0e47102805973371b6697383db70e8c3d6868"
+ipkg        = "katla.ipkg"
+packagePath = false
+
+[db.katla-pandoc]
+type        = "github"
+url         = "https://github.com/idris-community/katla"
+commit      = "53b0e47102805973371b6697383db70e8c3d6868"
+ipkg        = "katla-pandoc.ipkg"
+packagePath = false
+
+[db.lana]
+type        = "github"
+url         = "https://git.sr.ht/~janus/lana"
+commit      = "63964db7d4b8d941445d4fd9aa3c453102b3632f"
+ipkg        = "lana.ipkg"
+packagePath = false
+
+[db.lens]
+type        = "github"
+url         = "https://github.com/kiana-S/idris2-lens"
+commit      = "da8f3a05e60673a0700765bdbfdd33f33cb8fd4f"
+ipkg        = "lens.ipkg"
+packagePath = false
+
+[db.linux]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-linux"
+commit      = "7bc4d5093d384a1bf0b075bb6e8353231c0a0a4f"
+ipkg        = "linux/linux.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-lib]
+type        = "github"
+url         = "https://github.com/idris-community/lsp-lib"
+commit      = "8ff3a886c0dc41a9eebea6ec5956349752d29714"
+ipkg        = "lsp-lib.ipkg"
+packagePath = false
+
+[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      = "7d93ec5b100596d1b79475a0f63cfff14845f697"
+ipkg        = "monocle.ipkg"
+packagePath = false
+
+[db.mtl-tuple-impls]
+type        = "github"
+url         = "https://github.com/buzden/idris2-mtl-tuple-impls"
+commit      = "f25d3f8aba26da82be089f8c0e9f1865b31b28e8"
+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      = "9f1e575d48cb2acb837f9713e003fbb6ddbf8f44"
+ipkg        = "ncurses-idris.ipkg"
+packagePath = false
+
+[db.nested]
+type        = "github"
+url         = "https://gitlab.com/bss03/nested"
+commit      = "67524695bf949e83c2c419e94d173a46558fd2bd"
+ipkg        = "nested.ipkg"
+packagePath = false
+
+[db.node]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-node"
+commit      = "03a7a070d2063122190a580341e6c57017be5554"
+ipkg        = "node.ipkg"
+packagePath = false
+
+[db.numidr]
+type        = "github"
+url         = "https://github.com/kiana-S/numidr"
+commit      = "bd1eee136662ef638628bca9907ae64f1b7538f9"
+ipkg        = "numidr.ipkg"
+packagePath = false
+
+[db.okasaki-pfds]
+type        = "github"
+url         = "https://gitlab.com/bss03/idris2-okasaki-pfds"
+commit      = "a8dd0b89dc307ef621f35e59216b11aadb128ade"
+ipkg        = "okasaki-pfds.ipkg"
+packagePath = false
+
+[db.pack]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "3fd992ddbc6f4acbd6340064c99f1dc2b58917d5"
+ipkg        = "pack.ipkg"
+packagePath = false
+
+[db.pack-admin]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "3fd992ddbc6f4acbd6340064c99f1dc2b58917d5"
+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      = "dd950e671f06bd936e48c95d33117ee042d35134"
+ipkg        = "parser.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "dd950e671f06bd936e48c95d33117ee042d35134"
+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      = "dd950e671f06bd936e48c95d33117ee042d35134"
+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      = "dd950e671f06bd936e48c95d33117ee042d35134"
+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      = "dd950e671f06bd936e48c95d33117ee042d35134"
+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      = "dd950e671f06bd936e48c95d33117ee042d35134"
+ipkg        = "webidl/parser-webidl.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.pg]
+type        = "github"
+url         = "https://git.sr.ht/~janus/pg"
+commit      = "785635145ce6bdb67690acb66d806c9ce9e3c03e"
+ipkg        = "pg.ipkg"
+packagePath = false
+
+[db.pg-idris]
+type        = "github"
+url         = "https://github.com/mattpolzin/pg-idris"
+commit      = "3f0e40ffa3da3a751cea9b2f0962446308f0c918"
+ipkg        = "pg-idris.ipkg"
+packagePath = false
+
+[db.pg-types]
+type        = "github"
+url         = "https://git.sr.ht/~janus/pg-types"
+commit      = "c1485829928f18d2b652b565db9cc384da087513"
+ipkg        = "pg-types.ipkg"
+packagePath = false
+
+[db.pjrt-plugin-xla-cpu]
+type        = "github"
+url         = "https://github.com/joelberkeley/spidr"
+commit      = "fb808c12c31857a863afe381edd0555eb927f027"
+ipkg        = "pjrt-plugins/xla-cpu/pjrt-plugin-xla-cpu.ipkg"
+packagePath = false
+
+[db.pjrt-plugin-xla-cuda]
+type        = "github"
+url         = "https://github.com/joelberkeley/spidr"
+commit      = "fb808c12c31857a863afe381edd0555eb927f027"
+ipkg        = "pjrt-plugins/xla-cuda/pjrt-plugin-xla-cuda.ipkg"
+packagePath = false
+
+[db.positive-nat]
+type        = "github"
+url         = "https://github.com/buzden/idris2-positive-nat"
+commit      = "8da7515357bf0157c276eea52baf68ed01ad5c4f"
+ipkg        = "positive-nat.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.posix]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-linux"
+commit      = "7bc4d5093d384a1bf0b075bb6e8353231c0a0a4f"
+ipkg        = "posix/posix.ipkg"
+packagePath = false
+
+[db.prettier]
+type        = "github"
+url         = "https://github.com/Z-snails/prettier"
+commit      = "572ba6eec87e30127fb59341093d5588081428f7"
+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      = "a739e838047327dd75b98715f65a755961f79dd8"
+ipkg        = "pretty-show.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.prim]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-prim"
+commit      = "a875bbe1f11638946383b80eaf27bc471e56e341"
+ipkg        = "prim.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.profiler]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-profiler"
+commit      = "2f7982cb061e9b8807fc5dba90a462b97d5d3ad6"
+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      = "93c295028229ef54c079c4f3691f209605792980"
+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.racket-tcp]
+type        = "github"
+url         = "https://git.sr.ht/~janus/racket-tcp"
+commit      = "1fb135821a0fad9770393473e1dc4dee0d26e1e5"
+ipkg        = "racket-tcp.ipkg"
+packagePath = false
+
+[db.random-pure]
+type        = "github"
+url         = "https://github.com/buzden/idris2-random-pure"
+commit      = "e5aad147d41ccea7fd5265d61160ff7a48ffba10"
+ipkg        = "random-pure.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.ratio]
+type        = "github"
+url         = "https://github.com/kiana-S/idris2-ratio"
+commit      = "1bdfde80d70c1dc63df186e32f7c86ba6545dff2"
+ipkg        = "ratio.ipkg"
+packagePath = false
+
+[db.ref1]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-ref1"
+commit      = "276a2ff121290ca05b5afa0e48488a15b64cf8ea"
+ipkg        = "ref1.ipkg"
+packagePath = false
+
+[db.refined]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "c585013c33ad5398c91beed71fec61a5b721a8da"
+ipkg        = "refined.ipkg"
+packagePath = false
+
+[db.refined-json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "c585013c33ad5398c91beed71fec61a5b721a8da"
+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      = "c585013c33ad5398c91beed71fec61a5b721a8da"
+ipkg        = "tsv/refined-tsv.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.rhone]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rhone"
+commit      = "e652d56901ebfea588dbdc3316df85200f232d57"
+ipkg        = "rhone.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.rhone-js]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rhone-js"
+commit      = "543fa513206018ab152791e090746f09df551d76"
+ipkg        = "rhone-js.ipkg"
+packagePath = false
+
+[db.rio]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rio"
+commit      = "ba17bcbaecedbfe8bccd640c5769f2f85347386f"
+ipkg        = "rio.ipkg"
+packagePath = false
+test        = "test.ipkg"
+
+[db.rtlsdr]
+type        = "github"
+url         = "https://github.com/victoredwardocallaghan/idris2-rtlsdr"
+commit      = "5ee5a09b04b89de4d5fb4e347a136ec158558032"
+ipkg        = "rtlsdr.ipkg"
+packagePath = false
+
+[db.scram]
+type        = "github"
+url         = "https://git.sr.ht/~janus/scram"
+commit      = "b71f745c68cb038c86e34ecb443a75a6b9bebc1f"
+ipkg        = "scram.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.sha]
+type        = "github"
+url         = "https://git.sr.ht/~janus/sha"
+commit      = "54729a52f9462f3155a11961eaca4373691575ff"
+ipkg        = "sha.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.snocvect]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-snocvect"
+commit      = "3de29a7a1227a2b1c2baef4cac2d04d70bad60d1"
+ipkg        = "snocvect.ipkg"
+packagePath = false
+
+[db.sop]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-sop"
+commit      = "050dc401257bc521bd171dbdff9728f32909e0d4"
+ipkg        = "sop.ipkg"
+packagePath = false
+
+[db.spidr]
+type        = "github"
+url         = "https://github.com/joelberkeley/spidr"
+commit      = "fb808c12c31857a863afe381edd0555eb927f027"
+ipkg        = "spidr/spidr.ipkg"
+packagePath = false
+
+[db.sqlite3]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-sqlite3"
+commit      = "e0600f19921a7636964c842728f6281353827a9f"
+ipkg        = "sqlite3.ipkg"
+packagePath = false
+
+[db.sqlite3-rio]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-sqlite3"
+commit      = "e0600f19921a7636964c842728f6281353827a9f"
+ipkg        = "sqlite3-rio/sqlite3-rio.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.string-search]
+type        = "github"
+url         = "https://git.sr.ht/~janus/string-search"
+commit      = "a30d7dcbd232edab23459ebbc68ca129b2574222"
+ipkg        = "string-search.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.structures]
+type        = "github"
+url         = "https://git.sr.ht/~thatonelutenist/Structures"
+commit      = "80a48e3b36c0a5454a2b8a96666aec892f88cc3e"
+ipkg        = "structures.ipkg"
+packagePath = false
+
+[db.summary-stat]
+type        = "github"
+url         = "https://github.com/buzden/idris2-summary-stat"
+commit      = "90810a9efd351e81b4a0819fd17f7de7dd42ae3e"
+ipkg        = "summary-stat.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.svg]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-svg"
+commit      = "dc4784fe70f45cc25f9bdd212df0dd6a0e9a67eb"
+ipkg        = "svg.ipkg"
+packagePath = false
+
+[db.swirl]
+type        = "github"
+url         = "https://github.com/buzden/idris2-swirl"
+commit      = "94b6eb18d9b68cba885090b2866091d97d7b1602"
+ipkg        = "swirl.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.tailrec]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-tailrec"
+commit      = "2734dfdac3dedafcc0140b5388af760d0729b62f"
+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      = "8e50060df0d6ff19d6049b90bd26906a6b4aae5f"
+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/idris-community/idris2-tls"
+commit      = "29e9ccb1510a8e26c6434712f55daf240a627feb"
+ipkg        = "tls.ipkg"
+packagePath = false
+
+[db.toml]
+type        = "github"
+url         = "https://github.com/cuddlefishie/toml-idr"
+commit      = "7e5c4f3cc2ff028f665653b43c4c1f9b0a8211e2"
+ipkg        = "toml.ipkg"
+packagePath = false
+
+[db.typelevel-emptiness-collections]
+type        = "github"
+url         = "https://github.com/buzden/idris2-typelevel-emptiness-collections"
+commit      = "4aa98e6d38432062f64ae4f2275a00ff5f47b653"
+ipkg        = "typelevel-emptiness-collections.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.tyre]
+type        = "github"
+url         = "https://github.com/kasiaMarek/TyRE"
+commit      = "5ad08fedd515d42058387a73c513abe996677c39"
+ipkg        = "tyre.ipkg"
+packagePath = false
+
+[db.tyttp]
+type        = "github"
+url         = "https://github.com/kbertalan/tyttp"
+commit      = "f159dfa6a44991528ccd8ed971fdd0d8c3a18a06"
+ipkg        = "tyttp.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.tyttp-adapter-node]
+type        = "github"
+url         = "https://github.com/kbertalan/tyttp"
+commit      = "f159dfa6a44991528ccd8ed971fdd0d8c3a18a06"
+ipkg        = "adapter-node/tyttp-adapter-node.ipkg"
+packagePath = false
+test        = "adapter-node/tests/tests.ipkg"
+
+[db.tyttp-json]
+type        = "github"
+url         = "https://github.com/kbertalan/tyttp"
+commit      = "f159dfa6a44991528ccd8ed971fdd0d8c3a18a06"
+ipkg        = "json/tyttp-json.ipkg"
+packagePath = false
+test        = "json/tests/tests.ipkg"
+
+[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.utf8]
+type        = "github"
+url         = "https://git.sr.ht/~janus/utf8"
+commit      = "c52080fb4630a699e3f1977b39c7dcd790033f5d"
+ipkg        = "utf8.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.uv]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-uv"
+commit      = "b3b16c17d89ad78cf7f3287511689bd4bf333344"
+ipkg        = "uv.ipkg"
+packagePath = false
+
+[db.uv-data]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-uv"
+commit      = "b3b16c17d89ad78cf7f3287511689bd4bf333344"
+ipkg        = "data/uv-data.ipkg"
+packagePath = false
+
+[db.web-server-racket]
+type        = "github"
+url         = "https://git.sr.ht/~janus/web-server-racket"
+commit      = "95384223a48666a78a1199c7fc49e224eefa2e67"
+ipkg        = "web-server-racket.ipkg"
+packagePath = false
+
+[db.web-server-racket-hello-world]
+type        = "github"
+url         = "https://git.sr.ht/~janus/web-server-racket-hello-world"
+commit      = "c46aeae902d8fc2e624d63983cea850adcf00184"
+ipkg        = "web-server-racket-hello-world.ipkg"
+packagePath = false
+
+[db.webidl]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-webidl"
+commit      = "388f7e7920ef9d8e36250a1854a6f84a55925d5f"
+ipkg        = "webidl.ipkg"
+packagePath = false
+
+[db.xml]
+type        = "github"
+url         = "https://github.com/madman-bob/idris2-xml"
+commit      = "bfb02ff5c195218de7d33ed0ee9e6a26c60c0f0b"
+ipkg        = "xml.ipkg"
+packagePath = false