summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2015-08-24 12:47:45 +0200
committerJustin Lecher <jlec@gentoo.org>2015-08-24 12:49:19 +0200
commiteaaface92ee81f30a6ac66fe7acbcc42c00dc450 (patch)
tree6a380aa33005e1997c9dbe6f1c00520274543303 /sci-mathematics/prover9
parentsci-libs/ViSP: Disable Coin3D to avoid automagic. Bug #558498. (diff)
downloadgentoo-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/prover9')
-rw-r--r--sci-mathematics/prover9/metadata.xml2
-rw-r--r--sci-mathematics/prover9/prover9-2009.11a.ebuild2
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml
index 719fd32dcf9..f7fdf0cdfaa 100644
--- a/sci-mathematics/prover9/metadata.xml
+++ b/sci-mathematics/prover9/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>
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index 5a45978b0eb..0210411c0fc 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -15,7 +15,7 @@ DESCRIPTION="Automated theorem prover for first-order and equational logic"
HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
SRC_URI="
http://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
- http://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
+ https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
SLOT="0"
KEYWORDS="~amd64 ~x86"