28.0
protected
b3dbccc6
·
[release] fix script for beta -> final release
·
Nov 30, 2023
Release:
Frama-C 28.0 Nickel