Frama-C v{{ page.number }} {{ page.name }}

{% if page.previous %} {{ page.previous.name }} {% endif %} Latest Version {% if page.next %} {{ page.next.name }} {% endif %}
{% for release in page.releases %} {% for categorie in release.categories %}

{{ categorie.name }}[Changes]

{% for file in categorie.files %} {% if file.link contains 'pdf' %}
{% else %}
{% endif %} {{ file.name }}  {% if file.help %} [{{ file.help }}]{% endif %}
{% endfor %}
{% endfor %} {% endfor %}
VERSION
VERSION