freebsd-ports/math/coq
2014-11-13 23:24:00 +00:00
..
distinfo
Makefile Update the default version of GCC in the Ports Collection from GCC 4.7.4 2014-09-10 20:50:31 +00:00
pkg-descr
pkg-plist Cleanup plist 2014-11-13 23:24:00 +00:00