jaapb 712188c50e Updated package to work with new mk/ocaml.mk; no upstream changes. Revbump.		2016-06-20 15:36:04 +00:00
..
patches	Updated package to version 4.1.1, and added some patches from the upstream	2016-05-05 16:04:21 +00:00
buildlink3.mk	Updated package to work with new mk/ocaml.mk; no upstream changes. Revbump.	2016-06-20 15:36:04 +00:00
DESCR
distinfo	Updated package to version 4.1.1, and added some patches from the upstream	2016-05-05 16:04:21 +00:00
Makefile	Updated package to work with new mk/ocaml.mk; no upstream changes. Revbump.	2016-06-20 15:36:04 +00:00
options.mk	Updated package to version 4.1.1, and added some patches from the upstream	2016-05-05 16:04:21 +00:00
PLIST	Updated package to work with new mk/ocaml.mk; no upstream changes. Revbump.	2016-06-20 15:36:04 +00:00