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
No comments:
Post a Comment