On 11/12/2016 03:02 PM, Tobias Hansen wrote:
> Package: release.debian.org
> Severity: normal
> User: [email protected]
> 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
> [email protected] 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";
Just to say that upstream is more than willing too cooperate
with Tobias if he decides to take over the ppl package.
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:[email protected]
BUGSENG srl - http://bugseng.com
mailto:[email protected]
