diff options
Diffstat (limited to 'dev-lang/mercury-extras/mercury-extras-0.12.2-r1.ebuild')
| -rw-r--r-- | dev-lang/mercury-extras/mercury-extras-0.12.2-r1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mercury-extras/mercury-extras-0.12.2-r1.ebuild b/dev-lang/mercury-extras/mercury-extras-0.12.2-r1.ebuild index 125c1bb793f4..a8c0d3142326 100644 --- a/dev-lang/mercury-extras/mercury-extras-0.12.2-r1.ebuild +++ b/dev-lang/mercury-extras/mercury-extras-0.12.2-r1.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.12.2-r1.ebuild,v 1.3 2006/09/17 02:35:24 keri Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mercury-extras/mercury-extras-0.12.2-r1.ebuild,v 1.4 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/${P}.tar.gz" +SRC_URI="ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/old-releases/0.12.2/mercury-extras-0.12.2.tar.gz" LICENSE="GPL-2" SLOT="0" |