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

v7.47 :: 0 :: gentoo

Modified
License
CeCILL-B
Keywords
~amd64 ~x86

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

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

dev-ml / opam : A source-based package manager for OCaml

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

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