Bug#1010656: libcoq-mathcomp-finmap: Depends: coq- but it is not installable

[Adrian Bunk]

Package: libcoq-mathcomp-finmap
Version: 1.5.1-3
Severity: serious

The following packages have unmet dependencies:
 libcoq-mathcomp-finmap : Depends: coq- but it is not installable