On Thu, Aug 10, 2017 at 06:23:53PM -0400, Mehdi Dogguy wrote:
> Hi all,
> I just want to let you know that I do not have time to maintain Frama-C
> 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.
since it is a dependency of why I can for the moment take care of what
has to be done, but it obviously would be better if someone who uses
frama-c directly could take care of that. So, an RFA bug might still