openbsd-ports/math/coq
2010-07-18 10:30:41 +00:00
..
patches
pkg
distinfo
Makefile REVISION 2010-07-18 10:30:41 +00:00