[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/prover9/

[Aaron Bauman]

commit:     9313279243fd73849c246068197b916292a87b45
Author:     Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com>
AuthorDate: Mon Apr 29 10:47:19 2019 +0000
Commit:     Aaron Bauman <bman <AT> gentoo <DOT> org>
CommitDate: Fri May  3 01:03:50 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93132792

sci-mathematics/prover9: use HTTPS

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/11860
Signed-off-by: Aaron Bauman <bman <AT> gentoo.org>

 sci-mathematics/prover9/prover9-2009.11a.ebuild | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index 56c2ad3a413..b9fe53f22b6 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2014 Gentoo Foundation
+# Copyright 1999-2019 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=5
@@ -11,9 +11,9 @@ MY_PV=$(replace_all_version_separators '-')
 MY_P="${MY_PN}-${MY_PV}"
 
 DESCRIPTION="Automated theorem prover for first-order and equational logic"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
 SRC_URI="
-	http://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
+	https://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
 	https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
 
 SLOT="0"