title: Installing frama-c on ubuntu
body: <p>I am trying to install frama-c on ubuntu following the directions here <a href="http://frama-c.com/download.html" rel="nofollow noreferrer">http://frama-c.com/download.html</a>, after installing all the necessary packages, and giving the final command <code>opam install -j 1 frama-c</code>, the result is </p>
  
  <pre><code>The following actions will be performed:
    ∗  install conf-gtksourceview 2             [required by frama-c]
    ∗  install conf-gnomecanvas   2             [required by frama-c]
    ∗  install conf-gmp           1             [required by zarith]
    ∗  install lablgtk            2.18.5        [required by frama-c]
    ∗  install zarith             1.2           [required by frama-c]
    ∗  install ocamlgraph         1.8.6         [required by frama-c-base]
    ∗  install altgr-ergo         1.01          [required by frama-c]
         This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements
    ∗  install alt-ergo           1.01          [required by frama-c]
         This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements
    ∗  install frama-c-base       20160502      [required by frama-c]
         Why3 can be used by the WP plug-in for running additional automatic solvers
         Coq can be used with the WP plug-in for proving interactively proof obligations
    ∗  install frama-c            20160502
  ===== ∗  10 =====
  Do you want to continue ? [Y/n] Y
  
  =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
  [alt-ergo] Archive in cache
  [altgr-ergo] Archive in cache
  [frama-c-base] Archive in cache
  [lablgtk] Archive in cache
  [ocamlgraph] Archive in cache
  [zarith] Archive in cache
  
  =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
  ∗  installed conf-gmp.1
  ∗  installed conf-gnomecanvas.2
  ∗  installed conf-gtksourceview.2
  ∗  installed lablgtk.2.18.5
  ∗  installed ocamlgraph.1.8.6
  ∗  installed zarith.1.2
  ∗  installed alt-ergo.1.01
  ∗  installed altgr-ergo.1.01
  ∗  installed frama-c-base.20160502
  ∗  installed frama-c.20160502
  Done.
  </code></pre>
  
  <p>Apparently it is installed, but I cannot find it anywhere on my system, where it could be?</p>