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"
