Install Frama-c-gui On A Debian, Ubuntu, Fedora And Raspbian
Install frama-c-gui
-
Debian
apt-get install frama-c
Click to copy -
Ubuntu
apt-get install frama-c
Click to copy -
Fedora
dnf install frama-c
Click to copy -
Raspbian
apt-get install frama-c
Click to copy
Install the latest version of frama-c-gui in Debian, Ubuntu, Fedora and Raspbian from terminal. To install the frama-c-gui just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of frama-c-gui from the respository and install it in your computer/server.