diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2012-05-17 14:52:29 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2012-05-17 14:52:29 +0000 |
| commit | b31fabe751c4bc6bc10be764bbadb6a5af2f5d81 (patch) | |
| tree | ee98de726744eeae951d147047785dc4736bd304 /sci-mathematics/coq/ChangeLog | |
| parent | keyword ~amd64-fbsd (diff) | |
| download | gentoo-2-b31fabe751c4bc6bc10be764bbadb6a5af2f5d81.tar.gz gentoo-2-b31fabe751c4bc6bc10be764bbadb6a5af2f5d81.tar.bz2 gentoo-2-b31fabe751c4bc6bc10be764bbadb6a5af2f5d81.zip | |
version bump, by Christian D., bug #416389
(Portage version: 2.2.0_alpha107/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/coq/ChangeLog')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 2196c6f840ee..44cc26d91b70 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.69 2012/03/24 13:59:39 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.70 2012/05/17 14:52:29 aballier Exp $ + +*coq-8.3_p4 (17 May 2012) + + 17 May 2012; Alexis Ballier <aballier@gentoo.org> +coq-8.3_p4.ebuild: + version bump, by Christian D., bug #416389 24 Mar 2012; Mark Wright <gienah@gentoo.org> coq-8.3_p2.ebuild, coq-8.3_p3.ebuild: |