I had wasted almost half of a day trying to properly install frama-c on my Linux. I was surprised to see no much documentation or troubleshooting online, so that's the whole point of me putting this note as a public gist.
If you read the official documentation, you'll come across the names of these two packages:
frama-c
and frama-c-base
If you are on Ubuntu 18.04 LTS, you can directly install it using apt install frama-c
, and it will work. You can not do this on a 20.04 LTS Focal Fossa, because apparently, it's not included in the official packages.