diff options
Diffstat (limited to 'dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild')
-rw-r--r-- | dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild b/dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild index a64bbe2b62b8..403744ed66fe 100644 --- a/dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild +++ b/dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild @@ -1,12 +1,12 @@ # Copyright 1999-2006 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild,v 1.5 2006/10/16 08:59:39 keri Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury-extras/mercury-extras-0.13.0.ebuild,v 1.6 2006/10/19 07:28:27 keri Exp $ inherit eutils DESCRIPTION="Additional libraries and tools that are not part of the Mercury standard library" HOMEPAGE="http://www.cs.mu.oz.au/research/mercury/index.html" -SRC_URI="ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/${P}.tar.gz" +SRC_URI="ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/mercury-extras-0.13.0.tar.gz" LICENSE="GPL-2" SLOT="0" |