Re: Package maintenance of Frama-C
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
Reply to: