Here is an updated diff fixing the reported problems: - no more duplicate entries. They sneaked in while I updated the PLISTS for bytecode-only ocaml - update the distfile (again ?!?), use https.
Christopher -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub CB07 DA40 B0B6 571D 35E2 0DEF 87E2 92A7 13E5 DEE1
ocaml49.diff.gz
Description: application/gzip
pgpg7B4adnWN7.pgp
Description: OpenPGP digital signature