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.48 [<upstream>] - Feb. 14, 2018, 6:10 p.m.
euscan log

Date: June 18, 2018, 5:57 p.m.

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