pkgsrc-changes: CVS commit: pkgsrc/lang/coq

Subject: CVS commit: pkgsrc/lang/coq
To: None <pkgsrc-changes@NetBSD.org>
From: Adrian Portelli <adrianp@netbsd.org>
List: pkgsrc-changes
Date: 02/05/2005 11:19:02

Module Name:	pkgsrc
Committed By:	adrianp
Date:		Sat Feb  5 11:19:02 UTC 2005

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

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


To generate a diff of this commit:
cvs rdiff -r1.7 -r1.8 pkgsrc/lang/coq/Makefile
cvs rdiff -r1.1.1.1 -r1.2 pkgsrc/lang/coq/PLIST pkgsrc/lang/coq/PLIST.opt \
    pkgsrc/lang/coq/distinfo
cvs rdiff -r1.1.1.1 -r1.2 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.