Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
why3: 1.1.1 -> 1.2.0 #55951
Motivation for this change
thoughtpolice left a comment
LGTM, but https://github.com/NixOS/nixpkgs/pull/55951/checks?check_run_id=66198611 indicates that
Otherwise, feel free to merge, or I'll do it soon.