--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on July 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] why-2.31 installation problem



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