Package: release.debian.org Severity: normal X-Debbugs-Cc: [email protected], [email protected] Control: affects -1 + src:elpi User: [email protected] Usertags: rm
Dear Release Team, 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. easy -coq-corn -coq-deriving -coq-elpi -coq-extructures -coq-hierarchy-builder -coq-interval -coq-quickchick -coq-reglang -coq-relation-algebra -coqeal -coquelicot -elpi -mathcomp-algebra-tactics -mathcomp-analysis -mathcomp-bigenough -mathcomp-finmap -mathcomp-multinomials -mathcomp-real-closed -mathcomp-zify -ssreflect Cheers, -- Stéphane
