From 2cb88f6a5ba310f0f70ca4752611bc5866ef3e61 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 11 Dec 2023 22:15:15 +0000
Subject: [PATCH] [ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/7173378832
---
 collections/nightly-231211.toml | 928 ++++++++++++++++++++++++++++++++
 1 file changed, 928 insertions(+)
 create mode 100644 collections/nightly-231211.toml

diff --git a/collections/nightly-231211.toml b/collections/nightly-231211.toml
new file mode 100644
index 000000000..a306e8003
--- /dev/null
+++ b/collections/nightly-231211.toml
@@ -0,0 +1,928 @@
+[idris2]
+url     = "https://github.com/idris-lang/Idris2"
+version = "0.6.0"
+commit  = "eddcbcdc759c09ec88cef1e8124d737fd240db33"
+
+[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      = "ef1a44de18b0e8de871e47ec6ee2a3197b43a1c8"
+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.base64]
+type        = "github"
+url         = "https://git.sr.ht/~janus/base64"
+commit      = "886d93952ac87f3a091765d2680fa731624d0ef3"
+ipkg        = "base64.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.bounded-doubles]
+type        = "github"
+url         = "https://github.com/buzden/idris2-bounded-doubles"
+commit      = "6374dd2a25408750563fbeabae82f03bfaf50df8"
+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      = "6374dd2a25408750563fbeabae82f03bfaf50df8"
+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      = "2fc738c54f8298338d729489b1c87a4f86f4edcb"
+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.containers]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-containers"
+commit      = "b99c3539e2c2f71dd6a4151ce8ef5de8a2f7492f"
+ipkg        = "containers.ipkg"
+packagePath = false
+
+[db.coop]
+type        = "github"
+url         = "https://github.com/buzden/idris2-coop"
+commit      = "3f7fe65db8887de2a6b137952805f5c86202db2a"
+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      = "73909b397b8533d1e54967491a85586e67751519"
+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      = "2fc2d188640ce6822b5e250db73b62f5a952ca4d"
+ipkg        = "elab-pretty.ipkg"
+packagePath = false
+
+[db.elab-util]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-elab-util"
+commit      = "2fc2d188640ce6822b5e250db73b62f5a952ca4d"
+ipkg        = "elab-util.ipkg"
+packagePath = false
+
+[db.filepath]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-filepath"
+commit      = "eac02d51b631633f32330c788bcebeb24221fa09"
+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      = "0d41b98f83f3707deb0ffbc595ef36b7d9cb9eab"
+ipkg        = "getopts.ipkg"
+packagePath = false
+
+[db.golden-runner-helper]
+type        = "github"
+url         = "https://github.com/buzden/idris2-golden-runner-helper"
+commit      = "e0be14eb1e00403df7e8e9e64e70a17009e78b4f"
+ipkg        = "golden-runner-helper.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.graph]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-graph"
+commit      = "bdb5f924063fa5ba51df40a5982db9a525177c78"
+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      = "58f5a2d2c0a7bb082666d6ce668ee242185a52bf"
+ipkg        = "hashmap.ipkg"
+packagePath = false
+
+[db.hedgehog]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-hedgehog"
+commit      = "363d77d3fa58b9b4a8983e552ab0409ba5bc29de"
+ipkg        = "hedgehog.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.hmac]
+type        = "github"
+url         = "https://git.sr.ht/~janus/hmac"
+commit      = "732dd03510c5ec699868c4a01fe1646b28a65ecc"
+ipkg        = "hmac.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.http2]
+type        = "github"
+url         = "https://git.sr.ht/~janus/http2"
+commit      = "fea2612948335cf00ddda29181fcc18daeaa03e4"
+ipkg        = "http2.ipkg"
+packagePath = false
+
+[db.idrall]
+type        = "github"
+url         = "https://github.com/alexhumphreys/idrall"
+commit      = "6deee6441ed49c10554c5ba1a0731135c3b1c786"
+ipkg        = "idrall.ipkg"
+packagePath = false
+
+[db.idris2-go]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "df808a698e20bfd18a78a6d933ce1d0248769bd2"
+ipkg        = "idris2-go.ipkg"
+packagePath = true
+
+[db.idris2-go-lib]
+type        = "github"
+url         = "https://github.com/kbertalan/idris2-go"
+commit      = "df808a698e20bfd18a78a6d933ce1d0248769bd2"
+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      = "526902b3a2e8e4f203df2cdd9ed26cf5556eeab4"
+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      = "9eb182ae5edd19d66317e1326a8166d791a833b2"
+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      = "482bfd220fa918e46180ed239cdeda5c8d445fd6"
+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      = "2e54a37ed3c35c2d12c8927c923ad253355812a8"
+ipkg        = "json.ipkg"
+packagePath = false
+test        = "test/test.ipkg"
+
+[db.json-simple]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-json"
+commit      = "2e54a37ed3c35c2d12c8927c923ad253355812a8"
+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      = "63964db7d4b8d941445d4fd9aa3c453102b3632f"
+ipkg        = "lana.ipkg"
+packagePath = false
+
+[db.lens]
+type        = "github"
+url         = "https://github.com/kiana-S/idris2-lens"
+commit      = "a7152cd5823080c35392982abdb4a3bfafe2f81d"
+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      = "e22ad73cd484009c957d859ba9d48d55c9377b4d"
+ipkg        = "monocle.ipkg"
+packagePath = false
+
+[db.mtl-tuple-impls]
+type        = "github"
+url         = "https://github.com/buzden/idris2-mtl-tuple-impls"
+commit      = "543609efb2410787cced52fc3a4a00852bfa5d9f"
+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      = "bb0cdc067da0d8be7922e7eb016c3fccd93059cb"
+ipkg        = "pack.ipkg"
+packagePath = false
+
+[db.pack-admin]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-pack"
+commit      = "bb0cdc067da0d8be7922e7eb016c3fccd93059cb"
+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      = "785635145ce6bdb67690acb66d806c9ce9e3c03e"
+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      = "d07a7488759c264aa39b440d19d42edcc0a00468"
+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      = "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      = "41f543beb994476ea69aca868284479204aff088"
+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      = "543fa513206018ab152791e090746f09df551d76"
+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.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      = "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      = "5ceff1f9c764e93b7b8df404add9cfdc202f05c9"
+ipkg        = "spidr.ipkg"
+packagePath = false
+
+[db.sqlite3]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-sqlite3"
+commit      = "5f9de3e63723145f8f44a083767062fc0284f41c"
+ipkg        = "sqlite3.ipkg"
+packagePath = false
+
+[db.sqlite3-rio]
+type        = "github"
+url         = "https://github.com/stefan-hoeck/idris2-sqlite3"
+commit      = "5f9de3e63723145f8f44a083767062fc0284f41c"
+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.summary-stat]
+type        = "github"
+url         = "https://github.com/buzden/idris2-summary-stat"
+commit      = "16832d9a8843d0c8fa4e7f8defe54b7a28de0d76"
+ipkg        = "summary-stat.ipkg"
+packagePath = false
+test        = "tests/tests.ipkg"
+
+[db.swirl]
+type        = "github"
+url         = "https://github.com/buzden/idris2-swirl"
+commit      = "fec99add5df26add5db341380e742d02458585a7"
+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      = "e3004ea614b6d9e6e223f2a21dbc8c8b0bc7cbc0"
+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      = "2c71772e41045cc6d58b7a7cca3b938d0ac9cefa"
+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      = "b6b15e536c0ce2a03e8af594f0adad46ec15015d"
+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      = "c52080fb4630a699e3f1977b39c7dcd790033f5d"
+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      = "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