Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-util/
herdtools7

The Herd toolsuite to deal with .cat memory models

http://diy.inria.fr/sources/index.html

Available Versions

Versionamd64x86alphaarmarm64hppamipsppcppc64riscvsparc
7.51  : 0 EAPI 7 ~amd64 ~x86?alpha?arm?arm64?hppa?mips?ppc?ppc64?riscv?sparc

Package Metadata