Fix Frama-C installation
Fixes Frama-C installation which used obsolete library packages
-
use opam depext to install correct dependencies
-
do not pin specific frama-c version
Fixes Frama-C installation which used obsolete library packages
use opam depext to install correct dependencies
do not pin specific frama-c version