Hi Le ven. 17 avr. 2026, 09:17, Stéphane Glondu <[email protected]> a écrit :
> Le 17/04/2026 à 08:56, Sebastian Ramacher a écrit : > >> elpi (which FTBFS, but has newer upstream versions) and its > >> reverse-dependencies are preventing ppxlib (which is 11 days old now) > >> and its reverse-dependencies to migrate. > > > > Is there anything blocking the fix for elpi? > > Its maintainer (Julien, in CC, who is also the maintainer of all reverse > dependencies) has trouble with his setup and seemingly lacks time to > sort it out, see the thread starting at: > > > https://lists.debian.org/msgid-search/[email protected] I can confirm I'm very interested in updating the whole software stack related to coq/rocq in Debian, but since I still haven't understood why I can't commit new tarballs... Sha sums are correct but pristine-tar just doesn't accept them... I have time to work on packages when I can start compilations and come back a moment later, but I lack the time for a long investigation on a subject I don't know about... I've now been stuck sonce months. Cheers, JP
