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)" Thanks! Jochen
