Received: from cvs.netbsd.org (cvs.netbsd.org [204.152.190.10])
	by mail.netbsd.org (Postfix) with ESMTP id 2470463B11C
	for <pkgsrc-changes@NetBSD.org>; Sat, 12 Jan 2008 11:48:08 +0000 (UTC)
Received: by cvs.netbsd.org (Postfix, from userid 500)
	id 9884321507; Sat, 12 Jan 2008 11:48:40 +0000 (UTC)
From: Antoine Reilles <tonio@netbsd.org>
Subject: CVS commit: pkgsrc/lang/coq
To: pkgsrc-changes@NetBSD.org
Reply-To: tonio@netbsd.org
Message-Id: <20080112114840.9884321507@cvs.netbsd.org>
Date: Sat, 12 Jan 2008 11:48:40 +0000 (UTC)
Content-Length: 635
Lines: 26


Module Name:	pkgsrc
Committed By:	tonio
Date:		Sat Jan 12 11:48:40 UTC 2008

Modified Files:
	pkgsrc/lang/coq: Makefile distinfo
	pkgsrc/lang/coq/patches: patch-aa

Log Message:
Update lang/coq to 8.1pl3

hanges from V8.1pl2 to V8.1pl3
===============================
Bug fixes
- A critical bug and a few other bugs have been fixed.


To generate a diff of this commit:
cvs rdiff -r1.18 -r1.19 pkgsrc/lang/coq/Makefile
cvs rdiff -r1.7 -r1.8 pkgsrc/lang/coq/distinfo
cvs rdiff -r1.6 -r1.7 pkgsrc/lang/coq/patches/patch-aa

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.