Skip to content
GitLab
Explore
Sign in
0.5-beta
cb710f21
·
update version and opam dependencies
·
May 17, 2023
Release:
MetAcsl 0.5~beta, compatible with Frama-C 27.0~beta