[ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/5569795463
stefan-hoeck · Jul 16, 2023 · d6444a9 · d6444a9
1 parent 5d1d50c
commit d6444a9
Show file tree

Hide file tree

Showing 2 changed files with 768 additions and 9 deletions.
diff --git a/STATUS.md b/STATUS.md
@@ -2,7 +2,7 @@
 
 | Compiler | Version | Commit |
 | --- | --- | --- |
-| [Idris2](https://github.com/idris-lang/Idris2) | 0.6.0 | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |
+| [Idris2](https://github.com/idris-lang/Idris2) | 0.6.0 | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |
 
 ## Building Packages
 
@@ -13,15 +13,15 @@
 | [apache-mime-types](https://github.com/kbertalan/idris2-apache-mime-types) | Mime types db based on Apache HTTPD dataset |  | [973de0e](https://github.com/kbertalan/idris2-apache-mime-types/commit/973de0e7224a25606eca25a1caf853b83925d36d) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/apache-mime-types/index.html) |
 | [array](https://github.com/stefan-hoeck/idris2-array) | Immutable and mutable (linear) size-indexed arrays |  | [bdd1350](https://github.com/stefan-hoeck/idris2-array/commit/bdd1350577d028f964d047a6f702dfc2171a4377) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/array/index.html) |
 | [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [2a0c063](https://github.com/stefan-hoeck/idris2-barbies/commit/2a0c0634db86fc9db9f7729127d4de9228cf4bdc) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/barbies/index.html) |
-| [base](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/base/index.html) |
+| [base](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/base/index.html) |
 | [bounded-doubles](https://github.com/buzden/idris2-bounded-doubles) | Doubles with type-level bounds | Apache-2.0 | [54162ac](https://github.com/buzden/idris2-bounded-doubles/commit/54162ac158fc2ddf89f70b7069c2930f503530a2) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bounded-doubles/index.html) |
 | [bounded-doubles-hedgehog-generators](https://github.com/buzden/idris2-bounded-doubles) | Hedgehog generators for bounded doubles | Apache-2.0 | [54162ac](https://github.com/buzden/idris2-bounded-doubles/commit/54162ac158fc2ddf89f70b7069c2930f503530a2) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bounded-doubles-hedgehog-generators/index.html) |
 | [bytestring](https://github.com/stefan-hoeck/idris2-bytestring) | Immutable byte vectors for Idris2 |  | [32d04ab](https://github.com/stefan-hoeck/idris2-bytestring/commit/32d04ab1ca362cb110bc5824d75559457b41f6ad) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/bytestring/index.html) |
 | [c-ffi](https://github.com/joelberkeley/c-ffi) | Generic C FFI utilities for Idris | Apache License, Version 2.0 | [6c54ca8](https://github.com/joelberkeley/c-ffi/commit/6c54ca867a124b3fa291b2ac3acdf54cd0f30110) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/c-ffi/index.html) |
 | [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) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/cheerio/index.html) |
 | [collie](https://github.com/ohad/collie) |  |  | [46bff04](https://github.com/ohad/collie/commit/46bff04a8d9a1598fec9b19f515541df16dc64ef) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/collie/index.html) |
 | [comonad](https://github.com/stefan-hoeck/idris2-comonad) | Comonads for Idris2 |  | [38f4b26](https://github.com/stefan-hoeck/idris2-comonad/commit/38f4b26f6a7b58f173ab1924486e887d40042ddd) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/comonad/index.html) |
-| [contrib](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/contrib/index.html) |
+| [contrib](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/contrib/index.html) |
 | [coop](https://github.com/buzden/idris2-coop) | A library for simple concurrency without parallelism | Apache-2.0 | [345d140](https://github.com/buzden/idris2-coop/commit/345d14060a11012e2bd7d058171c155aaefcb819) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/coop/index.html) |
 | [crypt](https://github.com/stefan-hoeck/idris2-crypt) | FFI bindings to the crypt C-library used for passphrase hashing | BSD-3 Clause | [63f68a0](https://github.com/stefan-hoeck/idris2-crypt/commit/63f68a007a059831b340ad39e45528b329d383fb) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/crypt/index.html) |
 | [dinwiddy](https://github.com/bobbbay/dinwiddy) |  |  | [61a81c5](https://github.com/bobbbay/dinwiddy/commit/61a81c55e48e4b7b551fb7493d623cb7659a37ce) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/dinwiddy/index.html) |
@@ -46,7 +46,7 @@
 | [hashmap](https://github.com/Z-snails/idris2-hashmap) |  |  | [58f5a2d](https://github.com/Z-snails/idris2-hashmap/commit/58f5a2d2c0a7bb082666d6ce668ee242185a52bf) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/hashmap/index.html) |
 | [hedgehog](https://github.com/stefan-hoeck/idris2-hedgehog) | A property based testing library with integrated shrinking |  | [deb6b88](https://github.com/stefan-hoeck/idris2-hedgehog/commit/deb6b88065f63a417f37f4a0fb25f39373dd6744) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/hedgehog/index.html) |
 | [idrall](https://github.com/alexhumphreys/idrall) | Dhall compiler for Idris2 |  | [62a4558](https://github.com/alexhumphreys/idrall/commit/62a455894b1db5134c8b56d31aadb31d483a4b2c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idrall/index.html) |
-| [idris2](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2/index.html) |
+| [idris2](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2/index.html) |
 | [idris2-go](https://github.com/kbertalan/idris2-go) | Idris2 with Go backend |  | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go/index.html) |
 | [idris2-go-lib](https://github.com/kbertalan/idris2-go) | Library for generating Go source code |  | [657fa76](https://github.com/kbertalan/idris2-go/commit/657fa76b41f2a5990138b9202dc3c7d07e8c0bc8) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idris2-go-lib/index.html) |
 | [idrisGL](https://github.com/ECburx/Idris2GL) |  | GPL-3.0 License | [3ed89f3](https://github.com/ECburx/Idris2GL/commit/3ed89f3116569260d766d14908cba9debbcea9ff) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/idrisGL/index.html) |
@@ -59,7 +59,7 @@
 | [katla](https://github.com/idris-community/katla) |  |  | [6897c71](https://github.com/idris-community/katla/commit/6897c710c970f2177eb86ee2c88084ef5c0ea21c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/katla/index.html) |
 | [lana](https://git.sr.ht/~janus/lana) | Bi-directional and extensible JSON schemas using tagless final. Including serialization/deserialization. | MIT | [cb4f9f9](https://git.sr.ht/~janus/lana/commit/cb4f9f9361240fe77317d69f8c62aabfcf46a459) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lana/index.html) |
 | [lens](https://github.com/kiana-S/idris2-lens) | Batteries-included profunctor optics | MIT | [e1da487](https://github.com/kiana-S/idris2-lens/commit/e1da48721e42e0f7cf1c425102a6542b702ec2bc) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lens/index.html) |
-| [linear](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/linear/index.html) |
+| [linear](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/linear/index.html) |
 | [log-domain](https://github.com/idris-bayes/log-domain) | A small representation of numerical computations in the log domain. | The BSD 3-Clause License | [7eb33c3](https://github.com/idris-bayes/log-domain/commit/7eb33c36fb411b3e9dc43e0c5ad5d8f2f3dae80e) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/log-domain/index.html) |
 | [lsp](https://github.com/idris-community/idris2-lsp) |  |  | [759f650](https://github.com/idris-community/idris2-lsp/commit/759f650d049699fc0d195d19ca574ccd218bf9e2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/lsp/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) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/markdown/index.html) |
@@ -69,11 +69,11 @@
 | [mtl-tuple-impls](https://github.com/buzden/idris2-mtl-tuple-impls) | Tuple instances for the standard MTL interfaces | Apache-2.0 | [101fa0c](https://github.com/buzden/idris2-mtl-tuple-impls/commit/101fa0ccbd0fbfbe4807a6eb871b639740cbe6e8) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/mtl-tuple-impls/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) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/multiplate/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) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/ncurses-idris/index.html) |
-| [network](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/network/index.html) |
+| [network](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/network/index.html) |
 | [node](https://github.com/kbertalan/idris2-node) | Node JS API bindings for Idris2 |  | [917e6cb](https://github.com/kbertalan/idris2-node/commit/917e6cb32b1ba6e171170b4d713acaff1fea79d6) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/node/index.html) |
 | [pack](https://github.com/stefan-hoeck/idris2-pack) | A package manager for Idris2 with curated package collections |  | [24e3835](https://github.com/stefan-hoeck/idris2-pack/commit/24e3835af146f06e3b5218904a1032039bba952c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pack/index.html) |
 | [pack-admin](https://github.com/stefan-hoeck/idris2-pack) | Administration of pack's package collections |  | [24e3835](https://github.com/stefan-hoeck/idris2-pack/commit/24e3835af146f06e3b5218904a1032039bba952c) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pack-admin/index.html) |
-| [papers](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/papers/index.html) |
+| [papers](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/papers/index.html) |
 | [park_bench](https://github.com/Z-snails/park_bench) |  |  | [c9a212e](https://github.com/Z-snails/park_bench/commit/c9a212e4873cc533dee361e1614189c95a56c873) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/park_bench/index.html) |
 | [parser](https://github.com/stefan-hoeck/idris2-parser) | Types and utilities for writing total parsers and lexers |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser/index.html) |
 | [parser-json](https://github.com/stefan-hoeck/idris2-parser) | Total and efficient parser and lexer for the JSON file format |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser-json/index.html) |
@@ -82,7 +82,7 @@
 | [parser-tsv](https://github.com/stefan-hoeck/idris2-parser) | Efficient parser and marshallers for tab-separated values |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser-tsv/index.html) |
 | [parser-webidl](https://github.com/stefan-hoeck/idris2-parser) | A total parser and lexer for the WebIDL interface description language |  | [09f038d](https://github.com/stefan-hoeck/idris2-parser/commit/09f038d2c0e78b4bccfae16fcbe8247df93e540e) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/parser-webidl/index.html) |
 | [pg-idris](https://github.com/mattpolzin/pg-idris) | Postgres support for Idris 2 programs compiled with the Chez Scheme or NodeJS backends. | MIT | [75b9310](https://github.com/mattpolzin/pg-idris/commit/75b931004f98043125754dfc84361c1fef2cf4b7) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pg-idris/index.html) |
-| [prelude](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prelude/index.html) |
+| [prelude](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prelude/index.html) |
 | [prettier](https://github.com/Z-snails/prettier) |  |  | [e82c3ce](https://github.com/Z-snails/prettier/commit/e82c3ce9f879aa239b532b1b5f4a2b7e25ca4541) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prettier/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) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/prettier-ansi/index.html) |
 | [pretty-show](https://github.com/stefan-hoeck/idris2-pretty-show) | Pretty printing of values with a Show instance |  | [7f2697d](https://github.com/stefan-hoeck/idris2-pretty-show/commit/7f2697de15c28ba2cdcaa09fd4733dcc8eb3c2a3) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/pretty-show/index.html) |
@@ -105,7 +105,7 @@
 | [string-builder](https://github.com/Z-snails/string-builder) | Efficient string builders |  | [6dfb5e0](https://github.com/Z-snails/string-builder/commit/6dfb5e0070274ead1b8fd4e1229b5254da7ddd15) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/string-builder/index.html) |
 | [summary-stat](https://github.com/buzden/idris2-summary-stat) | Facilities for summary statistics | Apache-2.0 | [412269d](https://github.com/buzden/idris2-summary-stat/commit/412269d6e0d1c23419ee65923276363e94fd5ded) | failure | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/summary-stat/index.html) |
 | [tailrec](https://github.com/stefan-hoeck/idris2-tailrec) | Provably total, stack-safe monadic recursion in Idris2 | BSD-3 Clause | [d374728](https://github.com/stefan-hoeck/idris2-tailrec/commit/d3747284c7e80a711464ec4b1a7976bcf39dd6f2) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/tailrec/index.html) |
-| [test](https://github.com/idris-lang/Idris2) |  |  | [6729fa8](https://github.com/idris-lang/Idris2/commit/6729fa8c89792c8d75b58daa86ad2e70c438120f) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/test/index.html) |
+| [test](https://github.com/idris-lang/Idris2) |  |  | [388d217](https://github.com/idris-lang/Idris2/commit/388d21775705f1b9d045081b29129bf0ebf937aa) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/test/index.html) |
 | [tester](https://github.com/cuddlefishie/tester-idr) |  |  | [3dcdb54](https://github.com/cuddlefishie/tester-idr/commit/3dcdb54ed578a14597a17cb93c926734a9da69ca) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/tester/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 | [9b4bcd5](https://github.com/buzden/idris2-time-for-sleep/commit/9b4bcd543c41f0d0bb6fda3e16c403e2c0708387) | success | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/time-for-sleep/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) |  | [docs](https://stefan-hoeck.github.io/idris2-pack-docs/docs/timeit/index.html) |