Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-util
/herdtools7
The Herd toolsuite to deal with .cat memory models
Screenshots
http://diy.inria.fr/sources/index.html
herdtools7-7.51
~amd64 ~x86
View
Download
Browse
License: CeCILL-B
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
herdtools7-7.51
>=
dev-lang/ocaml
-4.02.0
>=
dev-lang/ocaml
-4:=