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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org