Bug#959599: frama-c: FTBFS fixed upstream

[Andre Maroneze <Andre.MARONEZE@cea.fr>]

On Sat, 06 Jun 2020 09:47:57 -0400 John Scott <jscott@posteo.net> wrote:
> Control: forwarded -1 
https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html
> Control: tags -1 fixed-upstream
>
> I'm having trouble finding their VCS and what commit fixed this, but 
updating
> Frama-C to the beta should be sufficient. Unstable and testing 
already have
> Why3 >= 1.3.

For information, the Frama-C public VCS (git) is available at: 
https://git.frama-c.com/pub/frama-c/-/tree/master

There is no specific commit which updated compatibility from Why3 1.2 to 
Why3 1.3 (there is an entire branch with several commits related to it), 
but https://git.frama-c.com/pub/frama-c/-/commit/1c7acc37c44f914f60a27 
would be close.

In any case, thanks for looking into this, and please tell us if there's 
anything we can do to help fix the frama-c package on Debian testing.

--
André Maroneze, for the Frama-C team