Bug#570920: ocaml: error in the num library on sparc
Package: ocaml
Version: 3.11.2-1
Severity: important
Hello,
Some checks of the Coq test suite fail on sparc because of an error in
the num library. I've submitted a bugreport upstream; I'm
submitting this one to keep track of this issue in Debian.
Cheers,
--
Stéphane
-- System Information:
Debian Release: squeeze/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-trunk-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages ocaml depends on:
ii libx11-dev 2:1.3.3-1 X11 client-side library (developme
ii ocaml-base [ocaml-base-3.11.2 3.11.2-1 Runtime system for OCaml bytecode
ii ocaml-nox [ocaml-nox-3.11.2] 3.11.2-1 ML implementation with a class-bas
ocaml recommends no packages.
Versions of packages ocaml suggests:
ii tcl8.5-dev 8.5.8-2 Tcl (the Tool Command Language) v8
ii tk8.5-dev 8.5.8-1 Tk toolkit for Tcl and X11, v8.5 -
-- no debconf information
Reply to: