lang/coq/PLIST.opt


1
2
3
4
5
6

@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