wiz 5d86518619 Switch github HOMEPAGEs to https.		2017-07-30 22:32:10 +00:00
..
DESCR
distinfo
Makefile	Switch github HOMEPAGEs to https.	2017-07-30 22:32:10 +00:00
PLIST	Revbump to make sure package gets recompiled with newer mk/ocaml.mk, and	2016-06-20 10:29:29 +00:00