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
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
2 matches
Mail list logo