pkgsrc-wip/coq
..
DESCR
distinfo
Makefile
options.mk
PLIST