From: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Date: Mon, 29 Apr 2019 10:48:01 +0000 (+0200)
Subject: sci-mathematics/p9m4: use HTTPS
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=0215de3511026ab38633419f287acb87dc9b79e5;p=gentoo.git

sci-mathematics/p9m4: use HTTPS

Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Aaron Bauman <bman@gentoo.org>
---

diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
index 16bb1c83dee1..29cb679eeb2b 100644
--- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -11,9 +11,9 @@ MY_PN="p9m4-v"
 MY_P="${MY_PN}${PV}"
 
 DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
-HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
+HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/"
 SRC_URI="
-	http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
+	https://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
 	https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
 
 LICENSE="GPL-2"