--- layout: fc_discuss_archives title: Message 7 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,

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