Commit 501e866c authored by Thibault Martin's avatar Thibault Martin
Browse files

Update Frama-C & Ocaml required version

parent 3dc19afb
......@@ -11,7 +11,7 @@ LAnnotate is a Frama-C plugin.
LAnnotate requires Frama-C 18 (Argon) or later to be installed.
LAnnotate requires Frama-C 20 (Calcium) or later to be installed and ocaml 4.10.0 .
Once Frama-C is installed, run autoconf, configure, compile and install
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment