6 lines
166 B
Text
6 lines
166 B
Text
@comment $NetBSD: PLIST.opt,v 1.4 2007/01/17 11:14:46 tonio Exp $
|
|
bin/coq-interface.opt
|
|
${WITH_IDE}bin/coqide.opt
|
|
bin/coqtop.opt
|
|
bin/parser.opt
|
|
man/man1/coqtop.opt.1
|