[TIMESTAMP] 1753116359 Mon Jul 21 18:45:59 2025
[BUILDTIME] 290 (9)
[SIZE] 8.30 MB, 19 files

[DEP] 00-dirtree
[DEP] bash
[DEP] binutils
[DEP] coreutils
[DEP] diffutils
[DEP] findutils
[DEP] gawk
[DEP] grep
[DEP] gzip
[DEP] make
[DEP] menhir
[DEP] ocaml
[DEP] ocaml-findlib
[DEP] rocq
[DEP] rocq-stdlib
[DEP] sed
[DEP] tar