path: root/lang/coq/PLIST.opt

@comment $NetBSD: PLIST.opt,v 1.3 2006/01/27 19:22:58 tonio Exp $
bin/coq-interface.opt
bin/coqtop.opt
bin/parser.opt
man/man1/coqtop.opt.1