diff options
| author |   Justin Lecher <jlec@gentoo.org> | 2015-08-24 12:47:45 +0200 |
|---|---|---|
| committer | Justin Lecher <jlec@gentoo.org> | 2015-08-24 12:49:19 +0200 |
| commit | eaaface92ee81f30a6ac66fe7acbcc42c00dc450 (patch) | |
| tree | 6a380aa33005e1997c9dbe6f1c00520274543303 /sci-mathematics/isabelle/isabelle-2012-r1.ebuild | |
| parent | sci-libs/ViSP: Disable Coin3D to avoid automagic. Bug #558498. (diff) | |
| download | gentoo-eaaface92ee81f30a6ac66fe7acbcc42c00dc450.tar.gz gentoo-eaaface92ee81f30a6ac66fe7acbcc42c00dc450.tar.bz2 gentoo-eaaface92ee81f30a6ac66fe7acbcc42c00dc450.zip | |
Use https by default
Convert all URLs for sites supporting encrypted connections from http to https
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'sci-mathematics/isabelle/isabelle-2012-r1.ebuild')
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2012-r1.ebuild | 2 |
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 e6afded3e5a1..087bb7e2480e 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" |