Module Name:	pkgsrc
Committed By:	kristerw
Date:		Sat Mar 22 18:20:57 UTC 2003

Update of /cvsroot/pkgsrc/math/coq
In directory minbar.netbsd.org:/tmp/cvs-serv8774

Log Message:
Import coq 7.4. From Christopher Richards in PR 20669.

    Coq is a Proof Assistant for a Logical Framework known as the
    Calculus of Inductive Constructions. It allows the interactive
    construction of formal proofs, and also the manipulation of
    functional programs consistently with their specifications.


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/math/coq/Makefile
N pkgsrc/math/coq/PLIST
N pkgsrc/math/coq/distinfo
N pkgsrc/math/coq/MESSAGE
N pkgsrc/math/coq/DESCR
N pkgsrc/math/coq/PLIST.opt
N pkgsrc/math/coq/patches/patch-aa

No conflicts created by this import