Package: libssreflect-coq Version: 1.11.0-1 Severity: serious X-Debbugs-Cc: sramacher@debian.org $ apt install libssreflect-coq Reading package lists... Done Building dependency tree Reading state information... Done Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: 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. Cheers -- Sebastian Ramacher
Attachment:
signature.asc
Description: PGP signature