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