pkgsrc/lang/coq
2004-04-28 05:06:28 +00:00
..
patches
DESCR
distinfo
Makefile Convert to buildlink3. 2004-04-28 05:06:28 +00:00
MESSAGE
PLIST
PLIST.opt