diff options
Diffstat (limited to 'sci-mathematics/prover9/ChangeLog')
| -rw-r--r-- | sci-mathematics/prover9/ChangeLog | 8 |
1 files changed, 5 insertions, 3 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. - |