--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on July 2016 ---
Le 15/07/2016 11:40, Prasuna Saka a écrit : > Having FRAMAC Neon version installed, trying to install jessie plug-in, > getting into the following problem. > > Chosen Why3-0.83 and why2-35. please be careful with the dependencies : see http://krakatoa.lri.fr/ however, as I said before with opam the proper dependencies should be chosen for you. - Claude -- Claude Marché | tel: +33 1 69 15 66 08 INRIA Saclay - Ãle-de-France | Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |