summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>2019-04-29 12:47:19 +0200
committerAaron Bauman <bman@gentoo.org>2019-05-02 21:03:50 -0400
commit9313279243fd73849c246068197b916292a87b45 (patch)
treeedee8e28962792b81f373d04194e5d6f6f6211d1 /sci-mathematics/prover9
parentapp-vim/vim-jsonnet: New package (diff)
downloadgentoo-9313279243fd73849c246068197b916292a87b45.tar.gz
gentoo-9313279243fd73849c246068197b916292a87b45.tar.bz2
gentoo-9313279243fd73849c246068197b916292a87b45.zip
sci-mathematics/prover9: use HTTPS
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/11860 Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'sci-mathematics/prover9')
-rw-r--r--sci-mathematics/prover9/prover9-2009.11a.ebuild6
1 files 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"