From 2cd9bef4d70e6d23a7ceae043879cec4d6dbbdf7 Mon Sep 17 00:00:00 2001 From: Mark Wright Date: Mon, 30 Jan 2012 05:16:54 +0000 Subject: Note I am the maintainer in metadata.xml. (Portage version: 2.1.10.44/cvs/Linux x86_64) --- sci-mathematics/prover9/ChangeLog | 5 ++++- sci-mathematics/prover9/metadata.xml | 3 +++ 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'sci-mathematics') 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 metadata.xml: + Note I am the maintainer in metadata.xml. 08 Jan 2012; Mark Wright 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 @@ + + gienah@gentoo.org> + sci-mathematics Prover9 and Mace4 Prover9 is an automated theorem prover for -- cgit v1.2.3-65-gdbad