--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on July 2012 ---
On 19.07.2012 15:10, Claude Marche wrote: > A new release of Why (version 2.31) is available from the site > http://why.lri.fr I can only see why-2.30 available for download. Boris