[idris2]
url     = "https://github.com/idris-lang/Idris2"
version = "0.6.0"
commit  = "298f91cf0a0357e86048ad05e8372322ffb4e0ef"

[db.algebra]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-algebra"
commit      = "1172ed5b4848c5e18f7bf5f9bb467bc3e1f6b7e9"
ipkg        = "algebra.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.ansi]
type        = "github"
url         = "https://github.com/idris-community/idris2-ansi"
commit      = "f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e"
ipkg        = "ansi.ipkg"
packagePath = false

[db.apache-mime-types]
type        = "github"
url         = "https://github.com/kbertalan/idris2-apache-mime-types"
commit      = "973de0e7224a25606eca25a1caf853b83925d36d"
ipkg        = "apache-mime-types.ipkg"
packagePath = false

[db.barbies]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-barbies"
commit      = "2a0c0634db86fc9db9f7729127d4de9228cf4bdc"
ipkg        = "barbies.ipkg"
packagePath = false

[db.bounded-doubles]
type        = "github"
url         = "https://github.com/buzden/idris2-bounded-doubles"
commit      = "54162ac158fc2ddf89f70b7069c2930f503530a2"
ipkg        = "bounded-doubles.ipkg"
packagePath = false
test        = "tests/library-tests.ipkg"

[db.bounded-doubles-hedgehog-generators]
type        = "github"
url         = "https://github.com/buzden/idris2-bounded-doubles"
commit      = "54162ac158fc2ddf89f70b7069c2930f503530a2"
ipkg        = "hedgehog-generators.ipkg"
packagePath = false
test        = "tests/generators-tests.ipkg"

[db.bytestring]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-bytestring"
commit      = "32d04ab1ca362cb110bc5824d75559457b41f6ad"
ipkg        = "bytestring.ipkg"
packagePath = false

[db.cheerio]
type        = "github"
url         = "https://github.com/running-grass/idris2-playground"
commit      = "0dacfd81b49749d68a5fd905e95c860fdab072ab"
ipkg        = "cheerio/cheerio.ipkg"
packagePath = false

[db.collie]
type        = "github"
url         = "https://github.com/ohad/collie"
commit      = "46bff04a8d9a1598fec9b19f515541df16dc64ef"
ipkg        = "collie.ipkg"
packagePath = false

[db.comonad]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-comonad"
commit      = "38f4b26f6a7b58f173ab1924486e887d40042ddd"
ipkg        = "comonad.ipkg"
packagePath = false

[db.coop]
type        = "github"
url         = "https://github.com/buzden/idris2-coop"
commit      = "345d14060a11012e2bd7d058171c155aaefcb819"
ipkg        = "coop.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.crypt]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-crypt"
commit      = "63f68a007a059831b340ad39e45528b329d383fb"
ipkg        = "crypt.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.dinwiddy]
type        = "github"
url         = "https://github.com/bobbbay/dinwiddy"
commit      = "61a81c55e48e4b7b551fb7493d623cb7659a37ce"
ipkg        = "dinwiddy.ipkg"
packagePath = false

[db.distribution]
type        = "github"
url         = "https://github.com/idris-bayes/distribution"
commit      = "bced45ab5367184c8a4d88ce695c9a4714c34c98"
ipkg        = "distribution.ipkg"
packagePath = false

[db.dom]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-dom"
commit      = "9b68ee497679cd1a7f085f22901506a62f33f13f"
ipkg        = "dom.ipkg"
packagePath = false

[db.dot-gv]
type        = "github"
url         = "https://github.com/CodingCellist/idris2-dot-parse"
commit      = "74a149e0c351f85a68e9789a3b7aa922a36e6e16"
ipkg        = "dot-parse.ipkg"
packagePath = false

[db.eff]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-eff"
commit      = "51a0bf19d7eeebda3706d8562d32127bf8108559"
ipkg        = "eff.ipkg"
packagePath = false

[db.effect]
type        = "github"
url         = "https://github.com/Russoul/Idris2-Effect"
commit      = "b76dce14b79a5f743243a294c3474c6f113f8e3a"
ipkg        = "effect.ipkg"
packagePath = false

[db.elab-pretty]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-elab-util"
commit      = "966a2f87c92b043d54b3710d3e86ad3667a8d615"
ipkg        = "elab-pretty.ipkg"
packagePath = false

[db.elab-util]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-elab-util"
commit      = "966a2f87c92b043d54b3710d3e86ad3667a8d615"
ipkg        = "elab-util.ipkg"
packagePath = false

