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
meta.description for elan is: "Small tool to manage your installations of the Lean theorem prover"
meta.homepage for elan is: "https://github.com/Kha/elan"
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 built:
cc @gebner for testing.