Package: coq Version: 8.2-1+dfsg-1 Severity: normal Coq is currently uninstallable in unstable, because ocaml changed its version from 3.11.0 to 3.11.1. Is such a dependency warranted for coq? Would a simple recompile create a new (working) package for coq?
-- System Information: Debian Release: squeeze/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.29-2-686 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages coq depends on: pn coq-theories <none> (no description available) ii emacsen-common 1.4.19 Common facilities for all emacsen ii libc6 2.9-18 GNU C Library: Shared libraries pn ocaml-base-nox-3.11.0 <none> (no description available) Versions of packages coq recommends: pn coqide | proofgeneral-coq <none> (no description available) Versions of packages coq suggests: ii cle 0.4-7 Wrap any command-line driven tool ii coq-doc 8.1-3 documentation for Coq in html form pn libcoq-ocaml-dev <none> (no description available) ii ocaml-nox 3.11.1-2 ML implementation with a class-bas pn proofgeneral-coq <none> (no description available) -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
