nixsearch / pkg / elan
elan
Small tool to manage your installations of the Lean theorem prover
version4.2.4
attributeelan
revf45c6f04c2f013f004bf94e284e95d72898d9393 · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add elan@4.2.4
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#elan
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 4.2.4resolved | ✓ | ✓ | – | ✓ | elan |
02f5696b0e | ||
| 4.2.3 | ✓ | ✓ | ✓ | ✓ | elan |
varies | ||
| 4.2.2 | ✓ | ✓ | ✓ | ✓ | elan |
3109eaae18 | ||
| 4.2.1 | ✓ | ✓ | ✓ | ✓ | elan |
4a29d733e8 | ||
| 4.2.0 | ✓ | ✓ | ✓ | ✓ | elan |
26eaeac4e4 | ||
| 4.1.2 | ✓ | ✓ | ✓ | ✓ | elan |
80d901ec03 | ||
| 4.1.1 | ✓ | ✓ | ✓ | ✓ | elan |
12a5540765 | ||
| 4.0.1 | ✓ | ✓ | ✓ | ✓ | elan |
507b63021a | ||
| 4.0.0 | ✓ | ✓ | ✓ | ✓ | elan |
ebe4301cbd | ||
| 3.1.1-unstable-2024-08-02 | ✓ | ✓ | ✓ | ✓ | elan |
50165c4f7e | ||
| 3.1.1 | ✓ | ✓ | ✓ | ✓ | elan |
c3392ad349 | ||
| 3.1.0 | ✓ | ✓ | ✓ | ✓ | elan |
93e1c2d084 | ||
| 3.0.0 | ✓ | ✓ | ✓ | ✓ | elan |
10b813040d | ||
| 2.0.1 | ✓ | ✓ | ✓ | ✓ | elan |
efd23a1c9a | ||
| 2.0.0 | ✓ | ✓ | ✓ | ✓ | elan |
dfcffbd74f | ||
| 1.4.6 | ✓ | ✓ | ✓ | ✓ | elan |
b38e95ea6c | ||
| 1.4.5 | ✓ | ✓ | ✓ | ✓ | elan |
4d887ae766 | ||
| 1.4.2 | ✓ | ✓ | ✓ | ✓ | elan |
d12fa94d29 | ||
| 1.4.1 | ✓ | ✓ | ✓ | ✓ | elan |
994df04c3c | ||
| 1.4.0 | ✓ | ✓ | ✓ | ✓ | elan |
0bbb65673c | ||
| 1.3.1 | ✓ | ✓ | ✓ | ✓ | elan |
varies | ||
| 1.3.0 | ✓ | – | ✓ | ✓ | elan |
481afad265 | ||
| 1.1.0 | ✓ | – | ✓ | ✓ | elan |
718895c149 | ||
| 1.0.7 | ✓ | – | ✓ | ✓ | elan |
ee084c0204 | ||
| 1.0.6 | ✓ | – | ✓ | ✓ | elan |
varies | ||
| 1.0.2 | – | – | ✓ | ✓ | elan |
db6e089456 | ||
| 1.0.0 | – | – | – | ✓ | elan |
282473158c | ||
| 0.11.0 | – | – | – | ✓ | elan |
79cb2cb986 | ||
| 0.10.3 | – | – | – | ✓ | elan |
733b33a07e | ||
| 0.10.2 | – | – | – | ✓ | elan |
4eccd6f731 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.