6 lines
170 B
Text
6 lines
170 B
Text
@comment $NetBSD: PLIST.opt,v 1.5 2008/04/27 10:46:16 tonio Exp $
|
|
bin/coq-interface.opt
|
|
${PLIST.coqide}bin/coqide.opt
|
|
bin/coqtop.opt
|
|
bin/parser.opt
|
|
man/man1/coqtop.opt.1
|