Bug#1034691: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

[Sebastian Ramacher <sramacher@debian.org>]

Control: tags -1 moreinfo

Hi Jochen

On 2023-04-21 21:35:21 +0200, Jochen Sprickerhof wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: binnmu
> X-Debbugs-Cc: why3@packages.debian.org
> Control: affects -1 + src:why3 src:frama-c
> 
> Hi release team,
> 
> can you please binNMU why3 to pick up the new ABI:
> 
> nmu why3_1.5.1-1+b1 . ANY . unstable . -m "Rebuild with new OCaml ABI"
> 
> And afterwards frama-c needs a rebuild against the new why3:
> 
> nmu frama-c_20220511-manganese-3-10 . ANY . unstable . -m "Rebuild with new OCaml ABI (Closes: #1033701)"

why3 installs perfectly fine in both bookworm and unstable. Why is this
needed? We are past the point of doing transitions (especially
uncoordinated ones).

Cheers
-- 
Sebastian Ramacher