Hello, On Fri, Jan 08, 2021 at 10:02:27PM -0500, Enzo Guerra wrote: > hello > > installed frama-c on my bullseye distro of Debian > > when i exec "frama-c -help" get error, missing why3 lib frama-c-base version 20201209+titanium-3 (uploaded yesterday) has a dependency on libwhy3-ocaml-dev, do that should be ok now. Anyway, when reporting problems, please tell us the version of the software, and include a copy-paste of the error message. Best -Ralf.