[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1003797: libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable



Package: libssreflect-coq
Version: 1.13.0-1
Severity: serious

The following packages have unmet dependencies:
 libssreflect-coq : Depends: coq-8.14.0+4.11.1 but it is not installable

libssreflect-coq is binary-all, therefore requires a source upload.


Reply to: