[findlib] package 'why3' not found
My ubuntu version is Ubuntu 20.04.3 LTS opam version is 4.08.1
After run 'frama-c -kernel-help', happening package 'why3' error.. Package why3 is already installed and current version of why3 is 1.4.0.
jaeyoung@jaeyoung-VirtualBox:~/Downloads/examples$ frama-c -kernel-help
[kernel] User Error: [findlib] package 'why3' not found (required by `frama-c-wp')
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
And Can you recommend a tutorial?