Control: tags -1 moreinfo Hi Jochen
On 2023-04-21 21:35:21 +0200, Jochen Sprickerhof wrote: > Package: release.debian.org > Severity: normal > User: [email protected] > Usertags: binnmu > X-Debbugs-Cc: [email protected] > 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
