From: Patrick McLean <chutzpah@gentoo.org>
Date: Fri, 15 Sep 2017 18:22:47 +0000 (-0700)
Subject: dev-util/herdtools7: Fix tarball filename in 7.47 (oops)
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=638b9f87e8d55c88b3c82ce550349098c27f30f3;p=gentoo.git

dev-util/herdtools7: Fix tarball filename in 7.47 (oops)

Package-Manager: Portage-2.3.8, Repoman-2.3.3
---

diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest
index cbd644626b23..554438c17b7e 100644
--- a/dev-util/herdtools7/Manifest
+++ b/dev-util/herdtools7/Manifest
@@ -1 +1 @@
-DIST 7.47.tar.gz 763045 SHA256 04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c WHIRLPOOL ea9340cb18fc4a946586eff9cbe2e7eafa398224a2dddc04326f467b91ee1eb534f8d4c2758c11a58fe93504868e74e8598cb953fac30c6eb1fec5917a976039
+DIST herdtools7-7.47.tar.gz 763045 SHA256 04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d SHA512 85295815fb725b78e7015f597cdad10c3a52db2e40b179efb314f6750c7e5ec09393fac4038dafe0b7eb3f5db74d10a032384a384adf3c97bf846cb016f5180c WHIRLPOOL ea9340cb18fc4a946586eff9cbe2e7eafa398224a2dddc04326f467b91ee1eb534f8d4c2758c11a58fe93504868e74e8598cb953fac30c6eb1fec5917a976039
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"