Commit 7c94911d authored by Thibault Martin's avatar Thibault Martin
Browse files

Update README

parent aefb28b4
......@@ -11,7 +11,7 @@ LAnnotate is a Frama-C plugin.
Installation
------------
LAnnotate requires Frama-C 20 (Calcium) or later to be installed and ocaml 4.10.0 .
LAnnotate requires Frama-C 21.1 (Scandium) or later to be installed and ocaml 4.10.0 .
Once Frama-C is installed, run autoconf, configure, compile and install
LAnnotate:
autoconf
......
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