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 | |
| 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')
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2012-r1.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/isabelle-2013.2-r1.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/metadata.xml | 2 |
3 files changed, 3 insertions, 3 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" 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}" diff --git a/sci-mathematics/isabelle/metadata.xml b/sci-mathematics/isabelle/metadata.xml index 41285400dc40..42ea529cc8e2 100644 --- a/sci-mathematics/isabelle/metadata.xml +++ b/sci-mathematics/isabelle/metadata.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer> <email>gienah@gentoo.org</email> |