On 06/03/2010 11:03 PM, Mehdi Dogguy wrote:
% ocaml
Objective Caml version 3.11.2
# #directory +apron;;
# #load gmp.cma;;
Cannot load required shared library dllgmp_caml.
Reason: /usr/lib/ocaml/stublibs/dllgmp_caml.so:
/usr/lib/ocaml/stublibs/dllgmp_caml.so:
tag 573978 + pending
thanks
On 0, Claude Marche claude.mar...@inria.fr wrote:
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:
ocaml
#directory +gmp;;
#load gmp.cma;;
Hi all,
I confirm that I maintain this library when I feel a need for it - that
is, when I actually need to use it. I can fix this bug when I have time,
or JC can fix it.
I already made a fix in my own version but I'm not 100% sure it is ok. I
would prefer having David checking and applying
Package: libgmp-ocaml
Version: 20021123-16+b1
Severity: important
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:
ocaml
#directory +gmp;;
#load gmp.cma;;
open Gmp;;
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
Stéphane Glondu wrote:
Do you confirm that this project is discontinued?
I confirm that I maintain this library when I feel a need for it - that
is, when I actually need to use it. I can fix this bug when I have time,
or JC can fix it.
attachment: David_Monniaux.vcf
6 matches
Mail list logo
