-
Virgile Prevosto authored
- use https for URL - fix URL of frama-c-discuss - update quick install instructions for opam 2.1.0 - use --dev-repo for opam pin instructions
868ac64b
- use https for URL - fix URL of frama-c-discuss - update quick install instructions for opam 2.1.0 - use --dev-repo for opam pin instructions