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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
