frama-c install error on bullseye

[Enzo Guerra <enzo_guerra@gmx.com>]

hello

installed frama-c on my bullseye distro of Debian

when i exec "frama-c -help" get error, missing why3 lib

installed libwhy3-ocaml-dev (1.3.3-1 and others)

then seems to print the help text without error.

just starting to use it, hope this helps

regards

enzo

--
As Soon As Laws Are Neccessary For Men, They Are No Longer Fit For Freedom
Kinshiro Morooka