Bug#535320: coq: Coq not available with ocaml 3.11.1
Jean-Christophe Dubacq wrote:
> 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?
>
We are in the middle of an OCaml transition. All packages in unstable are
supposed broken for the moment.
If you want to recompile Coq with OCaml 3.11.1, then you also have to
recompile all its dependencies. The version (same as the one in unstable)
in testing is still running fine.
Cheers,
--
Mehdi Dogguy مهدي الدڤي
http://www.pps.jussieu.fr/~dogguy
Tel.: (+33).1.44.27.28.38
Reply to: