Skip to content

Commit

Permalink
[ check ] collection update
Browse files Browse the repository at this point in the history 
https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/13729339647
  • Loading branch information
@github-actions
github-actions[bot] committed Mar 7, 2025
1 parent e6ac890 commit 19f1049
Show file tree
Hide file tree
Showing 2 changed files with 1,259 additions and 4 deletions.
8 changes: 4 additions & 4 deletions STATUS.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@
| [ansi](https://github.com/idris-community/idris2-ansi) | ANSI terminal escape sequences | BSD-3 Clause | [c099ebb](https://github.com/idris-community/idris2-ansi/commit/c099ebb827607e89e0e43034f03e8808e0078c47) | 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 | | [ec8c3bf](https://github.com/stefan-hoeck/idris2-array/commit/ec8c3bf3673514c1e9ed1695a37926d12d4b68c1) | 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 | | [281232f](https://github.com/stefan-hoeck/idris2-async/commit/281232f9a010401b2c4f3c9f6c48eae18993deea) | 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 | | [281232f](https://github.com/stefan-hoeck/idris2-async/commit/281232f9a010401b2c4f3c9f6c48eae18993deea) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/docs/index.html) |
| [async-posix](https://github.com/stefan-hoeck/idris2-async) | A poll-based event loop for asynchronous computations on Posix systems | | [281232f](https://github.com/stefan-hoeck/idris2-async/commit/281232f9a010401b2c4f3c9f6c48eae18993deea) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-posix/docs/index.html) |
| [async](https://github.com/stefan-hoeck/idris2-async) | Asynchronous and concurrent computations in Idris2 | | [c299d5c](https://github.com/stefan-hoeck/idris2-async/commit/c299d5c5398adef78d17460019def51f490471f3) | 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 | | [c299d5c](https://github.com/stefan-hoeck/idris2-async/commit/c299d5c5398adef78d17460019def51f490471f3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-epoll/docs/index.html) |
| [async-posix](https://github.com/stefan-hoeck/idris2-async) | A poll-based event loop for asynchronous computations on Posix systems | | [c299d5c](https://github.com/stefan-hoeck/idris2-async/commit/c299d5c5398adef78d17460019def51f490471f3) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/async-posix/docs/index.html) |
| [barbies](https://github.com/stefan-hoeck/idris2-barbies) | Barbies: Data types that can change their clothes | BSD-3 | [6658c09](https://github.com/stefan-hoeck/idris2-barbies/commit/6658c097288bb22c01cead6713f57c03a2ba47a1) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/barbies/docs/index.html) |
| [base](https://github.com/idris-lang/Idris2) | | | [1678b46](https://github.com/idris-lang/Idris2/commit/1678b4676f619bc28bf6eea25b789d7cf7f2f9d6) | 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) |
Expand Down Expand Up @@ -44,7 +44,7 @@
| [decord](https://github.com/jcranch/idris-decord) | Support for decidable orderings, equalities (and relations with Eq and Ord) | BSD3 | [6bad8b2](https://github.com/jcranch/idris-decord/commit/6bad8b28de454f9119316c522cc0710b41292adb) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/decord/docs/index.html) |
| [dependent-map](https://github.com/JankaGramofonomanka/idris-dependent-map) | A port of the `dependent-map` package from Hackage | BSD-3 Clause | [19718e6](https://github.com/JankaGramofonomanka/idris-dependent-map/commit/19718e6df489aeb42d5084da01013eed9acd7ffc) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/dependent-map/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 | [75e7d15](https://github.com/buzden/idris2-dependent-vect/commit/75e7d157e2d450eeecf7d630989b0e10fb12ede6) | 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 | [caacdda](https://github.com/buzden/deptycheck/commit/caacddae731831e5fe3727217df63b6264e21297) | 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 | [85b03d3](https://github.com/buzden/deptycheck/commit/85b03d3ad94fd2393fc4dd55a45109f1cc74bb88) | 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) |
Expand Down
Loading

0 comments on commit 19f1049

Please sign in to comment.