Bug#573978: libgmp-ocaml: Wrong conversion from int on 64 bits computer

[Stéphane Glondu <glondu@debian.org>]

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