Hello, thanks for your bug report regarding the version of frama-c in debian not supporting the current version of why3. This is just to let you know that I am currently working on upgrading the frama-c package to scandium.
Your offer to help with thesting the debian package (once it is ready) is greately appreciated. I'll come back to you later about how to set this up. Best- Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Pôle Preuves, Programmes et Systèmes Université de Paris http://www.irif.fr/~treinen/