Why3 0.70 release
This tag has no release notes.