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