Skip to content
GitLab
Explore
Sign in
0.0.15
Frama-CI Bot
@frama-ci-bot
4c406b61
·
[ci] explicitly add needed packages for nix release target
·
Mar 19, 2024
Release:
Release v0.0.15
Release 0.0.15