[TIMESTAMP] 1755461416 Sun Aug 17 22:10:16 2025
[BUILDTIME] 75 (9)
[SIZE] 15.72 MB, 123 files

[DEP] bash
[DEP] binutils
[DEP] bison
[DEP] cmake
[DEP] coreutils
[DEP] cudd
[DEP] diffutils
[DEP] eigen
[DEP] flex
[DEP] gawk
[DEP] grep
[DEP] gzip
[DEP] linux-header
[DEP] m4
[DEP] make
[DEP] sed
[DEP] swig
[DEP] tar
[DEP] tbb
[DEP] tcl
[DEP] zlib