elan 4.2.4 unmaintained
Small tool to manage your installations of the Lean theorem prover
- Name
elan-4.2.4- Package set
- top-level
- Homepage
- https://github.com/leanprover/elan
- License
- Apache-2.0, MIT
- Main program
elan- Source
- pkgs/by-name/el/elan/package.nix:85
- Derivation
/nix/store/fj08nqdv9b1vincd4nnvikvpi46m94c3-elan-4.2.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 0
This package has no maintainers.
Dependencies 10
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| curl 8.22.0 | buildInputs | 63,176 | maintained | |
| openssl 3.5.8 | buildInputs | 76,598 | maintained outdated | |
| zlib 1.3.2 | buildInputs | 102,161 | team-only | |
| cargo 1.98.1 | nativeBuildInputs | 28,708 | team-only | |
| cargo-auditable-cargo-wrapper 1.98.1 | nativeBuildInputs | 23,029 | single | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,592 | unmaintained setup hook | |
| pkg-config 0.29.2 | nativeBuildInputs | 77,751 | unmaintained | |
| rustc 1.98.1 | nativeBuildInputs | 30,070 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.