diff options
Diffstat (limited to 'sci-mathematics/coq/ChangeLog')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 509d73e5c405..8ce95bc34f95 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/coq # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.75 2013/01/07 02:30:46 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.76 2013/01/15 19:25:21 aballier Exp $ + + 15 Jan 2013; Alexis Ballier <aballier@gentoo.org> coq-8.4_p1.ebuild, + +files/coq-8.4_p1-camlp4.patch: + fix build with camlp4, bug #450954 *coq-8.4_p1 (07 Jan 2013) |