diff options
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 |