-
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
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
To learn more about this project, read the wiki.