diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-01-07 02:30:46 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-01-07 02:30:46 +0000 |
| commit | 5d9267f5eb01ca3477672ec074d2d96dc79676bd (patch) | |
| tree | 5dc169082ec3287f034455136ce158deb8ce9c2c /sci-mathematics/coq/ChangeLog | |
| parent | Stable for HPPA (bug #449746). (diff) | |
| download | gentoo-2-5d9267f5eb01ca3477672ec074d2d96dc79676bd.tar.gz gentoo-2-5d9267f5eb01ca3477672ec074d2d96dc79676bd.tar.bz2 gentoo-2-5d9267f5eb01ca3477672ec074d2d96dc79676bd.zip | |
Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, so that patch is not applied to coq-8.4_p1.
(Portage version: 2.1.11.38/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/coq/ChangeLog')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index e77afcde0c4c..509d73e5c405 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,12 @@ # 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.74 2012/10/06 21:07:26 aballier Exp $ +# 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 $ + +*coq-8.4_p1 (07 Jan 2013) + + 07 Jan 2013; Mark Wright <gienah@gentoo.org> +coq-8.4_p1.ebuild: + Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, so + that patch is not applied to coq-8.4_p1. 07 Oct 2012; Alexis Ballier <aballier@gentoo.org> coq-8.4.ebuild, metadata.xml: @@ -339,4 +345,3 @@ metadata.xml, files/ocaml-3.07.patch: Initial commit. Related bugs are 30388 and 24616. norealanalysis use flag idea taken from Peter Lietz <p.lietz@gmx.de> ebuild. - |