nixpkgs / elan - Small tool to manage your installations of the Lean theorem prover

Homepage - https://github.com/leanprover/elan

Maintainers - Gabriel Ebner

Releases

1.3.1 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.0.7 (expand/collapse)
From commit 039e3758 to 039e3758
1.3.1 (expand/collapse)
From commit 0535a5b7 to 021410c0
1.3.0 (expand/collapse)
From commit 06708435 to 02119e9c
1.2.0 (expand/collapse)
From commit 07b54fd9 to 07b54fd9
1.1.0 (expand/collapse)
From commit 016b0a42 to 020738a1
1.0.7 (expand/collapse)
From commit 06c691cf to 06c691cf
1.1.0 (expand/collapse)
From commit 02a1a2b3 to 04e1d248
1.0.7 (expand/collapse)
From commit 07bf8a26 to 07bf8a26
1.1.0 (expand/collapse)
From commit 031f005c to 031f005c
1.0.7 (expand/collapse)
From commit 076ce972 to 076ce972
1.1.0 (expand/collapse)
From commit 01d55988 to 03de8807
1.0.7 (expand/collapse)
From commit 02c142a2 to 0465cd73
0.10.3 (expand/collapse)
From commit 074ef76e to 074ef76e
1.0.7 (expand/collapse)
From commit 00910f76 to 07557e3b
1.0.6 (expand/collapse)
From commit 012009ec to 012009ec
1.0.7 (expand/collapse)
From commit 05cf40db to 05e11f84
1.0.6 (expand/collapse)
From commit 06d67bb2 to 06d67bb2
1.0.7 (expand/collapse)
From commit 0457e3db to 049444dc
1.0.6 (expand/collapse)
From commit 062d47f9 to 062d47f9
1.0.7 (expand/collapse)
From commit 0544ee55 to 057b31cf
1.0.6 (expand/collapse)
From commit 00b4c55f to 00b4c55f
1.0.7 (expand/collapse)
From commit 06132441 to 027b2ac2
1.0.6 (expand/collapse)
From commit 0374a6c0 to 0374a6c0
1.0.7 (expand/collapse)
From commit 04e6b03f to 04c94cc5
1.0.6 (expand/collapse)
From commit 04855119 to 0798ed1a
0.11.0 (expand/collapse)
From commit 065a8102 to 065a8102
1.0.6 (expand/collapse)
From commit 0548185f to 04de1306
1.0.2 (expand/collapse)
From commit 0044356d to 0044356d
1.0.6 (expand/collapse)
From commit 06c4f46a to 021bc5b9
1.0.2 (expand/collapse)
From commit 04be5ced to 04be5ced
1.0.6 (expand/collapse)
From commit 06688b73 to 06688b73
1.0.2 (expand/collapse)
From commit 06047727 to 06047727
1.0.6 (expand/collapse)
From commit 04f8630f to 07571e7a
1.0.2 (expand/collapse)
From commit 044053e2 to 055dc300
0.11.0 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.0.2 (expand/collapse)
From commit 037e5170 to 062e1e59
0.11.0 (expand/collapse)
From commit 05065605 to 05065605
1.0.2 (expand/collapse)
From commit 022c5b09 to 01dc2d9c
0.11.0 (expand/collapse)
From commit 0253c5c2 to 0253c5c2
1.0.2 (expand/collapse)
From commit 0123d8c4 to 07168414
1.0.0 (expand/collapse)
From commit 04e9977b to 04e9977b
1.0.2 (expand/collapse)
From commit 0586a566 to 0463f91e
1.0.0 (expand/collapse)
From commit 079fca15 to 03e55dac
0.11.0 (expand/collapse)
From commit 03e50cf1 to 056eb56f
0.10.3 (expand/collapse)
From commit 064e0af8 to 064e0af8
0.11.0 (expand/collapse)
From commit 06dee383 to 0139874d
0.10.3 (expand/collapse)
From commit 064b446f to 064b446f
0.11.0 (expand/collapse)
From commit 027c28b1 to 031da799
0.10.3 (expand/collapse)
From commit 01b1ddfa to 01b1ddfa
0.11.0 (expand/collapse)
From commit 01ea2748 to 0625b9a7
0.10.3 (expand/collapse)
From commit 038d5eb8 to 038d5eb8
0.11.0 (expand/collapse)
From commit 03a351da to 03a351da
0.10.3 (expand/collapse)
From commit 0221bcf5 to 0221bcf5
0.11.0 (expand/collapse)
From commit 0661cf48 to 011f0b78
0.10.3 (expand/collapse)
From commit 033208fd to 02531646
0.10.2 (expand/collapse)
From commit 04946f42 to 04946f42
0.10.3 (expand/collapse)
From commit 00305cca to 06623ebd
0.10.2 (expand/collapse)
From commit 066544a7 to 006ae1dd
0.8.0 (expand/collapse)
From commit 05a16be9 to 05a16be9
0.10.2 (expand/collapse)
From commit 049b68be to 0456d939
0.8.0 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
0.10.2 (expand/collapse)
From commit 07178d79 to 008e7e32
0.10.0 (expand/collapse)
From commit 0476b979 to 0476b979
0.10.2 (expand/collapse)
From commit 03f116ea to 0674b0d4
0.8.0 (expand/collapse)
From commit 06ac7027 to 06ac7027
0.10.2 (expand/collapse)
From commit 0045730c to 0045730c
0.10.0 (expand/collapse)
From commit 0428650d to 0428650d
0.10.2 (expand/collapse)
From commit 062302e0 to 02790835
0.10.0 (expand/collapse)
From commit 02ac04d3 to 02ac04d3
0.10.2 (expand/collapse)
From commit 05ff0995 to 05f92696
0.10.0 (expand/collapse)
From commit 06e69099 to 06e69099
0.10.2 (expand/collapse)
From commit 0744df0b to 0527318a
0.10.0 (expand/collapse)
From commit 057383bb to 07a46f3b
0.8.0 (expand/collapse)
From commit 00b90430 to 00b90430
0.10.0 (expand/collapse)
From commit 0010ae49 to 0581aa6c
0.8.0 (expand/collapse)
From commit 01b645e8 to 01b645e8
0.10.0 (expand/collapse)
From commit 05bcfa18 to 01bc3321
0.9.0 (expand/collapse)
From commit 05a7b695 to 077c7f78
0.8.0 (expand/collapse)
From commit 0288741d to 077c3c19
0.7.5 (expand/collapse)
From commit 03f3d67e to 03f3d67e
0.8.0 (expand/collapse)
From commit 01740090 to 01c9c9b1
0.7.5 (expand/collapse)
From commit 07bd8938 to 07bd8938
0.8.0 (expand/collapse)
From commit 0521dc3f to 037c91b1
0.7.5 (expand/collapse)
From commit 00afca09 to 00afca09
0.8.0 (expand/collapse)
From commit 0723df3b to 03fb78e8
0.7.5 (expand/collapse)
From commit 05873291 to 06ca7346
0.8.0 (expand/collapse)
From commit 0757551d to 04d61233
0.7.5 (expand/collapse)
From commit 051637db to 051637db
0.8.0 (expand/collapse)
From commit 036c2fed to 01db31c4
0.7.5 (expand/collapse)
From commit 04cc8385 to 0395f441
0.7.2 (expand/collapse)
From commit 0045164b to 0045164b
0.7.5 (expand/collapse)
From commit 05b0411c to 06fad89b
0.7.2 (expand/collapse)
From commit 0333d877 to 0333d877
0.7.5 (expand/collapse)
From commit 028a4b6a to 072adccf
0.7.4 (expand/collapse)
From commit 078de9ce to 078de9ce
0.7.2 (expand/collapse)
From commit 02f62753 to 02f62753
0.7.4 (expand/collapse)
From commit 03539679 to 03539679
0.7.2 (expand/collapse)
From commit 04469284 to 0438ad47
0.7.1 (expand/collapse)
From commit 0590170c to 0590170c
0.7.2 (expand/collapse)
From commit 052db93d to 026ec75d
0.7.1 (expand/collapse)
From commit 05ee1015 to 05232abb
0.7.2 (expand/collapse)
From commit 034e4a0f to 034e4a0f
0.7.1 (expand/collapse)
From commit 07a3f3fb to 01dbf436
0.5.0 (expand/collapse)
From commit 028164ef to 028164ef
0.7.1 (expand/collapse)
From commit 056c03ae to 02602b2c
0.5.0 (expand/collapse)
From commit 0329e26f to 0329e26f
0.7.1 (expand/collapse)
From commit 07ace1d2 to 011f1c73
0.5.0 (expand/collapse)
From commit 0644b4d9 to 06956fa9
0.3.2 (expand/collapse)
From commit 078b9b4c to 078b9b4c
0.5.0 (expand/collapse)
From commit 0163b986 to 00e31931
0.3.2 (expand/collapse)
From commit 03872eb1 to 03872eb1
0.5.0 (expand/collapse)
From commit 053d1e03 to 04e5cf66
0.3.2 (expand/collapse)
From commit 04113fb8 to 0764d599
0.1.0 (expand/collapse)
From commit 037e5d86 to 03cf4bf6