--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0



Hello Jens,

On Wed, Sep 12, 2012 at 6:17 AM, Jens Gerlach
<jens.gerlach at first.fraunhofer.de> wrote:
> Hello,
>
> As Frama-C users (for industry and in teaching) we really appreciate that the
> Frama-C developers and maintainers for linux distributions closely cooperate
> to include Frama-C in major linux distributions.
>
> It's really a great help when you can tell your customers and students that all
> they have to do is select Frama-C from a packet manager.
>
> Thanks a lot!
>
> Jens

Well, it's a great piece of software.  I've been very impressed by the
multiple friendly responses I've received on this mailing list.
Thanks for the warm welcome, everyone.

Regards,
-- 
Jerry James
http://www.jamezone.org/