gentoo.mahdi.cz
dev-util
:herdtools7
The Herd toolsuite to deal with .cat memory models
http://diy.inria.fr/sources/index.html
herdtools7-7.51
CeCILL-B
download
~amd64 ~x86
gentoo