From 93a637349dc90960561a3831565c60995da0eb31 Mon Sep 17 00:00:00 2001 From: tonio Date: Mon, 16 Jan 2006 14:37:16 +0000 Subject: Updated lang/coq to 8.0pl2nb1 to compile with ocaml >= 3.09 --- doc/CHANGES | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'doc') 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] -- cgit v1.2.3