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

[Adrian Bunk]

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.