diff --git a/doc/CHANGES-2009 b/doc/CHANGES-2009
index acc27af7b5c9..11ba6fcbf369 100644
--- a/doc/CHANGES-2009
+++ b/doc/CHANGES-2009
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2009,v 1.3509 2009/09/05 13:44:54 asau Exp $
+$NetBSD: CHANGES-2009,v 1.3510 2009/09/05 21:08:18 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2009:
 
@@ -4569,3 +4569,4 @@ Changes to the packages collection and infrastructure in 2009:
 	Updated www/opengoo to 1.5.3 [taca 2009-09-05]
 	Updated math/yacas to 1.2.2 [asau 2009-09-05]
 	Updated biology/chemtool to 1.6.12 [asau 2009-09-05]
+	Updated lang/coq to 8.2pl1 [tonio 2009-09-05]