summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-util/herdtools7: drop 7.47David Seifert2022-07-241-1/+0
* dev-utils/herdtools7: Version bump to 1.51Patrick McLean2018-08-031-0/+1
* dev-util/*: Update Manifest hashesMichał Górny2017-12-101-1/+1
* dev-util/herdtools7: Fix tarball filename in 7.47 (oops)Patrick McLean2017-09-151-1/+1
* dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory...Patrick McLean2017-09-151-0/+1