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

Reply via email to