wiz 5a1e8b0499 Revbump for ... a) tiff update to 4.0 (shlib major change) b) glib2 update 2.30.2 (adds libffi dependency to buildlink3.mk) Enjoy.		2012-02-06 12:40:37 +00:00
..
patches	Update lang/coq to 8.3pl1	2011-03-28 20:39:26 +00:00
DESCR
distinfo	Update lang/coq to 8.3pl1	2011-03-28 20:39:26 +00:00
Makefile	Revbump for	2012-02-06 12:40:37 +00:00
MESSAGE
PLIST	Update lang/coq to 8.3	2010-11-14 20:53:02 +00:00
PLIST.natdynlink	Update lang/coq to 8.3	2010-11-14 20:53:02 +00:00
PLIST.opt	Update lang/coq to 8.3	2010-11-14 20:53:02 +00:00