Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
INSTALL.md
Find file
Blame
History
Permalink
Update installation instructions for opam 2.1.0
· c122f58e
Virgile Prevosto
authored
Nov 04, 2021
depext is now bundled in opam directly. Explicit installation instructions are kept for reference.
c122f58e