On 11/08/2017 03:46, Ralf Treinen wrote: > 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. >
Noted. Thank you Ralf for your prompt reply! I'll file the RFA as soon as I get the new upstream version ready. Cheers, -- Mehdi
