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

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

Log Message:
By popular demand, move coq-7.4 from math to lang in order to be consistent
with prior art (e.g. lang/twelf).

    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/lang/coq/MESSAGE
N pkgsrc/lang/coq/DESCR
N pkgsrc/lang/coq/Makefile
N pkgsrc/lang/coq/PLIST
N pkgsrc/lang/coq/PLIST.opt
N pkgsrc/lang/coq/distinfo
N pkgsrc/lang/coq/patches/patch-aa

No conflicts created by this import