diff options
author | tonio <tonio@pkgsrc.org> | 2006-01-16 14:37:16 +0000 |
---|---|---|
committer | tonio <tonio@pkgsrc.org> | 2006-01-16 14:37:16 +0000 |
commit | 93a637349dc90960561a3831565c60995da0eb31 (patch) | |
tree | 46f58f925c3866582880fa35eed92f858f3e8fe9 | |
parent | df6e25c511bda28e29cfa8bed244dec4252ec000 (diff) | |
download | pkgsrc-93a637349dc90960561a3831565c60995da0eb31.tar.gz |
Updated lang/coq to 8.0pl2nb1 to compile with ocaml >= 3.09
-rw-r--r-- | doc/CHANGES | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES b/doc/CHANGES index a378d2495bd..e5ad3a93014 100644 --- a/doc/CHANGES +++ b/doc/CHANGES @@ -1,4 +1,4 @@ -$NetBSD: CHANGES,v 1.12547 2006/01/16 14:35:20 taca Exp $ +$NetBSD: CHANGES,v 1.12548 2006/01/16 14:37:16 tonio Exp $ Changes to the packages collection and infrastructure in 2006: @@ -332,3 +332,4 @@ Changes to the packages collection and infrastructure in 2006: Added audio/flite version 1.3 [xtraeme 2006-01-16] Updated x11/gtkmm to 2.8.2 [adam 2006-01-16] Updated comms/efax-gtk to 3.0.8 [adam 2006-01-16] + Updated lang/coq to 8.0pl2nb1 [tonio 2006-01-16] |