Hello, We've received the following bugreport against the mlgmp package:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=573978 which can be summarized as: > The gmp bindings for ocaml proveded by this package > have a buggy implementation of Z.from_int on 64bits computer. > The wrong behavior can be reproduced as follows: [...] I see on your page no recent release of mlgmp. The most recent one seems to date back to 2002 and is the one currently in Debian. A dead-upstream, buggy library, with few reverse-dependencies is a candidate for removal from Debian. Do you confirm that this project is discontinued? I've also put in CC Jean-Christophe Filliâtre, the author of the only reverse-dependency of mlgmp, ocamlcreal, which would most likely be removed from Debian as well should mlgmp be removed and/or replaced with something incompatible (the original reporter mentioned mlgmpidl). Best regards, -- Stéphane Glondu -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

