--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on July 2012 ---
A new version of the tarball why-2.31.tar.gz is available on http://why.lri.fr/download. The problem with "make install" and the file lib/why3/coq.drv should be fixed. Sorry for the inconvenience, - Claude