diff options
| author | tonio <tonio@pkgsrc.org> | 2007-12-01 13:06:32 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2007-12-01 13:06:32 +0000 |
| commit | 52260fe6cf3ff2e21a7ee8157d395af8f75ad603 (patch) | |
| tree | fc498f3bd695c20e18a1ad017a2cb47885286eaa | |
| parent | 2b5269ef60233fc5c3ff720528126ae142356357 (diff) | |
| download | pkgsrc-52260fe6cf3ff2e21a7ee8157d395af8f75ad603.tar.gz | |
Updated lang/coq to 8.1pl2
| -rw-r--r-- | doc/CHANGES-2007 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES-2007 b/doc/CHANGES-2007 index 0f73959b1de..9676a1ba478 100644 --- a/doc/CHANGES-2007 +++ b/doc/CHANGES-2007 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2007,v 1.2549 2007/12/01 12:58:41 tonio Exp $ +$NetBSD: CHANGES-2007,v 1.2550 2007/12/01 13:06:32 tonio Exp $ Changes to the packages collection and infrastructure in 2007: @@ -4664,3 +4664,4 @@ Changes to the packages collection and infrastructure in 2007: Updated security/crypto++ to 5.2.1nb1 [rillig 2007-12-01] Updated lang/gprolog to 1.3.0 [rillig 2007-12-01] Added lang/camlp5 version 5.01 [tonio 2007-12-01] + Updated lang/coq to 8.1pl2 [tonio 2007-12-01] |