summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/isabelle/isabelle-2012-r1.ebuild')
-rw-r--r--sci-mathematics/isabelle/isabelle-2012-r1.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/isabelle/isabelle-2012-r1.ebuild b/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
index e6afded3e5a..087bb7e2480 100644
--- a/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2012-r1.ebuild
@@ -17,7 +17,7 @@ JEDIT_P="${JEDIT_PN}-${JEDIT_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
- doc? ( http://dev.gentoo.org/~gienah/snapshots/${MY_P}-doc-src.tar.gz )
+ doc? ( https://dev.gentoo.org/~gienah/snapshots/${MY_P}-doc-src.tar.gz )
pide? ( http://www4.in.tum.de/~wenzelm/test/${JEDIT_P}.tar.gz )"
LICENSE="BSD"