diff options
Diffstat (limited to 'sci-mathematics/prover9/ChangeLog')
| -rw-r--r-- | sci-mathematics/prover9/ChangeLog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sci-mathematics/prover9/ChangeLog b/sci-mathematics/prover9/ChangeLog index 2cacb7f60e30..4bc2dccd8c1e 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.1 2012/01/08 13:57:17 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/prover9/ChangeLog,v 1.2 2012/01/08 15:01:39 gienah Exp $ + + 08 Jan 2012; Mark Wright <gienah@gentoo.org> prover9-2009.11a.ebuild: + Compress the mirrored patch, thanks to xarthisius for reviewing *prover9-2009.11a (08 Jan 2012) |