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