Bug#959599: frama-c: FTBFS fixed upstream

On Sat, 06 Jun 2020 09:47:57 -0400 John Scott 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

Bug#963705: frama-c-base: missing dependency why3

Package: frama-c-base Version: 20191204+calcium-0.1 The package frama-c-base is not currently usable: when running `frama-c` (with or without arguments), we get the following message: [kernel] User Error: [findlib] package 'why3' not found (required by `frama-c-wp') This prevents Frama-C