dev-util/herdtools7 – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-03-12
- dev-util/herdtools7: add github upstream metadata
  2da78e4
  Eli Schwartz authored and Sam James committed on 2024-03-12 00:28:40 UTC
  dev-util/herdtools7/metadata.xml
Commits on 2022-07-24
- dev-util/herdtools7: drop 7.47
  8ddc10f
  David Seifert committed on 2022-07-24 11:28:14 UTC
  dev-util/herdtools7/Manifestdev-util/herdtools7/files/herdtools7-7.47-mkdir.patchdev-util/herdtools7/herdtools7-7.47.ebuild
Commits on 2021-09-11
- **/metadata.xml: Replace http by https in DOCTYPE element
  38b155f
  Ulrich Müller committed on 2021-09-11 13:22:48 UTC
  dev-util/herdtools7/metadata.xml
Commits on 2018-08-03
- dev-utils/herdtools7: Version bump to 1.51
  449d470
  Patrick McLean committed on 2018-08-03 20:57:45 UTC
  dev-util/herdtools7/herdtools7-7.51.ebuilddev-util/herdtools7/Manifest
Commits on 2017-12-09
- dev-util/*: Update Manifest hashes
  f64d6f1
  Michał Górny committed on 2017-12-09 23:13:07 UTC
  dev-util/herdtools7/Manifest
Commits on 2017-09-15
- dev-util/herdtools7: Fix tarball filename in 7.47 (oops)
  638b9f8
  Patrick McLean committed on 2017-09-15 18:22:47 UTC
  dev-util/herdtools7/Manifestdev-util/herdtools7/herdtools7-7.47.ebuild
- dev-util/herdtools7: Make sure to die properly if build fails, update ocaml dep
  fdbd8be
  Patrick McLean committed on 2017-09-15 17:44:57 UTC
  dev-util/herdtools7/herdtools7-7.47.ebuild
- dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory models
  95b5122
  Patrick McLean committed on 2017-09-15 17:43:28 UTC
  dev-util/herdtools7/Manifestdev-util/herdtools7/files/herdtools7-7.47-mkdir.patchdev-util/herdtools7/herdtools7-7.47.ebuilddev-util/herdtools7/metadata.xml