Bug#466326: coq: Depends: ocaml-base-nox-3.10.0 but it is not installable

[Stéphane Glondu <steph@glondu.net>]

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