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 | a74d23aed3beeac1a060a04a177770ea06c7c3f8 (patch) | |
| tree | f8c6d55d81b5c02d03a7ab4b357ebba28b716b07 /sci-mathematics/prover9 | |
| parent | New p9m4 prover9 mace4 gui ebuild by me fixes #398021 (diff) | |
| download | historical-a74d23aed3beeac1a060a04a177770ea06c7c3f8.tar.gz historical-a74d23aed3beeac1a060a04a177770ea06c7c3f8.tar.bz2 historical-a74d23aed3beeac1a060a04a177770ea06c7c3f8.zip | |
Compress the mirrored patch, thanks to xarthisius for reviewing
Package-Manager: portage-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/Manifest | 12 | ||||
| -rw-r--r-- | sci-mathematics/prover9/prover9-2009.11a.ebuild | 6 |
3 files changed, 13 insertions, 10 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/Manifest b/sci-mathematics/prover9/Manifest index 32340c70f19b..7b86d072c894 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -2,15 +2,15 @@ Hash: SHA256 AUX LADR-2009-11A-manpages.patch 13832 RMD160 9e53ec550fab18666d66157297aadf5476fd0396 SHA1 de7e0b351b04c405bfb0a26b433c1cb4fdbe51c8 SHA256 d9ecfc1a476d1e06a4b83dc3a96a57c3cf78943571e910ea4be420ce5a255371 -DIST LADR-2009-11A-makefile.patch 43515 RMD160 dee0b1aef196ac5ba6af074d4c7edcdf889853c6 SHA1 c728fbdc9ccf087c736150a88f9ec4aac141cf52 SHA256 336d936b497107235b76947930f56137c2787744f0612681ce9700f8ce2aeed2 +DIST LADR-2009-11A-makefile.patch.bz2 4347 RMD160 bf5095f8088beb618932ba8e51f8e39a994248a1 SHA1 65403a4c7581c6fc60259dbb188a7edb42409f58 SHA256 6888de46540e493adc797b574cd17fab711d47902709a839aa1a9dbd075d7e2b DIST LADR-2009-11A.tar.gz 1795750 RMD160 b4b1af8af6b7bdd7c1f286789a1e16e38589590e SHA1 0b30a80f36512c0958b0e77ce18d0d8056e33bb1 SHA256 c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0 -EBUILD prover9-2009.11a.ebuild 4803 RMD160 e899312eb90fc9958934f12bb6de3298610aeb66 SHA1 a1172079cbc8b9c11d8ea74c1dd5bf3c50b4f5f2 SHA256 eca811276bd25ad064f8092bf7f006e3f0178b4a660cc9bdf33974e9df771472 -MISC ChangeLog 443 RMD160 8e26d98e54cb403808708fd84416a07ea814414b SHA1 942a6540a6a0ff4bae0ad5c4419b8b4a50920b7e SHA256 74eec010dbf69ab0d137f11c6823b7169869b46d70003f947045b527d8caf762 +EBUILD prover9-2009.11a.ebuild 4811 RMD160 9b40969e91201e20f196da7d7a317624bea301e7 SHA1 4f7fbb945a5c7529a82816b88faa2e9e6d5599df SHA256 3333a950a87c6cac26b1ff8ec6ee543b5b3dddda806f9f8c525c99f319968d10 +MISC ChangeLog 582 RMD160 fc49c48bb783b76610fe9bf9e553fe400fe6a8ca SHA1 db3e0deb2b50aaf19cdd1de0333054f58ba56330 SHA256 a47b5e3ff98f82fea2912efb2c6178539046a582f24f21791fb8f4de759c4be3 MISC metadata.xml 423 RMD160 a767b6d8e7e0486ec16e524255bdefc26d2e06ce SHA1 cd5590400997b34ffd45bcdba632d1225d34529a SHA256 76bcbad4dbff765e937d62cdedad22b15588798f01599e6e3e4b9992d7033536 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) -iF4EAREIAAYFAk8JoM0ACgkQoBEVQmGOlx8+9QD/SQW4sBQ63778meGjN7J+oqaE -gPpRWnCUsDa5qREqUWEBAMxY33+Mi2EL1miMvzpVZU9LC+9yBHMHA6Ebd0p1cBoI -=h4mu +iF4EAREIAAYFAk8Jr+AACgkQoBEVQmGOlx8o8QD/Xf2msI7uZhGINfmPvEEM3TBC +vvYJqPRRA6QrGBbWduIA/10oVxYZdGu7GDd8NvALL8SxMCnKKWgkSYOBjtYY2TbZ +=Ky0Q -----END PGP SIGNATURE----- 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() { |