[db.filepath]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-filepath"
commit      = "4f25bf8009cd826d08a55e0e021de83099e107f0"
ipkg        = "filepath.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.finite]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-finite"
commit      = "5d9a9de5466030f3ffc5a0c2ad4ef647bc882a30"
ipkg        = "finite.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.fix-whitespace]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris-fix-whitespace"
commit      = "9e719d201ceea41cc953e803bbf848f8ed03e2fe"
ipkg        = "fix-whitespace.ipkg"
packagePath = false

[db.free]
type        = "github"
url         = "https://github.com/idris-bayes/free"
commit      = "809e1450094eab85a64f926967f8b056402291d6"
ipkg        = "free.ipkg"
packagePath = false

[db.freer]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-freer"
commit      = "481c19535a020166d9babd5f5156161e4dbce4ba"
ipkg        = "freer.ipkg"
packagePath = false

[db.fvect]
type        = "github"
url         = "https://github.com/mattpolzin/idris-fvect"
commit      = "d84969fce38ff8a10b9d261458f4d495e6e0f1ca"
ipkg        = "fvect.ipkg"
packagePath = false

[db.game-2048]
type        = "github"
url         = "https://github.com/running-grass/idris2-playground"
commit      = "0dacfd81b49749d68a5fd905e95c860fdab072ab"
ipkg        = "game-2048/game-2048.ipkg"
packagePath = false

[db.getopts]
type        = "github"
url         = "https://github.com/idris-community/idris2-getopts"
commit      = "9fccb8f31c0ae18f4e07c81f110192a0e2b6e0bb"
ipkg        = "getopts.ipkg"
packagePath = false

[db.golden-runner-helper]
type        = "github"
url         = "https://github.com/buzden/idris2-golden-runner-helper"
commit      = "e1c056e212a4f0e22b37c65177c2586b9efed67e"
ipkg        = "golden-runner-helper.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.graph]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-graph"
commit      = "72eb03d416522b9a476e7a010b03e77dc85437d8"
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      = "a071ce8708d4f4e59455669c79885b6ddc6e41b9"
ipkg        = "hedgehog.ipkg"
packagePath = false

[db.idrall]
type        = "github"
url         = "https://github.com/alexhumphreys/idrall"
commit      = "62a455894b1db5134c8b56d31aadb31d483a4b2c"
ipkg        = "idrall.ipkg"
packagePath = false

[db.idris2-go]
type        = "github"
url         = "https://github.com/kbertalan/idris2-go"
commit      = "657fa76b41f2a5990138b9202dc3c7d07e8c0bc8"
ipkg        = "idris2-go.ipkg"
packagePath = true

[db.idris2-go-lib]
type        = "github"
url         = "https://github.com/kbertalan/idris2-go"
commit      = "657fa76b41f2a5990138b9202dc3c7d07e8c0bc8"
ipkg        = "idris2-go-lib.ipkg"
packagePath = false
test        = "tests/libtests.ipkg"

[db.idrisGL]
type        = "github"
url         = "https://github.com/ECburx/Idris2GL"
commit      = "3ed89f3116569260d766d14908cba9debbcea9ff"
ipkg        = "idrisGL.ipkg"
packagePath = false

[db.if-unsolved-implicit]
type        = "github"
url         = "https://github.com/buzden/idris2-if-unsolved-implicit"
commit      = "ca68ca72da60f538beb315c424091f4708a114c5"
ipkg        = "if-unsolved-implicit.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.indexed]
type        = "github"
url         = "https://github.com/mattpolzin/idris-indexed"
commit      = "6a10e418ef2dcdef66f8de7ee9e29edd1aa7c179"
ipkg        = "indexed.ipkg"
packagePath = false

[db.js]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-dom"
commit      = "9b68ee497679cd1a7f085f22901506a62f33f13f"
ipkg        = "js/js.ipkg"
packagePath = false

[db.json]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-json"
commit      = "3ad17e991edfb6052da3efab373d18530da5e3c2"
ipkg        = "json.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.json-simple]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-json"
commit      = "3ad17e991edfb6052da3efab373d18530da5e3c2"
ipkg        = "simple/json-simple.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.katla]
type        = "github"
url         = "https://github.com/idris-community/katla"
commit      = "6897c710c970f2177eb86ee2c88084ef5c0ea21c"
ipkg        = "katla.ipkg"
packagePath = false

[db.lens]
type        = "github"
url         = "https://github.com/kiana-S/idris2-lens"
commit      = "e1da48721e42e0f7cf1c425102a6542b702ec2bc"
ipkg        = "lens.ipkg"
packagePath = false

