diff options
author | kristerw <kristerw@pkgsrc.org> | 2003-03-22 20:21:16 +0000 |
---|---|---|
committer | kristerw <kristerw@pkgsrc.org> | 2003-03-22 20:21:16 +0000 |
commit | 358f2678e542cb1b15ad25c43b8a9d20c5365994 (patch) | |
tree | 7eb193bdfae6b63163d62dd8c922ea2115b80fda /lang/coq/PLIST.opt | |
parent | 820fbba04cff4ef84a4b95935879dd6f49943f64 (diff) | |
download | pkgsrc-358f2678e542cb1b15ad25c43b8a9d20c5365994.tar.gz |
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.
Diffstat (limited to 'lang/coq/PLIST.opt')
-rw-r--r-- | lang/coq/PLIST.opt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lang/coq/PLIST.opt b/lang/coq/PLIST.opt new file mode 100644 index 00000000000..97caf70f99f --- /dev/null +++ b/lang/coq/PLIST.opt @@ -0,0 +1,6 @@ +@comment $NetBSD: PLIST.opt,v 1.1.1.1 2003/03/22 20:21:17 kristerw Exp $ +bin/coq-interface.opt +bin/coqtop.opt +bin/parser +man/man1/coqtop.opt.1 +man/man1/parser.1 |