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 | 2cd9bef4d70e6d23a7ceae043879cec4d6dbbdf7 (patch) | |
| tree | 76628e0868dec855ecba2955a2a13d538c58e61b /sci-mathematics/prover9 | |
| parent | Cleaned up python and boost dependencies. (diff) | |
| download | gentoo-2-2cd9bef4d70e6d23a7ceae043879cec4d6dbbdf7.tar.gz gentoo-2-2cd9bef4d70e6d23a7ceae043879cec4d6dbbdf7.tar.bz2 gentoo-2-2cd9bef4d70e6d23a7ceae043879cec4d6dbbdf7.zip | |
Note I am the maintainer in metadata.xml.
(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/metadata.xml | 3 |
2 files changed, 7 insertions, 1 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/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 |