Hi all, I just want to let you know that I do not have time to maintain Frama-C anymore. I don't use it anymore. Before considering filing an O: or RFA: bug, is there anyone from the team interested in the package and willing to take care of it? FWIW, I do intend to update the package to the latest upstream version before stopping touching to the package. Cheers, -- Mehdi