Subject: CVS commit: pkgsrc/lang/coq
From: Antoine Reilles
Date: 2008-01-12 12:48:40
Message id: 20080112114840.9884321507@cvs.netbsd.org
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.
Files:
RevisionActionfile
1.19modifypkgsrc/lang/coq/Makefile
1.8modifypkgsrc/lang/coq/distinfo
1.7modifypkgsrc/lang/coq/patches/patch-aa