[ check ] collection update

https://github.com/stefan-hoeck/idris2-pack-db/actions/runs/11187019405

STATUS.md

@@ -137,7 +137,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 | [ba17bcb](https://github.com/stefan-hoeck/idris2-rio/commit/ba17bcbaecedbfe8bccd640c5769f2f85347386f) | 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 |  | [d2a7591](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/d2a759159f035c8d5cf92d8ff868241dab823ea9) | 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 |  | [c24a4b8](https://github.com/victoredwardocallaghan/idris2-rtlsdr/commit/c24a4b8aef7e36859a0dfdc5642f70e171009164) | 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) |
@@ -157,7 +157,7 @@
 | [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) |
 | [tls](https://github.com/idris-community/idris2-tls) | A portable idris2 implementation of TLS | ISC (refer to LICENSE file) | [3209050](https://github.com/idris-community/idris2-tls/commit/3209050628b89811a5cd247dac44d19bd555aab2) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tls/docs/index.html) |
 | [toml](https://github.com/cuddlefishie/toml-idr) |  |  | [7e5c4f3](https://github.com/cuddlefishie/toml-idr/commit/7e5c4f3cc2ff028f665653b43c4c1f9b0a8211e2) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/toml/docs/index.html) |
-| [typelevel-emptiness-collections](https://github.com/buzden/idris2-typelevel-emptiness-collections) | Collections with type-level control of emptiness, e.g. generalisation of List and List1 | Apache-2.0 | [f791ef1](https://github.com/buzden/idris2-typelevel-emptiness-collections/commit/f791ef193281b0ec7436d47b08ab05c4bbb57497) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/typelevel-emptiness-collections/docs/index.html) |
+| [typelevel-emptiness-collections](https://github.com/buzden/idris2-typelevel-emptiness-collections) | Collections with type-level control of emptiness, e.g. generalisation of List and List1 | Apache-2.0 | [9da2575](https://github.com/buzden/idris2-typelevel-emptiness-collections/commit/9da25759d51ec042a4edfac089098c65f47ef246) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/typelevel-emptiness-collections/docs/index.html) |
 | [tyre](https://github.com/kasiaMarek/TyRE) | A typed regex parser |  | [5ad08fe](https://github.com/kasiaMarek/TyRE/commit/5ad08fedd515d42058387a73c513abe996677c39) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyre/docs/index.html) |
 | [tyttp](https://github.com/kbertalan/tyttp) | An experimental web server framework targeting NodeJS |  | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp/docs/index.html) |
 | [tyttp-adapter-node](https://github.com/kbertalan/tyttp) | An experimental web server framework targeting NodeJS |  | [f159dfa](https://github.com/kbertalan/tyttp/commit/f159dfa6a44991528ccd8ed971fdd0d8c3a18a06) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/tyttp-adapter-node/docs/index.html) |