[ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/10763119749
stefan-hoeck · Sep 8, 2024 · a6c2ec7 · a6c2ec7
1 parent b8aca43
commit a6c2ec7
Show file tree

Hide file tree

Showing 2 changed files with 1,143 additions and 5 deletions.
diff --git a/STATUS.md b/STATUS.md
@@ -34,7 +34,7 @@
 | [contrib](https://github.com/idris-lang/Idris2) |  |  | [5459e17](https://github.com/idris-lang/Idris2/commit/5459e1726582c7326c3846bd98dfaeb9ac25cdfc) | 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 |  | [7e8be39](https://github.com/stefan-hoeck/idris2-cptr/commit/7e8be395411df8288a8b97ce44121780324bb3db) | 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 |  | [1a3155d](https://github.com/stefan-hoeck/idris2-cptr/commit/1a3155d9f2f729db92be9dc5c5c161a9a9132a05) | 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) |
@@ -73,7 +73,7 @@
 | [idris2](https://github.com/idris-lang/Idris2) |  |  | [5459e17](https://github.com/idris-lang/Idris2/commit/5459e1726582c7326c3846bd98dfaeb9ac25cdfc) | 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) |  |  | [9719373](https://github.com/idris-community/idris2-lsp/commit/971937339fa1650339e14098f73a39052fb9d7f0) | 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) |
@@ -86,6 +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) |  |  | [5459e17](https://github.com/idris-lang/Idris2/commit/5459e1726582c7326c3846bd98dfaeb9ac25cdfc) | 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 |  | [06b801a](https://github.com/stefan-hoeck/idris2-linux/commit/06b801ae91cb8222b55ce27e6e4f155b64546370) | 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) |
@@ -114,6 +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 |  | [06b801a](https://github.com/stefan-hoeck/idris2-linux/commit/06b801ae91cb8222b55ce27e6e4f155b64546370) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/posix/docs/index.html) |
 | [prelude](https://github.com/idris-lang/Idris2) |  |  | [5459e17](https://github.com/idris-lang/Idris2/commit/5459e1726582c7326c3846bd98dfaeb9ac25cdfc) | 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) |
@@ -134,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 |  | [4dd113c](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/4dd113c6227376bc9adb3f2d2372b473d556d33b) | 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 |  | [557601a](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/557601aff06ed785727ef5b52536ff32667be8a1) | 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) |
@@ -174,8 +176,6 @@
 
 | Package | Dependencies | Commit |
 | --- | --- | --- |
-| [linux](https://github.com/stefan-hoeck/idris2-linux) | posix | [31da9e2](https://github.com/stefan-hoeck/idris2-linux/commit/31da9e26d3382763f59780dcdba7796f7706fa9a) |
-| [posix](https://github.com/stefan-hoeck/idris2-linux) |  | [31da9e2](https://github.com/stefan-hoeck/idris2-linux/commit/31da9e26d3382763f59780dcdba7796f7706fa9a) |
 
 
 ## Unresolved Packages