Bug#844100: transition: ppl

[Tobias Hansen <thansen@debian.org>]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition

Hi Release Team,

I noticed yesterday that ppl has two RC bugs and was removed from
testing. I would like to take over the package and fix it, but one of
the RC bugs (#811825) is best fixed by updating to the new upstream
version, which requires a small library transition. Since the
debian-devel-announce@l.d.o mail from November 5 said the transition
freeze is only for "transitions that involve a large number of packages",
I'd thought I'd ask if we can still do this transition.

I already created a package of ppl 1.2 that fixes both RC bugs. ppl has
two reverse dependencies, which were of course both removed from testing
because of ppl:

apron
cloog-ppl

I checked that they both build without changes against the updated ppl
package.

If it's too late for the transition, we'll have to see if we can fix
#811825 by applying a patch that does not require a transition.

Thanks,
Tobias

Ben file:

title = "ppl";
is_affected = .depends ~ "libppl13v5" | .depends ~ "libppl14";
is_good = .depends ~ "libppl14";
is_bad = .depends ~ "libppl13v5";