Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
INSTALL.md
Find file
Blame
History
Permalink
[INSTALL] more updates for opam 2.1.0 + fixes Frama-C version number
· 3214042d
Virgile Prevosto
authored
Nov 04, 2021
3214042d