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 s
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 from
2 matches
Mail list logo