Gerald Pfeifer 15945f8122 Update the default version of GCC in the Ports Collection from GCC 4.7.4 ... to GCC 4.8.3. Part II, Bump PORTREVISIONs. PR: 192025 Tested by: antoine (-exp runs) Approved by: portmgr (implicit)		2014-09-10 20:50:31 +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	- Update coq to 8.4.3	2014-01-11 09:31:40 +00:00