Le 03/11/2020 à 22:53, Sebastian Ramacher a écrit : > The following packages have unmet dependencies: > libssreflect-coq : Depends: coq-8.12.0+4.08.1 but it is not installable > E: Unable to correct problems, you have held broken packages. Oh. I built the package locally (on Sep 11), but forgot to upload it. Sorry! Cheers, -- Stéphane