On 22/12/2016 10:04, Mehdi Dogguy wrote: > It needs (at least) to be recompiled against the latest frama-c before > being considered a candidate for migration. I've scheduled a binNMU on > amd64 to see if it builds. I'll investigate the breakage if it fails. >
It built successfully on amd64. I've scheduled binNMUs for the other architectures. https://buildd.debian.org/status/fetch.php?pkg=why&arch=amd64&ver=2.36-3%2Bb1&stamp=1482398387 Regards, -- Mehdi
