summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-util/herdtools7: add github upstream metadataEli Schwartz2024-03-121-0/+3
| | | | | Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-util/herdtools7: drop 7.47David Seifert2022-07-243-52/+0
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* 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