diff options
| author | adrianp <adrianp@pkgsrc.org> | 2005-02-05 11:20:10 +0000 |
|---|---|---|
| committer | adrianp <adrianp@pkgsrc.org> | 2005-02-05 11:20:10 +0000 |
| commit | be6ba2adbc8cbe6188feec5f24a7433a64674534 (patch) | |
| tree | 747d96beda2e0fcabd3c3ec4a89cfa624a17acd0 | |
| parent | 55bb4bd887b47cd6073f53dd796ea0b0f8771cfd (diff) | |
| download | pkgsrc-be6ba2adbc8cbe6188feec5f24a7433a64674534.tar.gz | |
note update of coq to 8.0pl2
| -rw-r--r-- | doc/CHANGES | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES b/doc/CHANGES index 7bc2b76170e..f07e6b81f53 100644 --- a/doc/CHANGES +++ b/doc/CHANGES @@ -1,4 +1,4 @@ -$NetBSD: CHANGES,v 1.9041 2005/02/05 06:03:08 minskim Exp $ +$NetBSD: CHANGES,v 1.9042 2005/02/05 11:20:10 adrianp Exp $ Changes to the packages collection and infrastructure in 2005: @@ -757,3 +757,4 @@ Changes to the packages collection and infrastructure in 2005: Updated labltk to 3.08.2 [adrianp 2005-02-04] Updated cksfv to 1.3.3 [wiz 2005-02-05] Updated xterm to 199 [minskim 2005-02-05] + Updated coq to 8.0pl2 [adrianp 2005-02-05] |