Frama-C release as provided in Vessedia D3.5 deliverable
This tag has no release notes.