From 736bec6420df982d624d418f803b18d74f83c7ef Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 5 Oct 2023 22:31:50 +0000
Subject: [PATCH] [ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/6424475161
---
 STATUS.md                       |   4 +-
 collections/nightly-231005.toml | 851 ++++++++++++++++++++++++++++++++
 2 files changed, 853 insertions(+), 2 deletions(-)
 create mode 100644 collections/nightly-231005.toml

diff --git a/STATUS.md b/STATUS.md
index 1aa1754f5..7e5e9b57e 100644
--- a/STATUS.md
+++ b/STATUS.md
@@ -55,7 +55,7 @@
 | [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code |  | [eeeea79](https://github.com/kbertalan/idris2-go/commit/eeeea792195c211b409dc0b6515dad68a1048409) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go-lib/index.html) |
 | [idris2-lsp](https://github.com/idris-community/idris2-lsp) |  |  | [7fa662a](https://github.com/idris-community/idris2-lsp/commit/7fa662a2ae416898152d7423a92cb1584a476304) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-lsp/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) |
-| [if-unsolved-implicit](https://github.com/buzden/idris2-if-unsolved-implicit) | An interface helping to set a value to an implicit when it is unsolved | Apache-2.0 | [c76eb99](https://github.com/buzden/idris2-if-unsolved-implicit/commit/c76eb9940c06ddcaa9643062d80598fae0fbe271) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/if-unsolved-implicit/index.html) |
+| [if-unsolved-implicit](https://github.com/buzden/idris2-if-unsolved-implicit) | An interface helping to set a value to an implicit when it is unsolved | Apache-2.0 | [b79938e](https://github.com/buzden/idris2-if-unsolved-implicit/commit/b79938e186e92e0a7428500f015bc5221388c8b6) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/if-unsolved-implicit/index.html) |
 | [indexed](https://github.com/mattpolzin/idris-indexed) |  |  | [d3fe9a1](https://github.com/mattpolzin/idris-indexed/commit/d3fe9a1d1aac2e269667e9d2bb44eac8bee6a013) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/indexed/index.html) |
 | [indexed-graph](https://github.com/stefan-hoeck/idris2-indexed-graph) | Array-backed, order indexed, sparse, simple graphs in Idris2 | BSD-3 Clause | [894ee97](https://github.com/stefan-hoeck/idris2-indexed-graph/commit/894ee9764103b378c6f0cb32ac7a572233171d79) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/indexed-graph/index.html) |
 | [js](https://github.com/stefan-hoeck/idris2-dom) | Utilities for working with the JavaScript backends |  | [ebfb4dc](https://github.com/stefan-hoeck/idris2-dom/commit/ebfb4dcdd9a83954b36098c3ccbd6e3c4d08ab4a) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/js/index.html) |
@@ -63,6 +63,7 @@
 | [json-simple](https://github.com/stefan-hoeck/idris2-json) | Simplified derivable JSON marshallers for simple people like me |  | [7ab8a29](https://github.com/stefan-hoeck/idris2-json/commit/7ab8a2977464b1ee441f9802519ffad6a349dbbe) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/json-simple/index.html) |
 | [just-a-monad](https://github.com/Russoul/Just-a-Monad) |  |  | [4a69d28](https://github.com/Russoul/Just-a-Monad/commit/4a69d28651c6edefd30d313d6defd5914cb44931) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/just-a-monad/index.html) |
 | [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) |  |  | [1256ded](https://github.com/idris-lang/Idris2/commit/1256ded11082e08855c22ee290dbf5b353a51aad) |  | [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) |
@@ -137,7 +138,6 @@
 
 | Package | Dependencies | Commit |
 | --- | --- | --- |
-| [lana](https://git.sr.ht/~janus/lana) |  | [cb4f9f9](https://git.sr.ht/~janus/lana/commit/cb4f9f9361240fe77317d69f8c62aabfcf46a459) |
 
 
 ## Unresolved Packages
diff --git a/collections/nightly-231005.toml b/collections/nightly-231005.toml
new file mode 100644
index 000000000..f6602694e
--- /dev/null
+++ b/collections/nightly-231005.toml
@@ -0,0 +1,851 @@
+[idris2]
+url     = "https://github.com/idris-lang/Idris2"
+version = "0.6.0"
+commit  = "1256ded11082e08855c22ee290dbf5b353a51aad"
+
+[db.algebra]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-algebra"
+commit      = "8df66df892e6a3cc43aec21aeb4b193c20d21bac"
+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      = "32a0030f2aabc3aece8f576a9686872e14de0fe0"
+ipkg        = "array.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.barbies]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-barbies"
+commit      = "f0cb8075bab682256ac4209f579141357a84fac5"
+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.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      = "51b52d3b0a3d5281c5b3d8be67d41de9b380ad6a"
+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      = "9aa47781b6c6ac376b89278dd41bb222dc279d13"
+ipkg        = "comonad.ipkg"
+packagePath = false
+
+[db.cont]
+type        = "github"
+url         = "https://git.sr.ht/~janus/cont"
+commit      = "519dabee666fafc846173170c8755cde67f2931a"
+ipkg        = "cont.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      = "15866ef4869d29873fa734a2732805ca415aad3e"
+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      = "ebfb4dcdd9a83954b36098c3ccbd6e3c4d08ab4a"
+ipkg        = "dom.ipkg"
+packagePath = false
+
+[db.dom-mvc]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom-mvc"
+commit      = "84ca19b4535ae2c320ca4324ced778c50e9d22d0"
+ipkg        = "dom-mvc.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.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      = "774057f58471ad605cbfac28906bba012040bc91"
+ipkg        = "elab-pretty.ipkg"
+packagePath = false
+
+[db.elab-util]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-elab-util"
+commit      = "774057f58471ad605cbfac28906bba012040bc91"
+ipkg        = "elab-util.ipkg"
+packagePath = false
+
+[db.filepath]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-filepath"
+commit      = "d8ad32504ac3465acf849f35aeba4613b06baa13"
+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      = "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      = "fd4c2cc4d228da76edf220ebf2f7005d7e5a5002"
+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      = "ac0bfed7ec72f51bc60ae36acf17a448464f019a"
+ipkg        = "golden-runner-helper.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-graph"
+commit      = "edb0ff6e4ac4352735bcfdf6ecb3a238d1e198da"
+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      = "e1ceaca6d81315245aed766b6e640c4be92f7929"
+ipkg        = "hedgehog.ipkg"
+packagePath = false
+
+[db.http2]
+type        = "github"
+url         = "https://git.sr.ht/~janus/http2"
+commit      = "da2cbb17cf2090ee449598f1013352a323979e21"
+ipkg        = "http2.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      = "eeeea792195c211b409dc0b6515dad68a1048409"
+ipkg        = "idris2-go.ipkg"
+packagePath = true
+
+[db.idris2-go-lib]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "eeeea792195c211b409dc0b6515dad68a1048409"
+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      = "7fa662a2ae416898152d7423a92cb1584a476304"
+ipkg        = "idris2-lsp.ipkg"
+packagePath = true
+
+[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      = "b79938e186e92e0a7428500f015bc5221388c8b6"
+ipkg        = "if-unsolved-implicit.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.indexed]
+type        = "github"
+url         = "https://github.com/mattpolzin/idris-indexed"
+commit      = "d3fe9a1d1aac2e269667e9d2bb44eac8bee6a013"
+ipkg        = "indexed.ipkg"
+packagePath = false
+
+[db.indexed-graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-indexed-graph"
+commit      = "894ee9764103b378c6f0cb32ac7a572233171d79"
+ipkg        = "indexed-graph.ipkg"
+packagePath = false
+
+[db.js]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-dom"
+commit      = "ebfb4dcdd9a83954b36098c3ccbd6e3c4d08ab4a"
+ipkg        = "js/js.ipkg"
+packagePath = false
+
+[db.json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "7ab8a2977464b1ee441f9802519ffad6a349dbbe"
+ipkg        = "json.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.json-simple]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "7ab8a2977464b1ee441f9802519ffad6a349dbbe"
+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      = "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-lib]
+type        = "github"
+url         = "https://github.com/idris-community/lsp-lib"
+commit      = "6b79b66f555c0130932bf8a50b959684aba073dc"
+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      = "460abad51b7344d54beb8c71fc646b95ed0d2703"
+ipkg        = "monocle.ipkg"
+packagePath = false
+
+[db.mtl-tuple-impls]
+type        = "github"
+url         = "https://github.com/buzden/idris2-mtl-tuple-impls"
+commit      = "5dc305e12207df9ccdd16f20bfee580bf46202ae"
+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.numidr]
+type        = "github"
+url         = "https://github.com/kiana-S/numidr"
+commit      = "9a5c0be04941bef66cdc56477fd1e05e45395201"
+ipkg        = "numidr.ipkg"
+packagePath = false
+
+[db.pack]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "ac3403f5ab3c2b1a6eaf907ca16cbc42b0093cc7"
+ipkg        = "pack.ipkg"
+packagePath = false
+
+[db.pack-admin]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "ac3403f5ab3c2b1a6eaf907ca16cbc42b0093cc7"
+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      = "0fde36cf11c12a61edcfe09d585c5a60426bc706"
+ipkg        = "parser.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.parser-json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-parser"
+commit      = "0fde36cf11c12a61edcfe09d585c5a60426bc706"
+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      = "0fde36cf11c12a61edcfe09d585c5a60426bc706"
+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      = "0fde36cf11c12a61edcfe09d585c5a60426bc706"
+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      = "0fde36cf11c12a61edcfe09d585c5a60426bc706"
+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      = "0fde36cf11c12a61edcfe09d585c5a60426bc706"
+ipkg        = "webidl/parser-webidl.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.pg]
+type        = "github"
+url         = "https://git.sr.ht/~janus/pg"
+commit      = "891cdb4aa001e3bee7c356eca15ad6f849e7719f"
+ipkg        = "pg.ipkg"
+packagePath = false
+
+[db.pg-idris]
+type        = "github"
+url         = "https://github.com/mattpolzin/pg-idris"
+commit      = "75b931004f98043125754dfc84361c1fef2cf4b7"
+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.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      = "1ee13ea0abbe8f075112fa0105102eb41216f403"
+ipkg        = "pretty-show.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.prim]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-prim"
+commit      = "d470999c8e446607b3f6c729709ea665213dc5bd"
+ipkg        = "prim.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.profiler]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-profiler"
+commit      = "4a9d1ba4f7fdf9b208f106686a36445bb75cdb9c"
+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      = "5e4672e31851f70a4673fdde824b988c1ed6b890"
+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      = "1298a35a52a9c86d854d0cfea73c8281632cd749"
+ipkg        = "racket-tcp.ipkg"
+packagePath = false
+
+[db.random-pure]
+type        = "github"
+url         = "https://github.com/buzden/idris2-random-pure"
+commit      = "74d671c8e8b6e73dcb819885bfd3ccecc9c8809f"
+ipkg        = "random-pure.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.refined]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "991876f2bd8de8bea920c9738f1d66775cb7e6bb"
+ipkg        = "refined.ipkg"
+packagePath = false
+
+[db.refined-json]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-refined"
+commit      = "991876f2bd8de8bea920c9738f1d66775cb7e6bb"
+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      = "991876f2bd8de8bea920c9738f1d66775cb7e6bb"
+ipkg        = "tsv/refined-tsv.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.rhone]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rhone"
+commit      = "e4ced59892d4188b0f9a0a04407afe520261842d"
+ipkg        = "rhone.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.rhone-js]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rhone-js"
+commit      = "42f6d053e586f46f75199d5fd2ab328789f5b254"
+ipkg        = "rhone-js.ipkg"
+packagePath = false
+
+[db.rio]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-rio"
+commit      = "c34de47d711adf75cd5a565af00b02298cb168ef"
+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      = "050dc401257bc521bd171dbdff9728f32909e0d4"
+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      = "c696a6343e7dc4ebfe9e5d62d2ec7b892e35287b"
+ipkg        = "summary-stat.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.tailrec]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-tailrec"
+commit      = "4ad241ed74701d436538a465a2345850a5725b89"
+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.utf8]
+type        = "github"
+url         = "https://git.sr.ht/~janus/utf8"
+commit      = "a9946b2f852069195b4b3afe2fe22d1ee69d548e"
+ipkg        = "utf8.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.web-server-racket]
+type        = "github"
+url         = "https://git.sr.ht/~janus/web-server-racket"
+commit      = "dc47b48f596c97b60807367e36c53e9e628eff75"
+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      = "1f00b715e31781cc076edf3dee9658ce8a2cf22d"
+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