[ check ] collection update

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

STATUS.md

@@ -71,7 +71,7 @@
 | [http](https://github.com/idris-community/idris2-http) | A http client implementation in idris2 | ISC (refer to LICENSE file) | [0ff06cf](https://github.com/idris-community/idris2-http/commit/0ff06cf2c831cc9283d2e539978fedf599df2b17) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/http/docs/index.html) |
 | [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 | [b43307c](https://github.com/buzden/idris2-i-hate-parens/commit/b43307cdb6b95e8fa8790b757fa74733f1489ab3) | 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 |  | [c169165](https://github.com/alexhumphreys/idrall/commit/c1691657c80a80b92c482eddcc9219f5a4c9e155) | skipped | [docs](https://stefan-hoeck.github.io/idris2-pack-db/docs/idrall/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) |  |  | [ec74792](https://github.com/idris-lang/Idris2/commit/ec74792a49bf4d22509172d1f03d153ffca1b95c) | 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) |