[ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/10856149291
stefan-hoeck · Sep 13, 2024 · 2b54594 · 2b54594
1 parent 53b1e2e
commit 2b54594
Show file tree

Hide file tree

Showing 2 changed files with 1,142 additions and 4 deletions.
diff --git a/STATUS.md b/STATUS.md
@@ -34,7 +34,7 @@
 | [contrib](https://github.com/idris-lang/Idris2) |  |  | [53f448c](https://github.com/idris-lang/Idris2/commit/53f448c0dbe3b399225bef5b195c573c51977b4c) | 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 |  | [8eb9cdb](https://github.com/stefan-hoeck/idris2-cptr/commit/8eb9cdbbcfd0080ebf4c5081e12dd2df0b2ca185) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/cptr/docs/index.html) |
+| [cptr](https://github.com/stefan-hoeck/idris2-cptr) | Fun with C-pointers |  | [d27389e](https://github.com/stefan-hoeck/idris2-cptr/commit/d27389ecf77ee5ce5a005833d2b9ada2a2562db8) | 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) |
@@ -86,7 +86,7 @@
 | [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) |  |  | [53f448c](https://github.com/idris-lang/Idris2/commit/53f448c0dbe3b399225bef5b195c573c51977b4c) | 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 |  | [bdab8ef](https://github.com/stefan-hoeck/idris2-linux/commit/bdab8ef60eae16bffc950e540d77062192dd2e17) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/linux/docs/index.html) |
+| [linux](https://github.com/stefan-hoeck/idris2-linux) | System utilities for using Idris2 on GNU/Linux |  | [c582b28](https://github.com/stefan-hoeck/idris2-linux/commit/c582b289bcc9af9814af045259a619276c693be4) | 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) |
@@ -115,7 +115,7 @@
 | [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) |
-| [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls |  | [bdab8ef](https://github.com/stefan-hoeck/idris2-linux/commit/bdab8ef60eae16bffc950e540d77062192dd2e17) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
+| [posix](https://github.com/stefan-hoeck/idris2-linux) | POSIX compliant system calls |  | [c582b28](https://github.com/stefan-hoeck/idris2-linux/commit/c582b289bcc9af9814af045259a619276c693be4) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
 | [prelude](https://github.com/idris-lang/Idris2) |  |  | [53f448c](https://github.com/idris-lang/Idris2/commit/53f448c0dbe3b399225bef5b195c573c51977b4c) | 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) |
@@ -136,7 +136,7 @@
 | [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 |  | [e3cc8ac](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/e3cc8acaa1d440a611e76fbd4c667de098eabffe) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/rtlsdr/docs/index.html) |
+| [rtlsdr](https://github.com/victoredwardocallaghan/idris2-rtlsdr) | package that provides low level bindings to rtlsdr |  | [0f5564c](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/0f5564c5b276115a97b4c04b27e4826b09cf0144) | 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) |