dev-util / herdtools7

The Herd toolsuite to deal with .cat memory models

Official package sites : http://diy.inria.fr/sources/index.html ·

v7.51 :: 0 :: gentoo

Modified
License
CeCILL-B
Keywords
~amd64 ~x86

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / ocamlbuild : Generic build tool with built-in rules for building OCaml library and programs

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

707834
dev-util/herdtools7-7.54 version bump
Repository mirror & CI · gentoo
Merge updates from master
David Seifert · gentoo
dev-util/herdtools7: drop 7.47
Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Patrick McLean · gentoo
dev-utils/herdtools7: Version bump to 1.51
Package-Manager: Portage-2.3.44, Repoman-2.3.10
Patrick McLean · gentoo
dev-util/herdtools7: Fix tarball filename in 7.47 (oops)
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Patrick McLean · gentoo
dev-util/herdtools7: Make sure to die properly if build fails, update ocaml dep
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Patrick McLean · gentoo
dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory models
Package-Manager: Portage-2.3.8, Repoman-2.3.3