30.0
protected
01813077
·
tentative fix for building ivette package in the CI on macos
·
Dec 05, 2024
Release:
Frama-C 30.0 Zinc