From b1fb2da65357c810e4b08594da987d7a2e0535f0 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sun, 29 Sep 2024 10:37:17 +0000 Subject: [PATCH] [ test ] CI test https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/11091694305 --- .test/STATUS.md | 62 +- .test/nightly-240929.toml | 1145 +++++++++++++++++++++++++++++++++++++ 2 files changed, 1178 insertions(+), 29 deletions(-) create mode 100644 .test/nightly-240929.toml diff --git a/.test/STATUS.md b/.test/STATUS.md index 65d1599c4..858c91213 100644 --- a/.test/STATUS.md +++ b/.test/STATUS.md @@ -2,7 +2,7 @@ | Compiler | Version | Commit | | --- | --- | --- | -| [Idris2](https://github.com/idris-lang/Idris2) | 0.7.0 | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | +| [Idris2](https://github.com/idris-lang/Idris2) | 0.7.0 | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | ## Building Packages @@ -12,10 +12,10 @@ | [algebra](https://github.com/stefan-hoeck/idris2-algebra) | Lawful algebraic structures | BSD-3 Clause | [829f44b](https://github.com/stefan-hoeck/idris2-algebra/commit/829f44b7fd961e3f0a7ad9174b395f97ebc33336) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/algebra/docs/index.html) | | [ansi](https://github.com/idris-community/idris2-ansi) | ANSI terminal escape sequences | BSD-3 Clause | [f3cac49](https://github.com/idris-community/idris2-ansi/commit/f3cac49b50561c0182ce2d7d9bdc4de8000f5a3e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ansi/docs/index.html) | | [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 | | [43a7661](https://github.com/stefan-hoeck/idris2-array/commit/43a76617cc45109f04bf4ec91961879ddd7f0e07) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/array/docs/index.html) | +| [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays | | [199c967](https://github.com/stefan-hoeck/idris2-array/commit/199c967e9587a36d1c45e56c5a3428a7050f5a7b) | 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 | | [e43cc7b](https://github.com/stefan-hoeck/idris2-async/commit/e43cc7b640ed615d4f290f7f780d833006cde056) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async/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) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base/docs/index.html) | +| [base](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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 | [923d820](https://github.com/buzden/idris2-best-alternative/commit/923d8209600ef70fe98cba313e8a07f401c897d5) | 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 | [42be301](https://github.com/buzden/idris2-bounded-doubles/commit/42be3013ede7aad9807b0b3ecc759deeb1f0c658) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles/docs/index.html) | @@ -26,19 +26,19 @@ | [cheerio](https://github.com/running-grass/idris2-playground) | A cheerio binding for nodejs. provide css selector and attr getter. | | [0dacfd8](https://github.com/running-grass/idris2-playground/commit/0dacfd81b49749d68a5fd905e95c860fdab072ab) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cheerio/docs/index.html) | | [chem](https://github.com/stefan-hoeck/idris2-chem) | Pure functional cheminformatics in Idris | | [ab06f53](https://github.com/stefan-hoeck/idris2-chem/commit/ab06f53f11885b1976143f18a5494b2e7678d918) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/chem/docs/index.html) | | [chem-generators](https://github.com/stefan-hoeck/idris2-chem) | Hedgehog generators for data types in the chem library | | [ab06f53](https://github.com/stefan-hoeck/idris2-chem/commit/ab06f53f11885b1976143f18a5494b2e7678d918) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/chem-generators/docs/index.html) | -| [collection-utils](https://github.com/buzden/idris2-collection-utils) | Non-standard functions for standard Idris 2 collections | Apache-2.0 | [ff239e6](https://github.com/buzden/idris2-collection-utils/commit/ff239e69db8e2df1657009628e4d6b6fe01cb738) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collection-utils/docs/index.html) | +| [collection-utils](https://github.com/buzden/idris2-collection-utils) | Non-standard functions for standard Idris 2 collections | Apache-2.0 | [48a3300](https://github.com/buzden/idris2-collection-utils/commit/48a3300dad6082b8aa28aab3dcafe3ff7073dd5d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collection-utils/docs/index.html) | | [collie](https://github.com/ohad/collie) | | | [a35498d](https://github.com/ohad/collie/commit/a35498d8d5d24ae677458aa0b54afeea0c8b7198) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/collie/docs/index.html) | | [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) | Basic Tree and Queue data structures | | [b99c353](https://github.com/stefan-hoeck/idris2-containers/commit/b99c3539e2c2f71dd6a4151ce8ef5de8a2f7492f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/containers/docs/index.html) | -| [contrib](https://github.com/idris-lang/Idris2) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/contrib/docs/index.html) | +| [containers](https://github.com/stefan-hoeck/idris2-containers) | Basic Tree and Queue data structures | | [1d4d462](https://github.com/stefan-hoeck/idris2-containers/commit/1d4d46256a7021d63bbf5fc9a8e32dfeaa9f32c1) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/containers/docs/index.html) | +| [contrib](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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 | [4646130](https://github.com/buzden/idris2-coop/commit/46461308c80c6f9dc60fa3581db8c5e7282bd780) | 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 | [6595b0e](https://github.com/buzden/idris2-cozippable/commit/6595b0e359fd207ba0feef15902107e878ecce65) | 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 | | [6c0416b](https://github.com/stefan-hoeck/idris2-cptr/commit/6c0416b73c7cca17ab67b53be26d51ba1636bba2) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cptr/docs/index.html) | +| [cozippable](https://github.com/buzden/idris2-cozippable) | Cozippable interface and implementations | Apache-2.0 | [ceaf178](https://github.com/buzden/idris2-cozippable/commit/ceaf178d9f2aa864f9ddedc7d4d5b059d69ed9be) | 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 | | [155e90c](https://github.com/stefan-hoeck/idris2-cptr/commit/155e90ceae551e0468678874a9c9556078a088d4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cptr/docs/index.html) | | [crypt](https://github.com/stefan-hoeck/idris2-crypt) | FFI bindings to the crypt C-library used for passphrase hashing | BSD-3 Clause | [15866ef](https://github.com/stefan-hoeck/idris2-crypt/commit/15866ef4869d29873fa734a2732805ca415aad3e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/crypt/docs/index.html) | | [cyby-draw](https://github.com/stefan-hoeck/idris2-cyby-draw) | A drawing tool for molecules running in the browser | | [0df06cf](https://github.com/stefan-hoeck/idris2-cyby-draw/commit/0df06cfd26b94ec55314a60d07de57895c589df3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cyby-draw/docs/index.html) | | [dependent-vect](https://github.com/buzden/idris2-dependent-vect) | Vector data type with type of elements dependent on the index value | Apache-2.0 | [606a39f](https://github.com/buzden/idris2-dependent-vect/commit/606a39f137a2905a73ef36bb2d9deba4d71f0b85) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dependent-vect/docs/index.html) | -| [deptycheck](https://github.com/buzden/deptycheck) | Property-based testing with dependent types | MPL-2.0 | [d050157](https://github.com/buzden/deptycheck/commit/d0501572ba84b226acfbb19a4b27a7c1bffdaad6) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/deptycheck/docs/index.html) | +| [deptycheck](https://github.com/buzden/deptycheck) | Property-based testing with dependent types | MPL-2.0 | [f376dea](https://github.com/buzden/deptycheck/commit/f376dea67c96f4f803884b610a41d38aa3271377) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/deptycheck/docs/index.html) | | [dinwiddy](https://github.com/bobbbay/dinwiddy) | | | [61a81c5](https://github.com/bobbbay/dinwiddy/commit/61a81c55e48e4b7b551fb7493d623cb7659a37ce) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dinwiddy/docs/index.html) | | [distribution](https://github.com/idris-bayes/distribution) | An FFI for statistical distributions from the GSL C library. | The BSD 3-Clause License | [bced45a](https://github.com/idris-bayes/distribution/commit/bced45ab5367184c8a4d88ce695c9a4714c34c98) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/distribution/docs/index.html) | | [dom](https://github.com/stefan-hoeck/idris2-dom) | Extensive DOM and web bindings for Idris2 | | [67d0047](https://github.com/stefan-hoeck/idris2-dom/commit/67d0047557fa41a654d14b2f9d5f2f1353e07458) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dom/docs/index.html) | @@ -50,8 +50,8 @@ | [elab-pretty](https://github.com/stefan-hoeck/idris2-elab-util) | Pretty printing TTImp and friends, plus auto-deriving pretty printers | BSD-2 Clause | [4ee05e5](https://github.com/stefan-hoeck/idris2-elab-util/commit/4ee05e54b80986f05ee5a79e16cb51d4ef6cfb65) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elab-pretty/docs/index.html) | | [elab-util](https://github.com/stefan-hoeck/idris2-elab-util) | Utilities and documentation for working with elaborator reflection | BSD-2 Clause | [4ee05e5](https://github.com/stefan-hoeck/idris2-elab-util/commit/4ee05e54b80986f05ee5a79e16cb51d4ef6cfb65) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/elab-util/docs/index.html) | | [epoll](https://github.com/stefan-hoeck/idris2-epoll) | epoll bindings in Idris2: polling pipes and sockets in Linux | BSD-3 Clause | [d136549](https://github.com/stefan-hoeck/idris2-epoll/commit/d136549ddf1aa1d8aa8e3c18907c11db85c88781) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/epoll/docs/index.html) | -| [filepath](https://github.com/stefan-hoeck/idris2-filepath) | Unix style file paths | BSD-3 Clause | [63dab63](https://github.com/stefan-hoeck/idris2-filepath/commit/63dab635a40fd1ee19c07cd789c9099b357d92d1) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/filepath/docs/index.html) | -| [fin-lizzie](https://github.com/buzden/idris2-fin-lizzie) | Useful stuff for `Fin` data type | Apache-2.0 | [04a916a](https://github.com/buzden/idris2-fin-lizzie/commit/04a916ad665787a9ef509e787b7bbc36cadaa74e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fin-lizzie/docs/index.html) | +| [filepath](https://github.com/stefan-hoeck/idris2-filepath) | Unix style file paths | BSD-3 Clause | [2d3196c](https://github.com/stefan-hoeck/idris2-filepath/commit/2d3196cb8fd4e24f7555e74bc9c2a1564c718550) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/filepath/docs/index.html) | +| [fin-lizzie](https://github.com/buzden/idris2-fin-lizzie) | Useful stuff for `Fin` data type | Apache-2.0 | [985d572](https://github.com/buzden/idris2-fin-lizzie/commit/985d572b66ea8dffac55d4d7c335460fb223d318) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fin-lizzie/docs/index.html) | | [finite](https://github.com/stefan-hoeck/idris2-finite) | A derivable interface for types with a finite number of inhabitants | | [5d9a9de](https://github.com/stefan-hoeck/idris2-finite/commit/5d9a9de5466030f3ffc5a0c2ad4ef647bc882a30) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/finite/docs/index.html) | | [fix-whitespace](https://github.com/stefan-hoeck/idris-fix-whitespace) | A small app for fixing whitespace issues in source files | | [ec8d82a](https://github.com/stefan-hoeck/idris-fix-whitespace/commit/ec8d82a88cc12a787e0c81b9ce4d85d90f6291ee) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/fix-whitespace/docs/index.html) | | [free](https://github.com/idris-bayes/free) | An encoding of free monads and free monad transformers | The BSD 3-Clause License | [809e145](https://github.com/idris-bayes/free/commit/809e1450094eab85a64f926967f8b056402291d6) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/free/docs/index.html) | @@ -64,18 +64,19 @@ | [hash](https://git.sr.ht/~janus/hash) | Abstract record data type for cryptographic hashing algorithms using e.g. Merkle-Damgård or sponge constructions. Provides `Data.Cryptography.Hash`. See `sha` for implementations. | BSD-3 Clause | [8e2ea1b](https://git.sr.ht/~janus/hash/commit/8e2ea1bcba720a47fca30fb81c896f7464633149) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hash/docs/index.html) | | [hashable](https://github.com/Z-snails/Idris2-hashable) | | | [5615bd4](https://github.com/Z-snails/Idris2-hashable/commit/5615bd4627fedcb6122e902ea3d4d18575459ceb) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashable/docs/index.html) | | [hashmap](https://github.com/Z-snails/idris2-hashmap) | | | [5c3e42c](https://github.com/Z-snails/idris2-hashmap/commit/5c3e42ce1a85b04dca1105c2513299404c8427e3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hashmap/docs/index.html) | -| [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | A property based testing library with integrated shrinking | | [e1224cf](https://github.com/stefan-hoeck/idris2-hedgehog/commit/e1224cfb6171320d8e55c1f74f877bfa595d3e94) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hedgehog/docs/index.html) | +| [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | A property based testing library with integrated shrinking | | [87d3bf9](https://github.com/stefan-hoeck/idris2-hedgehog/commit/87d3bf91c04e5bde2063308855d1e983242d8f29) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hedgehog/docs/index.html) | | [hmac](https://git.sr.ht/~janus/hmac) | Hashed Message Authentication Code (HMAC). Provides `Data.Cryptography.HMAC`. Used in e.g. the `scram` package. | BSD-3 Clause | [5c754a9](https://git.sr.ht/~janus/hmac/commit/5c754a914294b389a8cec2b5da4d7602bcc7b3b4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/hmac/docs/index.html) | +| [http](https://github.com/idris-community/idris2-http) | A http client implementation in idris2 | ISC (refer to LICENSE file) | [64d1279](https://github.com/idris-community/idris2-http/commit/64d1279898a15292d4531c7c6e2cfebb0d0b52d4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http/docs/index.html) | | [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 | [b43307c](https://github.com/buzden/idris2-i-hate-parens/commit/b43307cdb6b95e8fa8790b757fa74733f1489ab3) | 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 | | [6deee64](https://github.com/alexhumphreys/idrall/commit/6deee6441ed49c10554c5ba1a0731135c3b1c786) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrall/docs/index.html) | -| [idris2](https://github.com/idris-lang/Idris2) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2/docs/index.html) | +| [idris2](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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) | | | [3779670](https://github.com/idris-community/idris2-lsp/commit/377967035270c35a92bed3f19f7d042441111312) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-lsp/docs/index.html) | +| [idris2-lsp](https://github.com/idris-community/idris2-lsp) | | | [81e70d4](https://github.com/idris-community/idris2-lsp/commit/81e70d48b7428034b8bc1fa679838532232b5387) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-lsp/docs/index.html) | | [idrisGL](https://github.com/ECburx/Idris2GL) | | GPL-3.0 License | [44da085](https://github.com/ECburx/Idris2GL/commit/44da0855bc8b2cfdf796ba9557e8c500395a8c41) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrisGL/docs/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 | [4e5f871](https://github.com/buzden/idris2-if-unsolved-implicit/commit/4e5f87107aa73396dc2431d87589775c4bacdeca) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/if-unsolved-implicit/docs/index.html) | -| [indexed](https://github.com/mattpolzin/idris-indexed) | | | [d3fe9a1](https://github.com/mattpolzin/idris-indexed/commit/d3fe9a1d1aac2e269667e9d2bb44eac8bee6a013) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/indexed/docs/index.html) | +| [indexed](https://github.com/mattpolzin/idris-indexed) | | | [c99707f](https://github.com/mattpolzin/idris-indexed/commit/c99707f1db2efa2e97c465b16b525cb79b28f349) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/indexed/docs/index.html) | | [indexed-graph](https://github.com/stefan-hoeck/idris2-indexed-graph) | Array-backed, order indexed, sparse, simple graphs in Idris2 | BSD-3 Clause | [7ccad45](https://github.com/stefan-hoeck/idris2-indexed-graph/commit/7ccad4525fbd96df28a5e20e393f1f8ff0ab876b) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/indexed-graph/docs/index.html) | | [js](https://github.com/stefan-hoeck/idris2-dom) | Utilities for working with the JavaScript backends | | [67d0047](https://github.com/stefan-hoeck/idris2-dom/commit/67d0047557fa41a654d14b2f9d5f2f1353e07458) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/js/docs/index.html) | | [json](https://github.com/stefan-hoeck/idris2-json) | Derivable JSON marshallers for Idris2 | | [6fc9c0d](https://github.com/stefan-hoeck/idris2-json/commit/6fc9c0dc083ebf9b3caab5b179f50a5c8f1b4166) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/json/docs/index.html) | @@ -84,8 +85,8 @@ | [katla](https://github.com/idris-community/katla) | | | [13a4d14](https://github.com/idris-community/katla/commit/13a4d14dfc98b9daca97c50e2c58c36e005a36d5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/katla/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) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | 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 | | [d534afa](https://github.com/stefan-hoeck/idris2-linux/commit/d534afa44b79d5c42e4ec1edeb246c8a28cacbf1) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linux/docs/index.html) | +| [linear](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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 | | [d72c797](https://github.com/stefan-hoeck/idris2-linux/commit/d72c7975289a9fe4952efeab3b1fba079f22c59b) | 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) | | | [b54136b](https://github.com/idris-community/lsp-lib/commit/b54136be0656c5040397c5a83220b350ea3f29cc) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lsp-lib/docs/index.html) | | [markdown](https://github.com/running-grass/idris2-markdown) | A markdown parser for idris2 | MIT | [3833426](https://github.com/running-grass/idris2-markdown/commit/38334267cbbe0ed067320d2e8bec36b08f475f5a) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/markdown/docs/index.html) | @@ -95,12 +96,13 @@ | [mtl-tuple-impls](https://github.com/buzden/idris2-mtl-tuple-impls) | Tuple instances for the standard MTL interfaces | Apache-2.0 | [1181009](https://github.com/buzden/idris2-mtl-tuple-impls/commit/118100992b6b19fd2fe19a6b5849c58e28b1b490) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/mtl-tuple-impls/docs/index.html) | | [multiplate](https://github.com/Z-snails/multiplate-idr) | Generic traversals for mutually recursive data types | MIT | [601d865](https://github.com/Z-snails/multiplate-idr/commit/601d865f1fc74b783879b50d17ffd2a949def902) | 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 | [e4faae7](https://github.com/mattpolzin/ncurses-idris/commit/e4faae7df3867d2d546d220dd9f9889ecda3cf6e) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ncurses-idris/docs/index.html) | -| [network](https://github.com/idris-lang/Idris2) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/network/docs/index.html) | +| [network](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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 | | [baf9f01](https://github.com/kbertalan/idris2-node/commit/baf9f01935b52aacfc2f76549d43f59822d3ad10) | 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) | -| [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections | | [415dfda](https://github.com/stefan-hoeck/idris2-pack/commit/415dfda8909f68721241b8a121ca1aa481ad1ecf) | 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 | | [415dfda](https://github.com/stefan-hoeck/idris2-pack/commit/415dfda8909f68721241b8a121ca1aa481ad1ecf) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) | -| [papers](https://github.com/idris-lang/Idris2) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/papers/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 | | [fa686af](https://github.com/stefan-hoeck/idris2-pack/commit/fa686af45720d8117d06482cf5054280a7847142) | 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 | | [fa686af](https://github.com/stefan-hoeck/idris2-pack/commit/fa686af45720d8117d06482cf5054280a7847142) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) | +| [papers](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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) | @@ -114,12 +116,13 @@ | [pjrt-plugin-xla-cpu](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CPU. | Apache License, Version 2.0 | [d761892](https://github.com/joelberkeley/spidr/commit/d76189274c7bebc87d187ca1b53b6fa84f6511b7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pjrt-plugin-xla-cpu/docs/index.html) | | [pjrt-plugin-xla-cuda](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CUDA-enabled GPUs. | Apache License, Version 2.0 | [d761892](https://github.com/joelberkeley/spidr/commit/d76189274c7bebc87d187ca1b53b6fa84f6511b7) | 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 | [b9751d9](https://github.com/buzden/idris2-positive-nat/commit/b9751d9ca5e3b5cbe4f9d5bf581d24c29dee9b1f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/positive-nat/docs/index.html) | -| [prelude](https://github.com/idris-lang/Idris2) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) | +| [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls | | [d72c797](https://github.com/stefan-hoeck/idris2-linux/commit/d72c7975289a9fe4952efeab3b1fba079f22c59b) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) | +| [prelude](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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 | | [b8b0c2e](https://github.com/stefan-hoeck/idris2-pretty-show/commit/b8b0c2ec665bbe1c114fe150a6be7ade96a7e838) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pretty-show/docs/index.html) | | [prim](https://github.com/stefan-hoeck/idris2-prim) | Laws and utilities for working with primitives in Idris2 | BSD-3 Clause | [a875bbe](https://github.com/stefan-hoeck/idris2-prim/commit/a875bbe1f11638946383b80eaf27bc471e56e341) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prim/docs/index.html) | -| [profiler](https://github.com/stefan-hoeck/idris2-profiler) | A simple profiling utility for Idris 2 | BSD-3 Clause | [4a9d1ba](https://github.com/stefan-hoeck/idris2-profiler/commit/4a9d1ba4f7fdf9b208f106686a36445bb75cdb9c) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profiler/docs/index.html) | +| [profiler](https://github.com/stefan-hoeck/idris2-profiler) | A simple profiling utility for Idris 2 | BSD-3 Clause | [2f7982c](https://github.com/stefan-hoeck/idris2-profiler/commit/2f7982cb061e9b8807fc5dba90a462b97d5d3ad6) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profiler/docs/index.html) | | [profunctors](https://github.com/kiana-S/idris2-profunctors) | Profunctors for Idris2 | MIT | [e862ef8](https://github.com/kiana-S/idris2-profunctors/commit/e862ef887f9dcdf90eacb1ca1c0a997d7a251135) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/profunctors/docs/index.html) | | [promise](https://github.com/kbertalan/idris2-promise) | Promise for Idris2 | | [0b17165](https://github.com/kbertalan/idris2-promise/commit/0b1716525ee10ed3a4f0d7132107c83e88f8eb99) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/promise/docs/index.html) | | [quantifiers-extra](https://github.com/stefan-hoeck/idris2-quantifiers-extra) | Some additions to `Data.List.Quantifires` | BSD-3 Clause | [93c2950](https://github.com/stefan-hoeck/idris2-quantifiers-extra/commit/93c295028229ef54c079c4f3691f209605792980) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/quantifiers-extra/docs/index.html) | @@ -127,31 +130,32 @@ | [racket-tcp](https://git.sr.ht/~janus/racket-tcp) | Thin bindings to the [racket/tcp](https://docs.racket-lang.org/reference/tcp.html) library. Supports concurrency using the Racket custodian. Also supports OpenSSL for TLS. | BSD-3 Clause | [1fb1358](https://git.sr.ht/~janus/racket-tcp/commit/1fb135821a0fad9770393473e1dc4dee0d26e1e5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/racket-tcp/docs/index.html) | | [random-pure](https://github.com/buzden/idris2-random-pure) | Pure pseudo-random interface and splitmix implementation | Apache-2.0 | [8283aad](https://github.com/buzden/idris2-random-pure/commit/8283aadb9602286080dbce6a9b878e14b9b2aef4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/random-pure/docs/index.html) | | [ratio](https://github.com/kiana-S/idris2-ratio) | Arbitrary-precision ratio types | MIT | [1bdfde8](https://github.com/kiana-S/idris2-ratio/commit/1bdfde80d70c1dc63df186e32f7c86ba6545dff2) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ratio/docs/index.html) | -| [ref1](https://github.com/stefan-hoeck/idris2-ref1) | Linear mutable references and utilities | | [2bea7f1](https://github.com/stefan-hoeck/idris2-ref1/commit/2bea7f1ad7990d2401f61c71a0fff9c9c30a39cf) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ref1/docs/index.html) | +| [ref1](https://github.com/stefan-hoeck/idris2-ref1) | Linear mutable references and utilities | | [f3c0fcf](https://github.com/stefan-hoeck/idris2-ref1/commit/f3c0fcf9c505abf1b1034e720bd2527e8740c06f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ref1/docs/index.html) | | [refined](https://github.com/stefan-hoeck/idris2-refined) | Refinement types in Idris2 | BSD-3 | [c585013](https://github.com/stefan-hoeck/idris2-refined/commit/c585013c33ad5398c91beed71fec61a5b721a8da) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/refined/docs/index.html) | | [refined-json](https://github.com/stefan-hoeck/idris2-refined) | Deriving JSON marshallers for refinement types | BSD-3 | [c585013](https://github.com/stefan-hoeck/idris2-refined/commit/c585013c33ad5398c91beed71fec61a5b721a8da) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/refined-json/docs/index.html) | | [refined-tsv](https://github.com/stefan-hoeck/idris2-refined) | Deriving TSV marshallers for refinement types | BSD-3 | [c585013](https://github.com/stefan-hoeck/idris2-refined/commit/c585013c33ad5398c91beed71fec61a5b721a8da) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/refined-tsv/docs/index.html) | | [rhone](https://github.com/stefan-hoeck/idris2-rhone) | Arrowized functional reactive programming in Idris2 | | [e652d56](https://github.com/stefan-hoeck/idris2-rhone/commit/e652d56901ebfea588dbdc3316df85200f232d57) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rhone/docs/index.html) | | [rhone-js](https://github.com/stefan-hoeck/idris2-rhone-js) | Reactive single page web applications in Idris2 | | [543fa51](https://github.com/stefan-hoeck/idris2-rhone-js/commit/543fa513206018ab152791e090746f09df551d76) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rhone-js/docs/index.html) | -| [rio](https://github.com/stefan-hoeck/idris2-rio) | A simple effect system based on the RIO monad | BSD-3 Clause | [c34de47](https://github.com/stefan-hoeck/idris2-rio/commit/c34de47d711adf75cd5a565af00b02298cb168ef) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rio/docs/index.html) | -| [rtlsdr](https://github.com/victoredwardocallaghan/idris2-rtlsdr) | package that provides low level bindings to rtlsdr | | [ce376d4](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/ce376d4092bf280bae855aadc763a350e1ed0480) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rtlsdr/docs/index.html) | +| [rio](https://github.com/stefan-hoeck/idris2-rio) | A simple effect system based on the RIO monad | BSD-3 Clause | [ba17bcb](https://github.com/stefan-hoeck/idris2-rio/commit/ba17bcbaecedbfe8bccd640c5769f2f85347386f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rio/docs/index.html) | +| [rtlsdr](https://github.com/victoredwardocallaghan/idris2-rtlsdr) | package that provides low level bindings to rtlsdr | | [2bfa309](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/2bfa3095b8e2c2c4eef807c3687ef1c90c3919e8) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rtlsdr/docs/index.html) | | [scram](https://git.sr.ht/~janus/scram) | Salted Challenge Response Authentication Mechanism (SCRAM), based on `hash`, `hmac`, `sha`, `base64` packages. Provides `Data.Cryptography.SCRAM`. | BSD-3 Clause | [b71f745](https://git.sr.ht/~janus/scram/commit/b71f745c68cb038c86e34ecb443a75a6b9bebc1f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/scram/docs/index.html) | | [sha](https://git.sr.ht/~janus/sha) | SHA (Secure Hashing Algorithm) implementations in C, copied from cryptohash-sha1, cryptohash-sha256. Provides `Data.Cryptography.Hash.SHA`. | BSD-3 Clause | [54729a5](https://git.sr.ht/~janus/sha/commit/54729a52f9462f3155a11961eaca4373691575ff) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sha/docs/index.html) | | [snocvect](https://github.com/mattpolzin/idris-snocvect) | | MIT | [f6148c3](https://github.com/mattpolzin/idris-snocvect/commit/f6148c3d06c7a9989062a2425f925fc844468215) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/snocvect/docs/index.html) | | [sop](https://github.com/stefan-hoeck/idris2-sop) | Generic representation of data types as sums of products | BSD-2 Clause | [050dc40](https://github.com/stefan-hoeck/idris2-sop/commit/050dc401257bc521bd171dbdff9728f32909e0d4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sop/docs/index.html) | | [spidr](https://github.com/joelberkeley/spidr) | Hardware-accelerated machine learning with dependent types. | Apache License, Version 2.0 | [d761892](https://github.com/joelberkeley/spidr/commit/d76189274c7bebc87d187ca1b53b6fa84f6511b7) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/spidr/docs/index.html) | -| [sqlite3](https://github.com/stefan-hoeck/idris2-sqlite3) | Idris2 bindings to the sqlite3 API | BSD-3 Clause | [55b975a](https://github.com/stefan-hoeck/idris2-sqlite3/commit/55b975ab9c86644eb8682a8a135f7e34d16c0274) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3/docs/index.html) | -| [sqlite3-rio](https://github.com/stefan-hoeck/idris2-sqlite3) | RIO wrappers for the sqlite3 library | BSD-3 Clause | [55b975a](https://github.com/stefan-hoeck/idris2-sqlite3/commit/55b975ab9c86644eb8682a8a135f7e34d16c0274) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3-rio/docs/index.html) | +| [sqlite3](https://github.com/stefan-hoeck/idris2-sqlite3) | Idris2 bindings to the sqlite3 API | BSD-3 Clause | [e0600f1](https://github.com/stefan-hoeck/idris2-sqlite3/commit/e0600f19921a7636964c842728f6281353827a9f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3/docs/index.html) | +| [sqlite3-rio](https://github.com/stefan-hoeck/idris2-sqlite3) | RIO wrappers for the sqlite3 library | BSD-3 Clause | [e0600f1](https://github.com/stefan-hoeck/idris2-sqlite3/commit/e0600f19921a7636964c842728f6281353827a9f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/sqlite3-rio/docs/index.html) | | [string-builder](https://github.com/Z-snails/string-builder) | Efficient string builders | | [6dfb5e0](https://github.com/Z-snails/string-builder/commit/6dfb5e0070274ead1b8fd4e1229b5254da7ddd15) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/string-builder/docs/index.html) | | [string-search](https://git.sr.ht/~janus/string-search) | Search for the index of a `Buffer` contained in another `Buffer`. Uses `memmem` from `libc`. Also provides `splitBits8 : List Bits8 -> List Bits8 -> Maybe (List Bits8, List Bits8)`. | BSD-3 Clause | [a30d7dc](https://git.sr.ht/~janus/string-search/commit/a30d7dcbd232edab23459ebbc68ca129b2574222) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/string-search/docs/index.html) | | [summary-stat](https://github.com/buzden/idris2-summary-stat) | Facilities for summary statistics | Apache-2.0 | [ca8f648](https://github.com/buzden/idris2-summary-stat/commit/ca8f648c9e5634c32f3fc731de01a74d02b6c367) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/summary-stat/docs/index.html) | | [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 | [c762060](https://github.com/buzden/idris2-swirl/commit/c7620602e78d8e47c1d3ef5b7ecb00440965c287) | 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) | | | [c5f31c9](https://github.com/idris-lang/Idris2/commit/c5f31c9d20c50196d0a5edf13f5e1344bf38c226) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/test/docs/index.html) | +| [test](https://github.com/idris-lang/Idris2) | | | [0e83d6c](https://github.com/idris-lang/Idris2/commit/0e83d6c7c6ad8b3b98758d6b5ab875121992c44c) | 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 | [14efd41](https://github.com/buzden/idris2-time-for-sleep/commit/14efd410ad435d5fbedb5a45218f68b676c81cb0) | 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) | +| [tls](https://github.com/idris-community/idris2-tls) | A portable idris2 implementation of TLS | ISC (refer to LICENSE file) | [3209050](https://github.com/idris-community/idris2-tls/commit/3209050628b89811a5cd247dac44d19bd555aab2) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tls/docs/index.html) | | [toml](https://github.com/cuddlefishie/toml-idr) | | | [7e5c4f3](https://github.com/cuddlefishie/toml-idr/commit/7e5c4f3cc2ff028f665653b43c4c1f9b0a8211e2) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/toml/docs/index.html) | | [typelevel-emptiness-collections](https://github.com/buzden/idris2-typelevel-emptiness-collections) | Collections with type-level control of emptiness, e.g. generalisation of List and List1 | Apache-2.0 | [f791ef1](https://github.com/buzden/idris2-typelevel-emptiness-collections/commit/f791ef193281b0ec7436d47b08ab05c4bbb57497) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/typelevel-emptiness-collections/docs/index.html) | | [tyre](https://github.com/kasiaMarek/TyRE) | A typed regex parser | | [5ad08fe](https://github.com/kasiaMarek/TyRE/commit/5ad08fedd515d42058387a73c513abe996677c39) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyre/docs/index.html) | diff --git a/.test/nightly-240929.toml b/.test/nightly-240929.toml new file mode 100644 index 000000000..d48dada01 --- /dev/null +++ b/.test/nightly-240929.toml @@ -0,0 +1,1145 @@ +[idris2] +url = "https://github.com/idris-lang/Idris2" +version = "0.7.0" +commit = "0e83d6c7c6ad8b3b98758d6b5ab875121992c44c" + +[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 = "199c967e9587a36d1c45e56c5a3428a7050f5a7b" +ipkg = "array.ipkg" +packagePath = false +test = "test/test.ipkg" + +[db.async] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-async" +commit = "e43cc7b640ed615d4f290f7f780d833006cde056" +ipkg = "async.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 = "923d8209600ef70fe98cba313e8a07f401c897d5" +ipkg = "best-alternative.ipkg" +packagePath = false +test = "tests/tests.ipkg" + +[db.bounded-doubles] +type = "github" +url = "https://github.com/buzden/idris2-bounded-doubles" +commit = "42be3013ede7aad9807b0b3ecc759deeb1f0c658" +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 = "42be3013ede7aad9807b0b3ecc759deeb1f0c658" +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 = "ab06f53f11885b1976143f18a5494b2e7678d918" +ipkg = "chem.ipkg" +packagePath = false +test = "test/test.ipkg" + +[db.chem-generators] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-chem" +commit = "ab06f53f11885b1976143f18a5494b2e7678d918" +ipkg = "chem-generators/chem-generators.ipkg" +packagePath = false + +[db.collection-utils] +type = "github" +url = "https://github.com/buzden/idris2-collection-utils" +commit = "48a3300dad6082b8aa28aab3dcafe3ff7073dd5d" +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 = "1d4d46256a7021d63bbf5fc9a8e32dfeaa9f32c1" +ipkg = "containers.ipkg" +packagePath = false + +[db.coop] +type = "github" +url = "https://github.com/buzden/idris2-coop" +commit = "46461308c80c6f9dc60fa3581db8c5e7282bd780" +ipkg = "coop.ipkg" +packagePath = false +test = "tests/tests.ipkg" + +[db.cozippable] +type = "github" +url = "https://github.com/buzden/idris2-cozippable" +commit = "ceaf178d9f2aa864f9ddedc7d4d5b059d69ed9be" +ipkg = "cozippable.ipkg" +packagePath = false +test = "test/test.ipkg" + +[db.cptr] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-cptr" +commit = "155e90ceae551e0468678874a9c9556078a088d4" +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-vect] +type = "github" +url = "https://github.com/buzden/idris2-dependent-vect" +commit = "606a39f137a2905a73ef36bb2d9deba4d71f0b85" +ipkg = "dependent-vect.ipkg" +packagePath = false +test = "tests/tests.ipkg" + +[db.deptycheck] +type = "github" +url = "https://github.com/buzden/deptycheck" +commit = "f376dea67c96f4f803884b610a41d38aa3271377" +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 = "edc345e88148764771547d71ec4fcddb55d92b06" +ipkg = "dom-mvc.ipkg" +packagePath = false + +[db.dom-mvc-extra] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-dom-mvc" +commit = "edc345e88148764771547d71ec4fcddb55d92b06" +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.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 = "4ee05e54b80986f05ee5a79e16cb51d4ef6cfb65" +ipkg = "elab-pretty.ipkg" +packagePath = false + +[db.elab-util] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-elab-util" +commit = "4ee05e54b80986f05ee5a79e16cb51d4ef6cfb65" +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 = "2d3196cb8fd4e24f7555e74bc9c2a1564c718550" +ipkg = "filepath.ipkg" +packagePath = false +test = "test/test.ipkg" + +[db.fin-lizzie] +type = "github" +url = "https://github.com/buzden/idris2-fin-lizzie" +commit = "985d572b66ea8dffac55d4d7c335460fb223d318" +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 = "3a437540965fccbd416b0f5783232559001523e6" +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 = "87d3bf91c04e5bde2063308855d1e983242d8f29" +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 = "64d1279898a15292d4531c7c6e2cfebb0d0b52d4" +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 = "b43307cdb6b95e8fa8790b757fa74733f1489ab3" +ipkg = "i-hate-parens.ipkg" +packagePath = false +test = "tests/tests.ipkg" + +[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 = "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 = "81e70d48b7428034b8bc1fa679838532232b5387" +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 = "4e5f87107aa73396dc2431d87589775c4bacdeca" +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 = "7ccad4525fbd96df28a5e20e393f1f8ff0ab876b" +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 = "13a4d14dfc98b9daca97c50e2c58c36e005a36d5" +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 = "da8f3a05e60673a0700765bdbfdd33f33cb8fd4f" +ipkg = "lens.ipkg" +packagePath = false + +[db.linux] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-linux" +commit = "d72c7975289a9fe4952efeab3b1fba079f22c59b" +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 = "b54136be0656c5040397c5a83220b350ea3f29cc" +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 = "118100992b6b19fd2fe19a6b5849c58e28b1b490" +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 = "baf9f01935b52aacfc2f76549d43f59822d3ad10" +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 = "fa686af45720d8117d06482cf5054280a7847142" +ipkg = "pack.ipkg" +packagePath = false + +[db.pack-admin] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-pack" +commit = "fa686af45720d8117d06482cf5054280a7847142" +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 = "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.pjrt-plugin-xla-cpu] +type = "github" +url = "https://github.com/joelberkeley/spidr" +commit = "d76189274c7bebc87d187ca1b53b6fa84f6511b7" +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 = "d76189274c7bebc87d187ca1b53b6fa84f6511b7" +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 = "b9751d9ca5e3b5cbe4f9d5bf581d24c29dee9b1f" +ipkg = "positive-nat.ipkg" +packagePath = false +test = "tests/tests.ipkg" + +[db.posix] +type = "github" +url = "https://github.com/stefan-hoeck/idris2-linux" +commit = "d72c7975289a9fe4952efeab3b1fba079f22c59b" +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 = "b8b0c2ec665bbe1c114fe150a6be7ade96a7e838" +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 = "8283aadb9602286080dbce6a9b878e14b9b2aef4" +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 = "f3c0fcf9c505abf1b1034e720bd2527e8740c06f" +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 = "2bfa3095b8e2c2c4eef807c3687ef1c90c3919e8" +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 = "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 = "d76189274c7bebc87d187ca1b53b6fa84f6511b7" +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.summary-stat] +type = "github" +url = "https://github.com/buzden/idris2-summary-stat" +commit = "ca8f648c9e5634c32f3fc731de01a74d02b6c367" +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 = "c7620602e78d8e47c1d3ef5b7ecb00440965c287" +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 = "14efd410ad435d5fbedb5a45218f68b676c81cb0" +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 = "3209050628b89811a5cd247dac44d19bd555aab2" +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 = "f791ef193281b0ec7436d47b08ab05c4bbb57497" +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