Antoine Brodin cff02893b4 Cleanup plist		2014-11-13 23:24:00 +00:00
..
distinfo	- Update coq to 8.4.3	2014-01-11 09:31:40 +00:00
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