Hi, 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 > 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.
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 be useful. Cheers -Ralf.
