Subject: CVS commit: pkgsrc/lang/coq
From: Adrian Portelli
Date: 2005-02-05 12:19:02
Message id: 20050205111902.372602DA1D@cvs.netbsd.org
Log Message:
- Update of coq from 7.4 to 8.0pl2
- Initial patches supplied by Antoine Reilles, thanks !
- Lots of changes/fixes/updates, see: CHANGES
Files:
RevisionActionfile
1.8modifypkgsrc/lang/coq/Makefile
1.2modifypkgsrc/lang/coq/PLIST
1.2modifypkgsrc/lang/coq/PLIST.opt
1.2modifypkgsrc/lang/coq/distinfo
1.2modifypkgsrc/lang/coq/patches/patch-aa