On 10-02-2008, Julien Cristau <[EMAIL PROTECTED]> wrote: > > --C7PTD44AewjTsiSV > Content-Type: text/plain; charset=us-ascii > Content-Disposition: inline > > FWIW, there seems to be a patch for the arm ocamlopt bug (attached). >
Xavier Leroy told me that arm port should be fixed in the new release. I will however wait for the transition to be finished to check this (i think there is also issues with felix package). Regards Sylvain Le Gall -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
