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/p9m4/p9m4-05-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/p9m4/p9m4-05-r1.ebuild')
| -rw-r--r-- | sci-mathematics/p9m4/p9m4-05-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild index 00f30e2b5648..37c66299b279 100644 --- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild +++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild @@ -15,7 +15,7 @@ MY_P="${MY_PN}${PV}" DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4" HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/" SRC_URI="http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz - http://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2" + https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2" LICENSE="GPL-2" SLOT="0" |