diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-30 05:16:54 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-30 05:16:54 +0000 |
| commit | e1965d62e2c715101abd21cd61236ac6d030f38e (patch) | |
| tree | b9ca094874294d7688cd6f495812e41d7721ba08 /sci-mathematics | |
| parent | Cleaned up python and boost dependencies. (diff) | |
| download | historical-e1965d62e2c715101abd21cd61236ac6d030f38e.tar.gz historical-e1965d62e2c715101abd21cd61236ac6d030f38e.tar.bz2 historical-e1965d62e2c715101abd21cd61236ac6d030f38e.zip | |
Note I am the maintainer in metadata.xml.
Package-Manager: portage-2.1.10.44/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/prover9/ChangeLog | 5 | ||||
| -rw-r--r-- | sci-mathematics/prover9/Manifest | 10 | ||||
| -rw-r--r-- | sci-mathematics/prover9/metadata.xml | 3 |
3 files changed, 12 insertions, 6 deletions
diff --git a/sci-mathematics/prover9/ChangeLog b/sci-mathematics/prover9/ChangeLog index 4bc2dccd8c1e..3d81f962769c 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.2 2012/01/08 15:01:39 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.3 2012/01/30 05:16:54 gienah Exp $ + + 30 Jan 2012; Mark Wright <gienah@gentoo.org> metadata.xml: + Note I am the maintainer in metadata.xml. 08 Jan 2012; Mark Wright <gienah@gentoo.org> prover9-2009.11a.ebuild: Compress the mirrored patch, thanks to xarthisius for reviewing diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest index 7b86d072c894..cb3f2da510bd 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -5,12 +5,12 @@ AUX LADR-2009-11A-manpages.patch 13832 RMD160 9e53ec550fab18666d66157297aadf5476 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 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 +MISC ChangeLog 688 RMD160 54b487044d65302917e35017938e1e7f88198c61 SHA1 c841c71747e0b5cecdbcc006d51b991d3fe7a67f SHA256 3354dc19bb23acfefe660937efb1e14c1e3c8aca77c4409fbd06dbe37295f308 +MISC metadata.xml 486 RMD160 a866bb4ae53de80aeb934647cd7c849341975a43 SHA1 cb84c6ea3459640c1b960b752f30b92a969c99bf SHA256 4030eae81beca07ab3a2f6c2db9f100471c05d27219fbad21234a09ff1154708 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) -iF4EAREIAAYFAk8Jr+AACgkQoBEVQmGOlx8o8QD/Xf2msI7uZhGINfmPvEEM3TBC -vvYJqPRRA6QrGBbWduIA/10oVxYZdGu7GDd8NvALL8SxMCnKKWgkSYOBjtYY2TbZ -=Ky0Q +iF4EAREIAAYFAk8mJ9QACgkQoBEVQmGOlx8r1wD+Mkgaw+BZ0tkwf8uqBxcl0dGX +VLsLMDLl5Vl1v+1s6VkA/jowPPJ5kuEbRu3ZBrrKNreDnltqo4T276m8LB1iBUXD +=8oqR -----END PGP SIGNATURE----- diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml index cc5ef568b4f5..fbb5bce68955 100644 --- a/sci-mathematics/prover9/metadata.xml +++ b/sci-mathematics/prover9/metadata.xml @@ -1,6 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> +<maintainer> + <email>gienah@gentoo.org></email> +</maintainer> <herd>sci-mathematics</herd> <longdescription lang='en'> Prover9 and Mace4 Prover9 is an automated theorem prover for |