Bug#963705: debian package for frama-c

[Ralf Treinen <treinen@debian.org>]

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/