Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
lean: 3.16.2 -> 3.16.5 #92044
Semi-automatic update generated by nixpkgs-update tools. This update was made based on information from https://github.com/leanprover-community/lean/releases.
meta.description for lean is: "Automatic and interactive theorem prover"
meta.homepage for lean is: "https://leanprover.github.io/"
meta.changelog for lean is: "https://github.com/leanprover-community/lean/blob/v3.16.5/doc/changes.md"
To inspect upstream changes
Checks done (click to expand)
Rebuild report (if merged into master) (click to expand)
Instructions to test this update (click to expand)
Either download from Cachix:
(r-ryantm's Cachix cache is only trusted for this store-path realization.)
Or, build yourself:
After you've downloaded or built it, look at the files and if there are any, run the binaries:
Pre-merge build results
We have automatically built all packages that will get rebuilt due to
This gives evidence on whether the upgrade will break dependent packages.
1 package marked as broken and skipped:
1 package built: