diff options
Diffstat (limited to 'math/coq/PLIST.opt')
| -rw-r--r-- | math/coq/PLIST.opt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/math/coq/PLIST.opt b/math/coq/PLIST.opt new file mode 100644 index 00000000000..5a86c6a545a --- /dev/null +++ b/math/coq/PLIST.opt @@ -0,0 +1,6 @@ +@comment $NetBSD: PLIST.opt,v 1.1.1.1 2003/03/22 18:20:55 kristerw Exp $ +bin/coq-interface.opt +bin/coqtop.opt +bin/parser +man/man1/coqtop.opt.1 +man/man1/parser.1 |