summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-util/herdtools7: add github upstream metadataEli Schwartz2024-03-121-0/+3
* dev-util/herdtools7: drop 7.47David Seifert2022-07-243-52/+0
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-utils/herdtools7: Version bump to 1.51Patrick McLean2018-08-032-0/+27
* 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
* dev-util/herdtools7: Make sure to die properly if build fails, update ocaml depPatrick McLean2017-09-151-3/+3
* dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory...Patrick McLean2017-09-154-0/+60