Mike Jolley a écrit : > ocaml-base-nox is an available package, but this package doesn't know about > it. I tried running alien on a .rpm from the Coq site but it doesn't work > either. [...] > 500 unstable ftp.debian.org
Add testing to your sources.list. A new version of OCaml has been released, and the migration to this new version is ongoing. As a consequence, all ocaml-dependant packages in unstable are uninstallable until they are rebuilt. Cheers, -- Stéphane Glondu
