--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on July 2018 ---
This is to announce a new release of the *Why* distribution, containing the Krakatoa tool for deductive verification of Java programs and the Jessie plug-in of Frama-C for deductive verification of C programs. It is distributed as free software under the LGPL licence. It is installable via compilation of the sources (http://krakatoa.lri.fr) or as an OPAM package (https://opam.ocaml.org/packages/why/why.2.41/). This version is compatible with Frama-C Chlorine-20180501 and Why3 versions 0.87.x and 0.88.x. Beware that it is *not* compatible with any other versions of Frama-C and not compatible with Why3 1.x