Issue with ssreflect...
From
=?UTF-8?Q?St=C3=A9phane_Glondu?=@21:1/5 to
All on Sun Dec 31 11:40:01 2023
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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)