[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#573978: marked as done (libgmp-ocaml: Wrong conversion from int on 64 bits computer)

Your message dated Thu, 03 Jun 2010 21:55:34 +0000
with message-id <E1OKINy-0003rB-Gf@ries.debian.org>
and subject line Bug#573978: fixed in mlgmp 20021123-17
has caused the Debian Bug report #573978,
regarding libgmp-ocaml: Wrong conversion from int on 64 bits computer
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
573978: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=573978
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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;;
#install_printer Z.print;;
Z.from_int Pervasives.max_int;; (* gives -1 instead of 4611686018427387903 *)
Z.from_int Pervasives.min_int;; (* gives 0 instead of -4611686018427387904 *)

My guess is that the C stubs are using Int_val instead of Long_val, but I can't provide a patch since I'm not sure.

Remark: there exists another open-source library providing Ocaml bindings for GMP, named MLGMPIDL and
available at

http://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/index.html

Moreover, it additionally provides bindings for MPFR.

I've tested it and it does not have the bug above. Hence, you maintainers should consider replacing
the current MLGMP bindings with this new MLGMPIDL.

Thanks!

- Claude Marche



-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.32-trunk-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libgmp-ocaml depends on:
ii  libc6                     2.10.2-2       GNU C Library: Shared libraries
ii  libgmp3c2                 2:4.3.2+dfsg-1 Multiprecision arithmetic library
ii  ocaml-base-nox [ocaml-bas 3.11.2-1       Runtime system for OCaml bytecode 

libgmp-ocaml recommends no packages.

libgmp-ocaml suggests no packages.

-- no debconf information

--- End Message ---
--- Begin Message --- 
Source: mlgmp
Source-Version: 20021123-17

We believe that the bug you reported is fixed in the latest version of
mlgmp, which is due to be installed in the Debian FTP archive:

libgmp-ocaml-dev_20021123-17_amd64.deb
  to main/m/mlgmp/libgmp-ocaml-dev_20021123-17_amd64.deb
libgmp-ocaml_20021123-17_amd64.deb
  to main/m/mlgmp/libgmp-ocaml_20021123-17_amd64.deb
mlgmp_20021123-17.diff.gz
  to main/m/mlgmp/mlgmp_20021123-17.diff.gz
mlgmp_20021123-17.dsc
  to main/m/mlgmp/mlgmp_20021123-17.dsc



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 573978@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (supplier of updated mlgmp package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 03 Jun 2010 23:05:36 +0200
Source: mlgmp
Binary: libgmp-ocaml libgmp-ocaml-dev
Architecture: source amd64
Version: 20021123-17
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description: 
 libgmp-ocaml - OCaml bindings for the GNU multiprecision arithmetic library
 libgmp-ocaml-dev - OCaml bindings for the GNU multiprecision arithmetic library
Closes: 573978
Changes: 
 mlgmp (20021123-17) unstable; urgency=low
 .
   * debian/patches/20_mlgmp_z.dpatch: fix wrong conversion from int on
     64 bits computers (Closes: #573978).
   * Bump ocaml-nox version to (>= 3.11.1-3~) and dh-ocaml to (>= 0.9~).
   * Bump standards to 3.8.4, no changes needed.
   * Remove Zack from Uploaders (on his request).
   * Add debian/source/format (keep 1.0 for now).
Checksums-Sha1: 
 e5194e63bfe8952f65cba82ac8df44b27a86abca 2158 mlgmp_20021123-17.dsc
 0546406137788dfc15822d68bfef1ef132d720ec 8219 mlgmp_20021123-17.diff.gz
 8050088519f77e9fd0d3d35c6acb5fd8b14d5743 26708 libgmp-ocaml_20021123-17_amd64.deb
 434ffd1af3e132f6272e6e0c3b29cf95b931b64b 100944 libgmp-ocaml-dev_20021123-17_amd64.deb
Checksums-Sha256: 
 6c88c26f0386657065d630f0639252bab73d91c5f0a80ac4f2b343b3167946f6 2158 mlgmp_20021123-17.dsc
 373abbc806b802eba87b5e5158ecac93f56b4411f22c72c299003a1e63cacac3 8219 mlgmp_20021123-17.diff.gz
 ab461eac0ce1f1ddedbac6345c9268e16fbc9322f353990425cf51b6a3782063 26708 libgmp-ocaml_20021123-17_amd64.deb
 ca1f4f8b705e65fa26c4da81180e159d7095270338b91ee29b0ef9cc8ff5b317 100944 libgmp-ocaml-dev_20021123-17_amd64.deb
Files: 
 03f33e702b6490f17a27234a479be6fb 2158 ocaml optional mlgmp_20021123-17.dsc
 fdf93509f4e8bd7620677997cf19ff91 8219 ocaml optional mlgmp_20021123-17.diff.gz
 6783c89d8c4ee8e27a923d00da3fdf24 26708 ocaml optional libgmp-ocaml_20021123-17_amd64.deb
 68ffdd89b2aa951a48f04178579e6cc0 100944 ocaml optional libgmp-ocaml-dev_20021123-17_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAEBCAAGBQJMCBnjAAoJEDO+GgqMLtj/kCEP/2Irr+lxAHDmVlTrN4BDpLaK
JEsmp4AG+GZF7TzTqyuRKS+pa/t2zZW67ZZV9WWeD7JepPz1md500Ybh3rNEAHkd
8Vc49tCZ7LEnbxjq2yzyONV5gQ4c385N5JCEiPkTN1+AOYJsSdbdtgLp1Blxu1zA
6fFHuKn8rHkDgMp2BLoBWKXHeFYJVlfSifwX+I14nIyvfY73AL/lN97yMyEv0y3m
hs78XzhN8zZeg3YUCGTSLhcE+B1iJ3ABp6LrzeU7HHMq2nkXLe3eyPMXjpc5Ml8N
3ZaE2TzXB493HW33mxdstXUdBdjd4X20z6Rw8VedG875bXZbdvwmR0AgKboacw0U
qw+aR9WFp9NNol1Ij1mIPZmtaduy3/8QP5ABYAeZMbXqNvLkPt//qnUgeR5lN1m2
si1JMH1pWoMBihd4VO2N0gKGnUklMzJCuymc+gP73r+gGlstgRGuWTj6agNZ75ZD
Vxlz/YKgS2R+F+7EvOzXsQoXd+glgtn3qH7Iu5P3FRCZVq8SvQU+bexHfuZNf9/Z
G2qbLpRtRQxEp65H9rPry2t+/hNyscgkDWhlU7aQEBv4lk23PF9iWok198t0LQ+4
7veIA56m2R2CR8gYktAoUVYYMyH20pOoxevcNnb5+xZyxX6PSx9Y0kbyZSMvS/Ho
C+SsQVFVdcoQAQMhF7BD
=GOwy
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: