diff options
| author |   Zac Medico <zmedico@gentoo.org> | 2013-09-01 08:30:31 +0000 |
|---|---|---|
| committer | Zac Medico <zmedico@gentoo.org> | 2013-09-01 08:30:31 +0000 |
| commit | f4fef29164e7cf9596c30a4f364f7ebf73f25d11 (patch) | |
| tree | 509a9f2e4b9f6045555ba356b4fab83d00562c42 /sci-mathematics | |
| parent | Depend on dev-libs/antlr-c instead of using the bundled version, now that a n... (diff) | |
| download | gentoo-2-f4fef29164e7cf9596c30a4f364f7ebf73f25d11.tar.gz gentoo-2-f4fef29164e7cf9596c30a4f364f7ebf73f25d11.tar.bz2 gentoo-2-f4fef29164e7cf9596c30a4f364f7ebf73f25d11.zip | |
Fix SRC_URI and HOMEPAGE (case-sensitive).
(Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/isabelle/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2013.ebuild | 6 |
2 files changed, 7 insertions, 4 deletions
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog index 16ba9db3930e..f4e87f8f7a7b 100644 --- a/sci-mathematics/isabelle/ChangeLog +++ b/sci-mathematics/isabelle/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/isabelle # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.9 2013/08/31 09:24:13 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.10 2013/09/01 08:30:31 zmedico Exp $ + + 01 Sep 2013; Zac Medico <zmedico@gentoo.org> isabelle-2013.ebuild: + Fix SRC_URI and HOMEPAGE (case-sensitive). *isabelle-2013 (31 Aug 2013) diff --git a/sci-mathematics/isabelle/isabelle-2013.ebuild b/sci-mathematics/isabelle/isabelle-2013.ebuild index 37b0725375b7..2ac0b05de93f 100644 --- a/sci-mathematics/isabelle/isabelle-2013.ebuild +++ b/sci-mathematics/isabelle/isabelle-2013.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.ebuild,v 1.1 2013/08/31 09:24:13 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2013.ebuild,v 1.2 2013/09/01 08:30:31 zmedico Exp $ EAPI="5" @@ -23,8 +23,8 @@ JFREECHART_IC_PN="${JFREECHART_PN}-isabelle-component" JFREECHART_IC_P="${JFREECHART_IC_PN}-${JFREECHART_PV}" DESCRIPTION="Isabelle is a generic proof assistant" -HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/isabelle/index.html" -SRC_URI="http://www.cl.cam.ac.uk/research/hvg/isabelle/dist/${MY_P}.tar.gz +HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html" +SRC_URI="http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/${MY_P}.tar.gz http://isabelle.in.tum.de/components/${JEDIT_P}.tar.gz -> ${JEDIT_IC_P}.tar.gz http://isabelle.in.tum.de/components/${JFREECHART_P}.tar.gz -> ${JFREECHART_IC_P}.tar.gz" |