diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-05-24 05:49:50 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-05-24 05:49:50 +0000 |
| commit | 4656e4f10d94c0e158c1ab5189422829f7898d31 (patch) | |
| tree | b07e59f5d56bb4e12d583207ce3603d71dcfbe00 /sci-mathematics | |
| parent | fix bug 466776 - typo in email address (diff) | |
| download | gentoo-2-4656e4f10d94c0e158c1ab5189422829f7898d31.tar.gz gentoo-2-4656e4f10d94c0e158c1ab5189422829f7898d31.tar.bz2 gentoo-2-4656e4f10d94c0e158c1ab5189422829f7898d31.zip | |
fix bug 466776 - typo in email address
(Portage version: 2.2.0_alpha176/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/prover9/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/prover9/metadata.xml | 3 |
2 files changed, 7 insertions, 4 deletions
diff --git a/sci-mathematics/prover9/ChangeLog b/sci-mathematics/prover9/ChangeLog index 3d81f962769c..c1e5ae3dc1d9 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.3 2012/01/30 05:16:54 gienah Exp $ +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.4 2013/05/24 05:49:50 gienah Exp $ + + 24 May 2013; Mark Wright <gienah@gentoo.org> metadata.xml: + fix bug 466776 - typo in email address 30 Jan 2012; Mark Wright <gienah@gentoo.org> metadata.xml: Note I am the maintainer in metadata.xml. @@ -13,4 +16,3 @@ 08 Jan 2012; Mark Wright <gienah@gentoo.org> +files/LADR-2009-11A-manpages.patch, +prover9-2009.11a.ebuild, +metadata.xml: Add prover9 mace4 ebuild, thanks Thomas Veith, fixes #49205. - diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml index fbb5bce68955..009eafb60919 100644 --- a/sci-mathematics/prover9/metadata.xml +++ b/sci-mathematics/prover9/metadata.xml @@ -2,7 +2,8 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer> - <email>gienah@gentoo.org></email> + <email>gienah@gentoo.org</email> + <name>Mark Wright</name> </maintainer> <herd>sci-mathematics</herd> <longdescription lang='en'> |