How to install frama-c on *nix
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:
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.