lang/coq/PLIST.opt


1
2
3
4
5
6

@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