asau e1ab7079b6 Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.		2012-10-31 11:16:30 +00:00
..
files
patches	Update to 1.3.3, from maintainer Jaap Boender in PR 46796:	2012-08-14 06:56:21 +00:00
buildlink3.mk
DESCR
distinfo	Update to 1.3.3, from maintainer Jaap Boender in PR 46796:	2012-08-14 06:56:21 +00:00
Makefile	Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.	2012-10-31 11:16:30 +00:00
PLIST	Revision bump associated with the update of lang/ocaml to version 4.	2012-10-08 15:18:20 +00:00