Thanks for the report, i will close the bug now. Sven Luther -- To UNSUBSCRIBE, email to debian-ocaml-maint-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org