diff options
| author |   Markus Ullmann <jokey@gentoo.org> | 2007-02-22 01:18:39 +0000 |
|---|---|---|
| committer | Markus Ullmann <jokey@gentoo.org> | 2007-02-22 01:18:39 +0000 |
| commit | ceef2f64330a6941c49b3b051db2c4441adf3c1e (patch) | |
| tree | 6dc5c65d49a5912909dd540ebd07ffba05779ed9 /sci-mathematics/coq | |
| parent | Redigest for Manifest2 (diff) | |
| download | gentoo-2-ceef2f64330a6941c49b3b051db2c4441adf3c1e.tar.gz gentoo-2-ceef2f64330a6941c49b3b051db2c4441adf3c1e.tar.bz2 gentoo-2-ceef2f64330a6941c49b3b051db2c4441adf3c1e.zip | |
Redigest for Manifest2
(Portage version: 2.1.2-r10)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index e0d87296373d..54125d34af5b 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/coq -# Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.11 2006/09/24 09:16:43 hansmi Exp $ +# Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.12 2007/02/22 01:18:39 jokey Exp $ + + 22 Feb 2007; Markus Ullmann <jokey@gentoo.org> ChangeLog: + Redigest for Manifest2 24 Sep 2006; Michael Hanselmann <hansmi@gentoo.org> coq-8.0_p3.ebuild: Stable on ppc. |