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 cbd644626b23de4fd675311c5c89ae7997d31d13..554438c17b7e0ce8cfd8c0198c0b58bba72b825f 100644 (file)
--- 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 fbd02aff8ec1e70df8d847e44fa917534824b7d6..b30623969e8410407ae790569b8ef71d5f547355 100644 (file)
--- 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"