Bug#1010655: libcoq-mathcomp-bigenough: Depends: coq- but it is not installable

[Adrian Bunk]

Package: libcoq-mathcomp-bigenough
Version: 1.0.1-3
Severity: serious

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