diff options
| author |   Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 11:22:47 -0700 |
|---|---|---|
| committer | Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 11:22:47 -0700 |
| commit | 638b9f87e8d55c88b3c82ce550349098c27f30f3 (patch) | |
| tree | 6423fbb45abcea14b0129c41f1996ed14156a06a /dev-util/herdtools7/herdtools7-7.47.ebuild | |
| parent | sys-apps/man-pages: Bump version to 4.13 (diff) | |
| download | gentoo-638b9f87e8d55c88b3c82ce550349098c27f30f3.tar.gz gentoo-638b9f87e8d55c88b3c82ce550349098c27f30f3.tar.bz2 gentoo-638b9f87e8d55c88b3c82ce550349098c27f30f3.zip | |
dev-util/herdtools7: Fix tarball filename in 7.47 (oops)
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-util/herdtools7/herdtools7-7.47.ebuild')
| -rw-r--r-- | dev-util/herdtools7/herdtools7-7.47.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-util/herdtools7/herdtools7-7.47.ebuild b/dev-util/herdtools7/herdtools7-7.47.ebuild index fbd02aff8ec1..b30623969e84 100644 --- a/dev-util/herdtools7/herdtools7-7.47.ebuild +++ b/dev-util/herdtools7/herdtools7-7.47.ebuild @@ -7,7 +7,7 @@ inherit opam DESCRIPTION="The Herd toolsuite to deal with .cat memory models" HOMEPAGE="http://diy.inria.fr/sources/index.html" -SRC_URI="https://github.com/herd/herdtools7/archive/${PV}.tar.gz" +SRC_URI="https://github.com/herd/herdtools7/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="CeCILL-B" SLOT="0" |