[TIMESTAMP] 1753026009 Sun Jul 20 17:40:09 2025
[BUILDTIME] 230 (9)
[SIZE] 74.19 MB, 1759 files

[DEP] bash
[DEP] coreutils
[DEP] diffutils
[DEP] dune
[DEP] gawk
[DEP] grep
[DEP] gzip
[DEP] ocaml
[DEP] ocaml-findlib
[DEP] rocq
[DEP] sed
[DEP] tar
[DEP] zarith