Subject: CVS commit: pkgsrc/lang/coq
To: None <pkgsrc-changes@NetBSD.org>
From: Antoine Reilles <tonio@netbsd.org>
List: pkgsrc-changes
Date: 01/27/2006 19:22:58
Module Name:	pkgsrc
Committed By:	tonio
Date:		Fri Jan 27 19:22:58 UTC 2006

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

Log Message:
Update lang/coq to 8.0pl3

Changelog:
- Coq sources made compatible with ocaml 3.09.0 and lablgtk 2.6.0.
- The search depth argument of auto can be parameterised in the Ltac language
- Added entry constr_may_eval for tactic extensions (new syntax)
- A couple of lemmas of ZArith were renamed: O -> 0
- many bugfixes, for extraction, Ltac, tactics...


To generate a diff of this commit:
cvs rdiff -r1.11 -r1.12 pkgsrc/lang/coq/Makefile
cvs rdiff -r1.2 -r1.3 pkgsrc/lang/coq/PLIST pkgsrc/lang/coq/PLIST.opt
cvs rdiff -r1.4 -r1.5 pkgsrc/lang/coq/distinfo
cvs rdiff -r1.3 -r1.4 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.