summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/p9m4/p9m4-05-r1.ebuild')
-rw-r--r--sci-mathematics/p9m4/p9m4-05-r1.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/p9m4/p9m4-05-r1.ebuild b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
index 00f30e2b564..37c66299b27 100644
--- a/sci-mathematics/p9m4/p9m4-05-r1.ebuild
+++ b/sci-mathematics/p9m4/p9m4-05-r1.ebuild
@@ -15,7 +15,7 @@ MY_P="${MY_PN}${PV}"
DESCRIPTION="This is a Graphical User Interface for Prover9 and Mace4"
HOMEPAGE="http://www.cs.unm.edu/~mccune/mace4/"
SRC_URI="http://www.cs.unm.edu/~mccune/prover9/gui/${MY_P}.tar.gz
- http://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
+ https://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/p9m4/p9m4-v05-64bit.patch.bz2"
LICENSE="GPL-2"
SLOT="0"