Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-util
/
herdtools7
The Herd toolsuite to deal with .cat memory models
http://diy.inria.fr/sources/index.html
Overview
Dependencies
QA report
Pull requests
0
Bugs
1
Security
0
Changelog
Latest Commits
Commits on Aug 03, 2018
dev-utils/herdtools7: Version bump to 1.51
449d470
Patrick McLean
committed on 3 Aug 2018 20:57:45
herdtools7-7.51.ebuild
Manifest
Commits on Dec 09, 2017
dev-util/*: Update Manifest hashes
f64d6f1
Michał Górny
committed on 9 Dec 2017 23:13:07
Manifest
Commits on Sep 15, 2017
dev-util/herdtools7: Fix tarball filename in 7.47 (oops)
638b9f8
Patrick McLean
committed on 15 Sep 2017 18:22:47
Manifest
herdtools7-7.47.ebuild
dev-util/herdtools7: Make sure to die properly if build fails, update ocaml dep
fdbd8be
Patrick McLean
committed on 15 Sep 2017 17:44:57
herdtools7-7.47.ebuild
dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory models
95b5122
Patrick McLean
committed on 15 Sep 2017 17:43:28
Manifest
files/herdtools7-7.47-mkdir.patch
herdtools7-7.47.ebuild
metadata.xml