Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable
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
Reply to: