chlorine.md

layout: version
number: 17
name: Chlorine
releases:
  - number: 0
    categories:
    - name: Frama-C v17.0 Chlorine
      changelog: http://frama-c.com/Changelog.html#Chlorine-17.0
      files:
        - name: Source distribution
          link: http://frama-c.com/download/frama-c-17.0-Chlorine.tar.gz
          help: Compilation instructions
          help_link: http://frama-c.com/install-17.0-Chlorine.html
        - name: User manual
          link: http://frama-c.com/download/user-manual-17.0-Chlorine.pdf
    - name: Plug-in Manuals