• Virgile Prevosto's avatar
    [README] update for 24.0 · 868ac64b
    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
README.md 4.8 KB