On Fri, Apr 09, 2021 at 04:07:07PM -0400, Leo Famulari wrote: > On Fri, Apr 09, 2021 at 09:47:13PM +0200, Nicolò Balzarotti wrote: > > Staging has an older version (5.8 vs 7.2, which has been released in > > november 2019 [fn:1] though), and it got updated a few days ago > > (28cc447fc5bd0a219ad54836a343826cc34d9bd7) if I'm not wrong, so it should > > fail on staging too. Am I wrong? > > Ah, could be. The new staging builds haven't been performed yet.
Thanks for following up. Sure, I think it's fine to remove a package if it does not build and has no dependents.
