Issue with ssreflect...

[Stéphane Glondu <glondu@debian.org>]

Hi,

In the last upload of ssreflect, a new dependency to 
coq-hierarchy-builder has been introduced. But this package 
(transitively) depends on elpi, which is not available on all 
architectures. Hence, ssreflect will stay in out-of-date state at least 
on armhf and s390x, preventing many more packages (including coq AFAICT) 
from migrating to testing.

To progress, one of the following must be done:
- add armhf and s390x to elpi's supported Architectures
- remove ssreflect armhf and s390x binaries (and their reverse dependencies)

By the way, why is elpi restricted to some architectures in the first place?


Cheers,

--
Stéphane