[db.log-domain]
type        = "github"
url         = "https://github.com/idris-bayes/log-domain"
commit      = "7eb33c36fb411b3e9dc43e0c5ad5d8f2f3dae80e"
ipkg        = "log-domain.ipkg"
packagePath = false

[db.lsp]
type        = "github"
url         = "https://github.com/idris-community/idris2-lsp"
commit      = "500f4a989c9583678230bf28a9f7b6a79f6be618"
ipkg        = "lsp.ipkg"
packagePath = true

[db.markdown]
type        = "github"
url         = "https://github.com/running-grass/idris2-markdown"
commit      = "38334267cbbe0ed067320d2e8bec36b08f475f5a"
ipkg        = "markdown.ipkg"
packagePath = false

[db.matrix]
type        = "github"
url         = "https://github.com/running-grass/idris2-playground"
commit      = "0dacfd81b49749d68a5fd905e95c860fdab072ab"
ipkg        = "matrix/matrix.ipkg"
packagePath = false

[db.mtl-tuple-impls]
type        = "github"
url         = "https://github.com/buzden/idris2-mtl-tuple-impls"
commit      = "101fa0ccbd0fbfbe4807a6eb871b639740cbe6e8"
ipkg        = "mtl-tuple-impls.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.multiplate]
type        = "github"
url         = "https://github.com/Z-snails/multiplate-idr"
commit      = "601d865f1fc74b783879b50d17ffd2a949def902"
ipkg        = "multiplate.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.node]
type        = "github"
url         = "https://github.com/kbertalan/idris2-node"
commit      = "917e6cb32b1ba6e171170b4d713acaff1fea79d6"
ipkg        = "node.ipkg"
packagePath = false

[db.pack]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-pack"
commit      = "c52b9397a6a9e6fb6fc63000f9080df052d9f1ee"
ipkg        = "pack.ipkg"
packagePath = false

[db.pack-admin]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-pack"
commit      = "c52b9397a6a9e6fb6fc63000f9080df052d9f1ee"
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      = "72cda7b9eee7e03689e4c8c485a3c377d5674eaf"
ipkg        = "parser.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.parser-json]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-parser"
commit      = "72cda7b9eee7e03689e4c8c485a3c377d5674eaf"
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      = "72cda7b9eee7e03689e4c8c485a3c377d5674eaf"
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      = "72cda7b9eee7e03689e4c8c485a3c377d5674eaf"
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      = "72cda7b9eee7e03689e4c8c485a3c377d5674eaf"
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      = "72cda7b9eee7e03689e4c8c485a3c377d5674eaf"
ipkg        = "webidl/parser-webidl.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.pg-idris]
type        = "github"
url         = "https://github.com/mattpolzin/pg-idris"
commit      = "75b931004f98043125754dfc84361c1fef2cf4b7"
ipkg        = "pg-idris.ipkg"
packagePath = false

[db.prettier]
type        = "github"
url         = "https://github.com/Z-snails/prettier"
commit      = "e82c3ce9f879aa239b532b1b5f4a2b7e25ca4541"
ipkg        = "prettier.ipkg"
packagePath = false

[db.prettier-ansi]
type        = "github"
url         = "https://github.com/idris-community/idris2-ansi"
commit      = "f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e"
ipkg        = "prettier/prettier-ansi.ipkg"
packagePath = false

[db.pretty-show]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-pretty-show"
commit      = "7f2697de15c28ba2cdcaa09fd4733dcc8eb3c2a3"
ipkg        = "pretty-show.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.prim]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-prim"
commit      = "80a7c46d5f40ea41f8662a3a601e3eb4a23beb60"
ipkg        = "prim.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.profiler]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-profiler"
commit      = "7247cae9a8f4fb13e39e81dcae6f4a1e7c4c3d00"
ipkg        = "profiler.ipkg"
packagePath = false

[db.profunctors]
type        = "github"
url         = "https://github.com/kiana-S/idris2-profunctors"
commit      = "e862ef887f9dcdf90eacb1ca1c0a997d7a251135"
ipkg        = "profunctors.ipkg"
packagePath = false

[db.promise]
type        = "github"
url         = "https://github.com/kbertalan/idris2-promise"
commit      = "0b1716525ee10ed3a4f0d7132107c83e88f8eb99"
ipkg        = "promise.ipkg"
packagePath = false

