summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-utils/herdtools7: Version bump to 1.51Patrick McLean2018-08-032-0/+27
| | | | Package-Manager: Portage-2.3.44, Repoman-2.3.10
* dev-util/*: Update Manifest hashesMichał Górny2017-12-101-1/+1
|
* dev-util/herdtools7: Fix tarball filename in 7.47 (oops)Patrick McLean2017-09-152-2/+2
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* dev-util/herdtools7: Make sure to die properly if build fails, update ocaml depPatrick McLean2017-09-151-3/+3
| | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3
* dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat ↵Patrick McLean2017-09-154-0/+60
memory models Package-Manager: Portage-2.3.8, Repoman-2.3.3