--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on September 2012 ---
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/