sci-mathematics/p9m4: use HTTPS
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Mon, 29 Apr 2019 10:48:01 +0000 (12:48 +0200)
committerAaron Bauman <bman@gentoo.org>
Fri, 3 May 2019 01:03:51 +0000 (21:03 -0400)
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Aaron Bauman <bman@gentoo.org>
sci-mathematics/p9m4/p9m4-05-r1.ebuild

index 16bb1c83dee1c894bd78ded11f0679090bfb53a3..29cb679eeb2be5242e57bd90932d01c9412a7ec5 100644 (file)
@@ -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"