diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-08 15:01:39 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-08 15:01:39 +0000 |
| commit | 23222892038635184982d4f059fc908a777c271e (patch) | |
| tree | 5222c17b9430d345f88db8bf18f5d46a9aa0a361 /sci-mathematics/prover9 | |
| parent | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 (diff) | |
| download | gentoo-2-23222892038635184982d4f059fc908a777c271e.tar.gz gentoo-2-23222892038635184982d4f059fc908a777c271e.tar.bz2 gentoo-2-23222892038635184982d4f059fc908a777c271e.zip | |
Compress the mirrored patch, thanks to xarthisius for reviewing
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/prover9')
| -rw-r--r-- | sci-mathematics/prover9/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/prover9/prover9-2009.11a.ebuild | 6 |
2 files changed, 7 insertions, 4 deletions
diff --git a/sci-mathematics/prover9/ChangeLog b/sci-mathematics/prover9/ChangeLog index 2cacb7f60e30..4bc2dccd8c1e 100644 --- a/sci-mathematics/prover9/ChangeLog +++ b/sci-mathematics/prover9/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/prover9 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.1 2012/01/08 13:57:17 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.2 2012/01/08 15:01:39 gienah Exp $ + + 08 Jan 2012; Mark Wright <gienah@gentoo.org> prover9-2009.11a.ebuild: + Compress the mirrored patch, thanks to xarthisius for reviewing *prover9-2009.11a (08 Jan 2012) diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild index a864516c8f10..d23265b65dfc 100644 --- a/sci-mathematics/prover9/prover9-2009.11a.ebuild +++ b/sci-mathematics/prover9/prover9-2009.11a.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/prover9-2009.11a.ebuild,v 1.1 2012/01/08 13:57:17 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/prover9-2009.11a.ebuild,v 1.2 2012/01/08 15:01:39 gienah Exp $ EAPI="4" @@ -14,7 +14,7 @@ MY_P="${MY_PN}-${MY_PV}" DESCRIPTION="Prover9 is an 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/~gienah/2big4tree/sci-mathematics/prover9/${MY_PN}-2009-11A-makefile.patch" + http://dev.gentoo.org/~gienah/2big4tree/sci-mathematics/prover9/${MY_PN}-2009-11A-makefile.patch.bz2" SLOT="0" KEYWORDS="~amd64 ~x86" @@ -24,7 +24,7 @@ IUSE="examples" RDEPEND="" DEPEND="$RDEPEND" -PATCHES=("${DISTDIR}/${MY_PN}-2009-11A-makefile.patch" +PATCHES=("${DISTDIR}/${MY_PN}-2009-11A-makefile.patch.bz2" "${FILESDIR}/${MY_PN}-2009-11A-manpages.patch") src_compile() { |