A refresh request is in progress, please wait...

Queue position: None

dev-util/herdtools7

Maintainers

Patrick McLean <chutzpah@gentoo.org>

Q&A
Upstream versions
Version history
  • upstream + dev-util/herdtools7-7.52 [<upstream>] - Jan. 16, 2019, 6:10 p.m.
  • upstream - dev-util/herdtools7-7.48 [<upstream>] - Aug. 6, 2018, 6:25 p.m.
  • upstream + dev-util/herdtools7-7.48 [<upstream>] - Feb. 14, 2018, 6:10 p.m.
euscan log

Date: March 30, 2020, 5:35 p.m.

 * SRC_URI is 'https://github.com/herd/herdtools7/archive/7.51.tar.gz'
 * Scanning: https://github.com/herd/herdtools7/archive/${PV}.tar.gz
 * Scanning: https://github.com/herd/herdtools7/archive
 * Generating version from 7.51
 * Brute forcing: https://github.com/herd/herdtools7/archive/${PV}.tar.gz
 * Trying: https://github.com/herd/herdtools7/archive/7.52.tar.gz ...    [ ok ]