commit: 638b9f87e8d55c88b3c82ce550349098c27f30f3 Author: Patrick McLean <chutzpah <AT> gentoo <DOT> org> AuthorDate: Fri Sep 15 18:22:47 2017 +0000 Commit: Patrick McLean <chutzpah <AT> gentoo <DOT> org> CommitDate: Fri Sep 15 18:22:47 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=638b9f87
dev-util/herdtools7: Fix tarball filename in 7.47 (oops) Package-Manager: Portage-2.3.8, Repoman-2.3.3 dev-util/herdtools7/Manifest | 2 +- dev-util/herdtools7/herdtools7-7.47.ebuild | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dev-util/herdtools7/Manifest b/dev-util/herdtools7/Manifest index cbd644626b2..554438c17b7 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 fbd02aff8ec..b30623969e8 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"
