Skip to content
Snippets Groups Projects
Commit 695c5133 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[install] provide a URL for downloading Ivette packages

parent 31db63c1
No related branches found
No related tags found
No related merge requests found
......@@ -313,7 +313,8 @@ recommended for you to remove the bootstrapping `ivette` script if you want to
use the binary distribution of Ivette.
Only stable distributions are available online for now.
Download the Ivette distribution that corresponds to your version of Frama-C.
Download the Ivette distribution that corresponds to your version of Frama-C,
following the appropriate link from this page: https://frama-c.com/html/framac-versions.html
### Installing Ivette via the online packages on Linux
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment