[ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/12659370587
stefan-hoeck · Jan 7, 2025 · f1e9788 · f1e9788
1 parent 90e0298
commit f1e9788
Show file tree

Hide file tree

Showing 2 changed files with 1,198 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.7.0 | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) |
+| [Idris2](https://github.com/idris-lang/Idris2) | 0.7.0 | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) |
 
 ## Building Packages
 
@@ -14,8 +14,9 @@
 | [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 |  | [3f14963](https://github.com/stefan-hoeck/idris2-array/commit/3f14963a645d3f0dd53f8c421416e25ca80cae7d) | 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 |  | [10ae85b](https://github.com/stefan-hoeck/idris2-async/commit/10ae85b1d25f460dd88d097e4abf6a0d8332bd58) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async/docs/index.html) |
+| [async-epoll](https://github.com/stefan-hoeck/idris2-async) | An epoll-based event loop for asynchronous computations on Linux |  | [10ae85b](https://github.com/stefan-hoeck/idris2-async/commit/10ae85b1d25f460dd88d097e4abf6a0d8332bd58) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/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) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/base/docs/index.html) |
+| [base](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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 | [8e24bc9](https://github.com/buzden/idris2-best-alternative/commit/8e24bc9f2b202d16158b6e8b59d3e226ebd37bc7) | 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 | [078934f](https://github.com/buzden/idris2-bounded-doubles/commit/078934f6ba4bf69284c9cbc365840e645e71f22d) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/bounded-doubles/docs/index.html) |
@@ -31,7 +32,7 @@
 | [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) | Assorted concrete container types |  | [c04344b](https://github.com/stefan-hoeck/idris2-containers/commit/c04344b658e6fa66445b8010cdeff30a07ecc91c) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/containers/docs/index.html) |
-| [contrib](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/contrib/docs/index.html) |
+| [contrib](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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 | [96e845c](https://github.com/buzden/idris2-coop/commit/96e845c82045e01092a85a920c96f0386f5e6b4d) | 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 | [157960a](https://github.com/buzden/idris2-cozippable/commit/157960afd73f8f30a9521f936945991dd8369a35) | 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 |  | [c48e5e6](https://github.com/stefan-hoeck/idris2-cptr/commit/c48e5e6f164fd60141fed1880160911bc328ac83) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cptr/docs/index.html) |
@@ -72,7 +73,7 @@
 | [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 | [6127b46](https://github.com/buzden/idris2-i-hate-parens/commit/6127b46e799405e025194f6606dd5e949f5b7092) | 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 |  | [86d84e4](https://github.com/alexhumphreys/idrall/commit/86d84e44f7e2d07e597ca10b7d0a3451992b5605) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrall/docs/index.html) |
-| [idris2](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2/docs/index.html) |
+| [idris2](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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) |  |  | [df322fa](https://github.com/idris-community/idris2-lsp/commit/df322faeb1b5b7f70c901978274cf03a15061ced) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idris2-lsp/docs/index.html) |
@@ -88,7 +89,7 @@
 | [katla-pandoc](https://github.com/idris-community/katla) |  |  | [53b0e47](https://github.com/idris-community/katla/commit/53b0e47102805973371b6697383db70e8c3d6868) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/katla-pandoc/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) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linear/docs/index.html) |
+| [linear](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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 |  | [7bc4d50](https://github.com/stefan-hoeck/idris2-linux/commit/7bc4d5093d384a1bf0b075bb6e8353231c0a0a4f) | 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) |  |  | [8ff3a88](https://github.com/idris-community/lsp-lib/commit/8ff3a886c0dc41a9eebea6ec5956349752d29714) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/lsp-lib/docs/index.html) |
@@ -100,13 +101,13 @@
 | [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 | [9f1e575](https://github.com/mattpolzin/ncurses-idris/commit/9f1e575d48cb2acb837f9713e003fbb6ddbf8f44) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/ncurses-idris/docs/index.html) |
 | [nested](https://gitlab.com/bss03/nested) | nested (or non-uniform) recursion schemes | AGPLv3 | [6752469](https://gitlab.com/bss03/nested/commit/67524695bf949e83c2c419e94d173a46558fd2bd) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/nested/docs/index.html) |
-| [network](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/network/docs/index.html) |
+| [network](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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 |  | [03a7a07](https://github.com/kbertalan/idris2-node/commit/03a7a070d2063122190a580341e6c57017be5554) | 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) |
 | [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 |  | [3fd992d](https://github.com/stefan-hoeck/idris2-pack/commit/3fd992ddbc6f4acbd6340064c99f1dc2b58917d5) | 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 |  | [3fd992d](https://github.com/stefan-hoeck/idris2-pack/commit/3fd992ddbc6f4acbd6340064c99f1dc2b58917d5) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pack-admin/docs/index.html) |
-| [papers](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/papers/docs/index.html) |
+| [papers](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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) |
@@ -121,7 +122,7 @@
 | [pjrt-plugin-xla-cuda](https://github.com/joelberkeley/spidr) | XLA PJRT plugin for CUDA-enabled GPUs. | Apache License, Version 2.0 | [fb808c1](https://github.com/joelberkeley/spidr/commit/fb808c12c31857a863afe381edd0555eb927f027) | 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 | [8da7515](https://github.com/buzden/idris2-positive-nat/commit/8da7515357bf0157c276eea52baf68ed01ad5c4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/positive-nat/docs/index.html) |
 | [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls |  | [7bc4d50](https://github.com/stefan-hoeck/idris2-linux/commit/7bc4d5093d384a1bf0b075bb6e8353231c0a0a4f) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
-| [prelude](https://github.com/idris-lang/Idris2) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/prelude/docs/index.html) |
+| [prelude](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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 |  | [a739e83](https://github.com/stefan-hoeck/idris2-pretty-show/commit/a739e838047327dd75b98715f65a755961f79dd8) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/pretty-show/docs/index.html) |
@@ -156,7 +157,7 @@
 | [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 | [94b6eb1](https://github.com/buzden/idris2-swirl/commit/94b6eb18d9b68cba885090b2866091d97d7b1602) | 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) |  |  | [74c1123](https://github.com/idris-lang/Idris2/commit/74c112320f711b2c2ae134cdd615652eb0f1ac35) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/test/docs/index.html) |
+| [test](https://github.com/idris-lang/Idris2) |  |  | [09088a1](https://github.com/idris-lang/Idris2/commit/09088a1b6112302ef8b3b46c71551f78194a4741) | 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 | [8e50060](https://github.com/buzden/idris2-time-for-sleep/commit/8e50060df0d6ff19d6049b90bd26906a6b4aae5f) | 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) |