projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-util/pkgconf: Removed old.
[gentoo.git] / dev-util / herdtools7 /
2018-08-03 Patrick McLeandev-utils/herdtools7: Version bump to 1.51 tree | commitdiff
2017-12-09 Michał Górnydev-util/*: Update Manifest hashes tree | commitdiff
2017-09-15 Patrick McLeandev-util/herdtools7: Fix tarball filename in 7.47 ... tree | commitdiff
2017-09-15 Patrick McLeandev-util/herdtools7: Make sure to die properly if build... tree | commitdiff
2017-09-15 Patrick McLeandev-util/herdtools7: New package, the Herd toolsuite... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.