lean
lean 3.51.0 · pkgs/by-name/le/lean/package.nix
Health
Risk
risk 14 low
- +12 3.51.0 is behind upstream 4.35.0, a major release
- +2 no meta.mainProgram, no versionCheckHook
Version
3.51.0 upstream 4.35.0
Channels
Hydra
succeeded 7w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Automatic and interactive theorem prover
Homepage
License
Platforms
45 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open. Upstream has 4.35.0: how to update a package.
Pull requests 0
None open.
Closed or merged in the synced window 1
treewide: mark as broken on darwin (last successful Hydra build 2024)
#563346 by iedame · merged 4w ago
Issues 1
Build failure: lean
#574093 by malikwirin · opened 2d ago · 2 comments