diff options
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" |