Le dimanche 13 novembre 2022 à 19:08 +0100, Paul Gevers a écrit : > Source: elpi > Version: 1.16.5-1 > Severity: serious > Control: close -1 1.16.7-2 > Tags: sid bookworm > User: release.debian....@packages.debian.org > Usertags: out-of-sync > > Dear maintainer(s), > > The Release Team considers packages that are out-of-sync between > testing and unstable for more than 60 days as having a Release > Critical bug in testing [1]. Your package src:elpi has been trying to > migrate for 62 days [2]. Hence, I am filing this bug. I think > something went wrong with the rebuilds (or the order of them or > something), because elpi can't migrate because it would make libcoq- > elpi on armhf not installable and libcoq-elpi in unstable can't > migrate because two reverse test dependencies fail to install during > autopkgtesting on armhf.
I have filed bugs to get those armhf binary packages removed last tuesday ; I expect they'll go away soon enough. I waited too long for elpi's upstream to fix the arch-issues before disabling them... sorry. Hopefully things will go smooth afterwards. Thanks, J.Puydt