summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/prover9/prover9-2009.11a.ebuild')
-rw-r--r--sci-mathematics/prover9/prover9-2009.11a.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild
index 5a45978b0eb..0210411c0fc 100644
--- a/sci-mathematics/prover9/prover9-2009.11a.ebuild
+++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild
@@ -15,7 +15,7 @@ DESCRIPTION="Automated theorem prover for first-order and equational logic"
HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
SRC_URI="
http://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz
- http://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
+ https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz"
SLOT="0"
KEYWORDS="~amd64 ~x86"