Status of Coq-related packages

[Mehdi Dogguy <mehdi@dogguy.org>]

Hi,

Coq 8.5 has been uploaded to Unstable, but its reverse dependencies were not
updated. As a consequence, many of them (if not all?) are broken (#813596,
#813459 and #813820).

Is there any plan to fix those packages?

For now, I've hinted buggy packages and their reverse dependencies (coq-float,
ssreflect, mathcomp) for removal from testing.

Regards,

-- 
Mehdi