summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild')
-rw-r--r--sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild2
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 99fabbc9d23..601509a8b37 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}"