dev-util / herdtools7 herdtools7 The Herd toolsuite to deal with .cat memory models homepage ↗ github: herd/herdtools7 Available in OverlayNewestEbuildsLast activity gentoo gitweb ↗ 7.51 1 18 h details › Versions & arches VersionOverlay amd64x86 Committed 7.51 gentoo ◐amd64 testing ◐x86 testing — view · download · history ↗ Runtime dependencies of 7.51 show 2 lines >=dev-lang/ocaml-4.02.0 dev-lang/ocaml:=