PLIST.opt « coq « lang - pkgsrc - [no description]

[no description]

Dyson

summary refs log tree commit diff

path: root/lang/coq/PLIST.opt

blob: 984bc964297e5f35c80aa82e5a46eb17f15d2a85 (plain)

@comment $NetBSD: PLIST.opt,v 1.2 2005/02/05 11:19:02 adrianp Exp $
bin/coq-interface.opt
bin/coqtop.opt
man/man1/coqtop.opt.1