asau e059e7e469 Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.		2012-10-23 17:18:07 +00:00
..
files
patches	Updated to version 3.1.3. Fixed -gui build to work with x11/lablgtk 2.16.	2012-09-14 19:23:30 +00:00
DESCR
distinfo	Updated to version 3.1.3. Fixed -gui build to work with x11/lablgtk 2.16.	2012-09-14 19:23:30 +00:00
Makefile	Revision bump associated with the update of lang/ocaml to version 4.	2012-10-08 15:18:20 +00:00
Makefile.common	Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.	2012-10-23 17:18:07 +00:00
MESSAGE
PLIST