diff options
Diffstat (limited to 'sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild')
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild b/sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild index 99fabbc9d239..601509a8b37a 100644 --- a/sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild +++ b/sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild @@ -35,7 +35,7 @@ HOMEPAGE="http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html" SRC_URI="http://www.cl.cam.ac.uk/users/lcp/archive/${MY_P}.tar.gz http://isabelle.in.tum.de/components/${JEDIT_P}.tar.gz -> ${JEDIT_IC_P}.tar.gz http://isabelle.in.tum.de/dist/contrib/${JFREECHART_P}.tar.gz -> ${JFREECHART_IC_P}.tar.gz - http://dev.gentoo.org/~gienah/snapshots/${POLYML_IC_P}.tar.gz" + https://dev.gentoo.org/~gienah/snapshots/${POLYML_IC_P}.tar.gz" LICENSE="BSD" SLOT="0/${PV}" |