pkgsrc/lang/coq
2004-01-24 13:51:13 +00:00
..
patches
DESCR
distinfo
Makefile replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make. 2004-01-24 13:51:13 +00:00
MESSAGE
PLIST
PLIST.opt