[db.quantifiers-extra]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-quantifiers-extra"
commit      = "0bd29837979d8dba034766d197f0ac8c351b0c68"
ipkg        = "quantifiers-extra.ipkg"
packagePath = false

[db.random-pure]
type        = "github"
url         = "https://github.com/buzden/idris2-random-pure"
commit      = "f989b072731ae2e6f2dc8cd79537d2610465e059"
ipkg        = "random-pure.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.refined]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-refined"
commit      = "4c7a684498f64f3da0ab7b0b92a1f3825cd60e86"
ipkg        = "refined.ipkg"
packagePath = false

[db.refined-json]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-refined"
commit      = "4c7a684498f64f3da0ab7b0b92a1f3825cd60e86"
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      = "4c7a684498f64f3da0ab7b0b92a1f3825cd60e86"
ipkg        = "tsv/refined-tsv.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.rhone]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-rhone"
commit      = "28ca640a75064fb2bb19869b1f647a958e3451df"
ipkg        = "rhone.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.rhone-js]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-rhone-js"
commit      = "2f4f80aa32d60142349672019e9186eea91bcf1e"
ipkg        = "rhone-js.ipkg"
packagePath = false

[db.rio]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-rio"
commit      = "6969d06052a593b375e5d7aab2cbd02ad6a20112"
ipkg        = "rio.ipkg"
packagePath = false
test        = "test.ipkg"

[db.snocvect]
type        = "github"
url         = "https://github.com/mattpolzin/idris-snocvect"
commit      = "f6148c3d06c7a9989062a2425f925fc844468215"
ipkg        = "snocvect.ipkg"
packagePath = false

[db.sop]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-sop"
commit      = "0726a1154b55ba0cefb885962a726c847b3d8d43"
ipkg        = "sop.ipkg"
packagePath = false

[db.spidr]
type        = "github"
url         = "https://github.com/joelberkeley/spidr"
commit      = "8b9cb1adcf165b3b017c63e2abff8407aa191fa4"
ipkg        = "spidr.ipkg"
packagePath = false

[db.string-builder]
type        = "github"
url         = "https://github.com/Z-snails/string-builder"
commit      = "6dfb5e0070274ead1b8fd4e1229b5254da7ddd15"
ipkg        = "string-builder.ipkg"
packagePath = false
test        = "test/test.ipkg"

[db.summary-stat]
type        = "github"
url         = "https://github.com/buzden/idris2-summary-stat"
commit      = "412269d6e0d1c23419ee65923276363e94fd5ded"
ipkg        = "summary-stat.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.tailrec]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-tailrec"
commit      = "d3747284c7e80a711464ec4b1a7976bcf39dd6f2"
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      = "9b044f9e393a15ab4b04e9f56dd9fec248a3cdd1"
ipkg        = "typelevel-emptiness-collections.ipkg"
packagePath = false
test        = "tests/tests.ipkg"

[db.tyre]
type        = "github"
url         = "https://github.com/kasiaMarek/TyRE"
commit      = "d6d6f65f4e2d07db6ca1dacf23887b9e823688a9"
ipkg        = "tyre.ipkg"
packagePath = false

[db.tyttp]
type        = "github"
url         = "https://github.com/kbertalan/tyttp"
commit      = "35e080bd2c81050920e03ded29e7807d8dfbbe23"
ipkg        = "tyttp.ipkg"
packagePath = false

[db.tyttp-json]
type        = "github"
url         = "https://github.com/kbertalan/tyttp-json"
commit      = "ecaf5306c8ec4186e932249435f48e16b0a75729"
ipkg        = "tyttp-json.ipkg"
packagePath = false

[db.uniplate]
type        = "github"
url         = "https://github.com/Z-snails/uniplate-idr"
commit      = "caac354759a62a52596b6f77971327e17ff81c0f"
ipkg        = "uniplate.ipkg"
packagePath = false

[db.url]
type        = "github"
url         = "https://github.com/running-grass/idris2-url"
commit      = "4587b14fbe7752c4aad5aac045e19088ec2e4108"
ipkg        = "url.ipkg"
packagePath = false

[db.webidl]
type        = "github"
url         = "https://github.com/stefan-hoeck/idris2-webidl"
commit      = "8087ea4a4a6b09fb54e8156c14a0c1789149ca1a"
ipkg        = "webidl.ipkg"
packagePath = false

[db.xml]
type        = "github"
url         = "https://github.com/madman-bob/idris2-xml"
commit      = "bfb02ff5c195218de7d33ed0ee9e6a26c60c0f0b"
ipkg        = "xml.ipkg"
packagePath = false