Brendan Fabeny ddc550ff99 update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust ... dependent ports PR: 144982, 149958 Reviewed by: johans (earlier version of the patch)		2013-03-05 20:22:02 +00:00
..
distinfo	- Update coq to 8.4 pl1 [1]	2013-02-17 10:43:22 +00:00
Makefile	update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust	2013-03-05 20:22:02 +00:00
pkg-descr
pkg-plist	- Update coq to 8.4 pl1 [1]	2013-02-17 10:43:22 +00:00