Frama-C 21.0 (Scandium) release.
This tag has no release notes.