Bug#944204: coq: Updating ocaml to 4.08.1-2 removes coq
Le 05/11/2019 à 21:57, Witold Baryluk a écrit :
> root@debian:~# apt dist-upgrade -V
> [...]
> The following packages will be REMOVED:
> coq (8.9.1-1)
> coq-theories (8.9.1-1)
> libcoq-ocaml (8.9.1-1)
> [...]
> Not sure if coq needs to target specific version of ocaml and it is
> correct (and I shoudl simply wait), or maybe dependencies are specified
> incorrect in coq package.
This is expected at this stage of the OCaml transition. Just wait for
coq to be recompiled.
Cheers,
--
Stéphane
Reply to: