Bump menhir version in flake.nix #828
Triggered via pull request
September 18, 2025 15:14
Status
Success
Total duration
4m 21s
Artifacts
–