SlackBuilds Repository

elan is a small tool for managing your installations of the Lean
theorem prover. It places lean and lake binaries in your PATH that
automatically select and, if necessary, download the Lean version
described in your project's lean-toolchain file. You can also install,
select, run, and uninstall Lean versions manually using the commands
of the elan executable.

elan is basically a fork of rustup. Apart from new features and
adaptions to the Lean infrastructure, these are the basic changes to
the original code:

Replaced every mention of rustup with elan, cargo with lake, and
rust(c) with lean Merged CARGO_HOME and RUSTUP_HOME Removed options to
configure host triple

Note: elan is one of the ways to manage Lean toolchains. The SB author
cannot guarantee that it is the best one. Learning on the experience
of other GNU/Linux distributions, it might be reasonable to have other
packages from the lean-* package family in the future.

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

Source Downloads (64bit):
winapi-build-0.1.1.crate (c900e7dbce808ff8ced375077b17a163)
winapi-0.2.8.crate (b44489eb4799c4fabac3fceb48de54f7)
foreign-types-shared-0.1.1.crate (667e86b8b8d96ab4e9605627ce7dcc9a)
foreign-types-0.3.2.crate (78c898fdaa3968e23904bf8538c4a271)
winapi-x86_64-pc-windows-gnu-0.4.0.crate (db96b50050277bf05a3c68534bbb9586)
winapi-0.3.9.crate (09de9d01e7331ff3da11f58be8bef0df)
ole32-sys-0.2.0.crate (e1c08dd529c5e71ff0f06c4fe4dcff7e)
pipeline-0.5.0.crate (6ee5c12c25f9ef371ac4f3fa8546b9af)
gcc-0.3.55.crate (d024d23a2c7e5dae75422a514daa686f)
strsim-0.8.0.crate (781d4ccf5d04c98fa02af207a9639249)
textwrap-0.11.0.crate (a8de006fe0c7e373c560dd51599287a8)
wait-timeout-0.2.0.crate (6708629acf3d2ecb7404e43255d2df85)
ansi_term-0.12.1.crate (f44e8d1d2e61974b268852797530ea41)
lazy_static-1.4.0.crate (fba3b040a55c01be7376d3dd5c4d4920)
atty-0.2.14.crate (142cb4b9a653e56e56311f0c883b8582)
constant_time_eq-0.1.5.crate (ec9751a4c0d35e7313e52ddb7147376b)
same-file-1.0.6.crate (2d8d8b377d144f5e32b4f65a69eb0b24)
winapi-util-0.1.5.crate (b9e37d5fc4ad28b612b78ad37816684d)
fnv-1.0.7.crate (8dab3b3ec00dc56cffde0b0c410d47b5)
vec_map-0.8.2.crate (333b4ba3f64c35b6f89b521e8d64548b)
pin-utils-0.1.0.crate (07c75fec267864bcbb800ca7709ceae2)
smart-default-0.6.0.crate (26b4ac1432c227434bc943817f42872e)
winapi-i686-pc-windows-gnu-0.4.0.crate (0498c4a11448bfc35dc7bb2caa64c753)
static_assertions-1.1.0.crate (c9defe80406280bcfce4ecf31c0200b3)
want-0.3.0.crate (e334c03160b1e0989c2a71ca55f631fc)
scopeguard-1.1.0.crate (b4a0a98a54439a5a37952c8879187ee3)
env_proxy-0.4.1.crate (249636a8c8e57527d0e72ae772df5acd)
block-buffer-0.9.0.crate (c7fbaf61245dc847237ab7c72b3ee9ea)
cfg-if-1.0.0.crate (74634128440dbc3766bda76fdf0aaa05)
digest-0.9.0.crate (493a2f042d86baa5c6bac75202c64554)
error-chain-0.12.4.crate (da699c4c8e4c153cbdb9fb0ef3fb3056)
opaque-debug-0.3.0.crate (653e04baa68a4484b3b839c19221e474)
semver-0.11.0.crate (d2cc4e584ed64165fc56d2c9081eb3ee)
dirs-next-2.0.0.crate (3681f813c502d911e9eea940dddd26a5)
winreg-0.8.0.crate (ab839ba7cdb06278c67f0ff9ad05ab61)
dirs-sys-next-0.1.2.crate (056c8d712ee146347c412b72f4077b2f)
semver-parser-0.10.2.crate (42408be0352a76b14f1e77a6b8858a77)
bitflags-1.3.2.crate (a295edb6953237ebbdfa8e731229f9a3)
byteorder-1.4.3.crate (1e704be5ddde9d6b5383ef1035309f91)
dirs-3.0.2.crate (92499f5db37eadb0efa33bcc91248577)
hermit-abi-0.1.19.crate (0b7994d1256215201bdfb810a357ffa2)
vcpkg-0.2.15.crate (e900a384ac7dbb320fe6a7279fbfef89)
rand_chacha-0.3.1.crate (e30085994bbeb4b7f4895d48216d5476)
adler-1.0.2.crate (669215548c64019c08c92b2c1afd3deb)
hyper-tls-0.5.0.crate (6540f0c2d7dce570f06661292fc68cab)
clap-2.34.0.crate (59ae9122b2946d4d52bc48a1da5c5e06)
instant-0.1.12.crate (5f153f7135dceb02f88266121c836b4e)
version_check-0.9.4.crate (d18d362345c4fe512ef67b738b239fb8)
winreg-0.10.1.crate (8aa3cbf525ad9e68c3619664a3401dbe)
stable_deref_trait-1.2.0.crate (5988bad1543264a9f48b542192e7de9a)
autocfg-1.1.0.crate (05d77ef52e90ad161fdd41b252420467)
core-foundation-0.9.3.crate (ae6dd0cd5319220586d8ace4c4be87ce)
httpdate-1.0.2.crate (4918da28fbc2f6888ad71c159996a9b5)
openssl-probe-0.1.5.crate (907244c0d3791f3f981c7cc8e4cad0a3)
rand-0.8.5.crate (ee7a5f842c39bc47c474196e83b0df5f)
serde_urlencoded-0.7.1.crate (47151b766b6b73e638fabe6fae7b723d)
subtle-2.4.1.crate (8e053c23f1d36fbf3f276fbf501e3e35)
wasi-0.11.0+wasi-snapshot-preview1.crate (e972ea58ec203bfa6c79c1207852298b)
dirs-sys-0.3.7.crate (4c21da37e71a52f26c8c5490f3ec4837)
json-0.12.4.crate (b1c4a08cc8222b3fff6d2d6dcf821689)
log-0.4.17.crate (b31bf94ffe7e0f2ada93afae1076eaeb)
memchr-2.5.0.crate (94b8bf179385ff071bdc33b58bf047c0)
redox_users-0.4.3.crate (2793ed3e6807d79ff72271baec586531)
tinyvec-1.6.0.crate (5f0470696baaa4e5953bddbf196998f9)
pin-project-lite-0.2.9.crate (ce6dde2ea2691fdd97632fb8c9b3e042)
http-body-0.4.5.crate (c21c16e3bdc619cf65a31b23136d62ce)
sha2-0.9.9.crate (9420cc533b8572ae0d04750421127f80)
crc32fast-1.3.2.crate (a9d6492a1bd21d93dbc27c32eabd0c70)
errno-dragonfly-0.1.2.crate (fc65414dcac661c46f2cfad7722304f9)
tar-0.4.38.crate (7645c62a572f12b67d1b582d7257776e)
xattr-0.2.3.crate (8479d907dcb0e97f59f2d01336bbd1ae)
crypto-common-0.1.6.crate (89e88633cab0e4b6f3d3878b84dffe8b)
hashbrown-0.12.3.crate (1b41b97d982520b7364a87a39e2a1ed8)
redox_syscall-0.2.16.crate (16111f31a29feae4ce4a324b83dc0189)
tower-service-0.3.2.crate (60d7c3a9f75ac64cffbb9ccda7c1c8e5)
form_urlencoded-1.1.0.crate (357f2bcdc622476ad883fe9d07f874c3)
idna-0.3.0.crate (c3425a02781d0bb3c4f8d5d025d12266)
libz-sys-1.1.8.crate (591b0243c421bf8e6df09e3209fce861)
percent-encoding-2.2.0.crate (c7ce684666ac9c76223b1a0a5034ce99)
unicode-width-0.1.10.crate (7d6d4fc9fad200d6e295f6930e97e022)
url-2.3.1.crate (41a9cb1cc86d75f991241c9c3f725556)
itertools-0.10.5.crate (20b9f5d97aaf06b0f580f12860b67ba8)
sha1-0.10.5.crate (602d4f1e2fe53f870b70e83c8cee49db)
ucd-trie-0.1.5.crate (11ad59bd731103e90d688afc5f35271b)
rand_core-0.6.4.crate (a1626b8f4d165b1b60d960862eba4cf0)
unicode-normalization-0.1.22.crate (c12d182417999fc365f952e701f6071f)
pkg-config-0.3.26.crate (57a5575d623bcbc7ba5c033c9f87744f)
windows-sys-0.42.0.crate (110789f2dd21a2ea820ebed976b4b1c2)
addr2line-0.19.0.crate (b8e7ee27350aad1efd1cbe7a6a32c551)
backtrace-0.3.67.crate (58637599fb4e68ecbca68939709aca1a)
digest-0.10.6.crate (732c54e5b65b869d7301eec81c97f6a1)
httparse-1.8.0.crate (92968aee56cb2f162a55008fedddbb78)
miniz_oxide-0.6.2.crate (bb21a8ff26ec16bc15758b1625bc0f46)
native-tls-0.2.11.crate (790ae5bbcccc91d97517bb1bde7ecd8e)
ppv-lite86-0.2.17.crate (5c69337d37e58a380e00eac9ce0373bb)
sha2-0.10.6.crate (e3e93a5606f450c13fcad764fa1c4bed)
time-core-0.1.0.crate (e8e543c3dd8daff1ef7afe657a1dcb62)
tracing-0.1.37.crate (97e8197912c3d06f0b7486d07c31e182)
tracing-core-0.1.30.crate (e3189db1511d7f2fe59fd1b15ebac8ff)
typenum-1.16.0.crate (63ce54e1fcbbdb45c15146fd082528bb)
term-0.7.0.crate (53928078ab8d120d5459d86d64bbc1ef)
aes-0.7.5.crate (815dfe34d3e7a3ab4fdd827fde9e3d04)
bytes-1.4.0.crate (596cab766930d487256260ab9ca55b71)
cc-1.0.79.crate (7d83f411bb22318c65fec8bbee937ece)
cipher-0.3.0.crate (5f2578209a4d7964623462e402375ac0)
curl-0.4.44.crate (2055aa2a8c9da89dadfd1e9012a26a20)
encoding_rs-0.8.32.crate (28925d0d3649d0577f07bc9ab288999c)
hmac-0.12.1.crate (4e0c068ba38fa8e0aa6c46bce5e9d2ab)
js-sys-0.3.61.crate (0779350c00b03603f72eef7f737686ad)
object-0.30.3.crate (e1a629a86bfa03f5c17180a8b213c74c)
schannel-0.1.21.crate (0bf4ac47fef874d61250f4d4afe4866b)
tinyvec_macros-0.1.1.crate (c678a7da0ee4b850ebde0474144a0415)
tokio-util-0.7.7.crate (b5670d9b6d6560440845d23ca563d44d)
toml-0.5.11.crate (b21820f2664242498beba7783b32bef4)
try-lock-0.2.4.crate (a25ff12cdf468d4a5b4bf75b7fc6d743)
wasm-bindgen-0.2.84.crate (5ad255225437a92850eaea3cd7aa0051)
wasm-bindgen-backend-0.2.84.crate (a277676f11a4b8df65f0bd10cf91c34d)
wasm-bindgen-futures-0.4.34.crate (6dedf2077979fbca816469b7685d9e28)
wasm-bindgen-macro-0.2.84.crate (8c58a7b08dcaaf1e6bc55616ce88582e)
wasm-bindgen-macro-support-0.2.84.crate (edd96c9a12dc3e04aa4d9a345ee6dd0f)
wasm-bindgen-shared-0.2.84.crate (eff90729cd4a439c36ff89f3ee0904d0)
web-sys-0.3.61.crate (d04b3c91526662b97397fc1e04e007b1)
windows-sys-0.45.0.crate (b58284cb8ce52b8de07e09f4f8fb9653)
nix-0.26.2.crate (580f8f88379ff0678e8336a781dda55d)
base64-0.21.0.crate (cf0f1cbb3733e7153959edffc25adac4)
block-buffer-0.10.4.crate (023b03cf9968b29253a5dfe62051008d)
crossbeam-utils-0.8.15.crate (375958fb68bc683f8366d2f3ec1f33ba)
fastrand-1.9.0.crate (06e723078de46119c270eea21ec4344e)
gimli-0.27.2.crate (9b80c255701a8957ff28e86e6a1d2719)
hermit-abi-0.3.1.crate (c9fa9187985880eb320b350bd9024510)
http-0.2.9.crate (c6a140bb2c9817edf8792e3c754c6e12)
itoa-1.0.6.crate (ffbab2186e43af074b619d6d8bfe3566)
jobserver-0.1.26.crate (eacabd60e755d2a003031643241781dc)
mio-0.8.6.crate (7d439888f1d12b29249e4f12e0e420fa)
once_cell-1.17.1.crate (ec9e9fe40bacdde764862148c53386de)
rustversion-1.0.12.crate (d9a04f4fbf3a21f7ef6be47a007cb611)
ryu-1.0.13.crate (853888e375addadf7e85c8499e0745d3)
security-framework-2.8.2.crate (0ee7a1ea2700dab59dd62c27e5843f8c)
security-framework-sys-2.8.0.crate (020e58f9782f7cec01a5a585a103432c)
slab-0.4.8.crate (cf636206d0c3287ce209551fc5b02d88)
socket2-0.4.9.crate (4acc1eadff484a737c93592e15b31f8a)
syn-1.0.109.crate (64d9f46e9ba78f68c30c486be3d8b7df)
time-0.3.20.crate (f2dd02db1d2830d70da1a7614eb1896a)
time-macros-0.2.8.crate (03c2a5849e585e44ddbbe0b991d7229c)
tokio-native-tls-0.3.1.crate (9e2f7831d5c7d8bd2f430984e47c3065)
unicode-ident-1.0.8.crate (7544c989c31232ae0d941e321dfe9bb2)
pbkdf2-0.10.1.crate (f6984103b5729fd3ee8a7d718639c71b)
either-1.8.1.crate (ba94e4b62665e48cc27ca8b14c5f5ff7)
quote-1.0.26.crate (323153a8ec1da78a73131fec9d900c2e)
windows-targets-0.42.2.crate (a369d510325342310c7ab159bd181dae)
windows_aarch64_gnullvm-0.42.2.crate (7968284877e481b58df1569b68b5dc26)
windows_aarch64_msvc-0.42.2.crate (34d06a94727c506c11e4710160e90f32)
windows_i686_gnu-0.42.2.crate (017691b927b405669e1139b054a35f4a)
windows_i686_msvc-0.42.2.crate (f56c70fbae23f08fb0912284333f7851)
windows_x86_64_gnu-0.42.2.crate (d20c2b0f45a62cc15c503ea610706a8f)
windows_x86_64_gnullvm-0.42.2.crate (ec7e437088dc741e6a0653e553abca4e)
windows_x86_64_msvc-0.42.2.crate (8cec8a187df7a7b971009a7693f60140)
flate2-1.0.25.crate (40290701abf90017215441da33b0dc15)
core-foundation-sys-0.8.4.crate (b477cc1c7b45e2187b3cad0377b504d8)
futures-0.3.28.crate (10764f40bd10141d9f12920d7cfa123c)
futures-channel-0.3.28.crate (378bd2c8eb6adcc1a837558e1927e1eb)
futures-core-0.3.28.crate (b2458958308a0923a65777b9297bf11a)
futures-executor-0.3.28.crate (2399b8b3b39b993d8e44d2fc1628663c)
futures-io-0.3.28.crate (6052db16e7627061500931e7f53b0128)
futures-macro-0.3.28.crate (3f798ffba5e1f1ec5ad2df0afd1f76f8)
futures-sink-0.3.28.crate (3e2c0b885f7430e02dd6df1f8c626bc7)
futures-task-0.3.28.crate (83e4c4337a8dac395b19ebcb8e3136a7)
futures-util-0.3.28.crate (7ee7fac47a513e4f7e44c66195ad8051)
generic-array-0.14.7.crate (64a6d8fe0c9a450bcefa41894e17d7ac)
indexmap-1.9.3.crate (11ce8b5f52cd315e8f52985b834b87eb)
io-lifetimes-1.0.10.crate (f2014011b58783d34882b84571965cf6)
ipnet-2.7.2.crate (3ecd97b1dc15c9b2229192a0c609249f)
mime-0.3.17.crate (dfdf2484a5545f51cf6b1f5f23b9f92e)
openssl-macros-0.1.1.crate (28d34115cfbbe0e8f80333591f2cdd84)
proc-macro2-1.0.56.crate (4ed863e96f34f750bebed5d8bf9a7f89)
redox_syscall-0.3.5.crate (782ea88d8e5b517b1c9e7d870e20e9e3)
reqwest-0.11.16.crate (1986ea08bedd21c84bca46ff190b78a1)
tempfile-3.5.0.crate (af8a44faf77b1d50155a07041284ca65)
thiserror-1.0.40.crate (ab44b0c93adeb9ee88e1c66555b8e6a7)
thiserror-impl-1.0.40.crate (dd290e713c28d2e565d78eedd471ed78)
tokio-1.27.0.crate (7eb63c76c58f57c48527d6bb37f86fcd)
unicode-bidi-0.3.13.crate (04c5de5f2fcb441ced909a45cff020bd)
walkdir-2.3.3.crate (250acb3063bbdc870cbb54edcd6fff8f)
windows-sys-0.48.0.crate (f2797ade0e36f1e5d6be9d11b5076582)
windows-targets-0.48.0.crate (7244738a73643f06df82069d00393ad7)
windows_aarch64_gnullvm-0.48.0.crate (e8732bb9eec91463ea10020fc16991c1)
windows_aarch64_msvc-0.48.0.crate (3d2bf2e578fe93c538d4f8c5cfddbe9b)
windows_i686_gnu-0.48.0.crate (631f9e1bcfe18e3976ef4c893ee13531)
windows_i686_msvc-0.48.0.crate (f3dad0f67aa70c6618c1593bd2086c36)
windows_x86_64_gnu-0.48.0.crate (085ec81e4ced998bb7f1aea30b7a630e)
windows_x86_64_gnullvm-0.48.0.crate (e24dfcf625e130a1e6db0ae375a17dd7)
windows_x86_64_msvc-0.48.0.crate (2fa0c13b386de68baa17168774b1c5fa)
curl-sys-0.4.61+curl-8.0.1.crate (192a849c6c392476fad9b205a894f0e4)
aho-corasick-1.0.1.crate (8ad2bf7329daec74312f767d402aac50)
libc-0.2.142.crate (1f4aa5455ed7c45d2fe4171ef3040ff9)
regex-1.8.1.crate (62618c0255e3bd569371cf4ce4c424f2)
regex-syntax-0.7.1.crate (33d7c3ed27fd9033f0a61150a7516139)
aligned-0.4.1.crate (d82a09f1c1a60aa9f46c0f76e4ea1265)
as-slice-0.2.1.crate (fdd18ab1fcd6905d1abb3dce8a86ea68)
errno-0.3.1.crate (b21aa70c76c22f8936338797372236bf)
getrandom-0.2.9.crate (9a1e26d4bea50aebcd8ce9f2f992c756)
rustc-demangle-0.1.23.crate (24fcbc2986fad09b25c9a4f9aef0a9e4)
serde_json-1.0.96.crate (f4e16ed6fedc75de9647dee3ff4d3967)
syn-2.0.15.crate (ccc93b4c981265eaa8908edd6a9459b3)
cpufeatures-0.2.7.crate (5960ae429b2ba6544a3e3a755aef1bbb)
hyper-0.14.26.crate (2f559daf118046b6788718794ec3ab70)
linux-raw-sys-0.3.4.crate (850ea71a54d22e85d50296abc1eb2c84)
serde-1.0.160.crate (80dacf2cdea8879fbe9b508bb9a4972a)
serde_derive-1.0.160.crate (de0c5121b2b2518027169cc63d373ce3)
filetime-0.2.21.crate (3091bf9ce6381222c8dbf65a439ab524)
elan-3.0.0.tar.gz (e1febb2f00281127804a0a528daf0d8c)
base64ct-1.0.1.crate (69b33d6c893f518954721f7769fea248)
bumpalo-3.12.1.crate (41000ac8c8baa61b8021a258d60a7839)
bzip2-sys-0.1.11+1.0.8.crate (455a318aaa74bb2d7c39cfda2e8f818d)
bzip2-0.4.4.crate (b80c91663e5990a3770774abdce0f257)
cvt-0.1.2.crate (30ec1b3363b03c11d30f45a0c7005411)
fs_at-0.1.5.crate (033882a55750c5f139f14711a5eb9131)
h2-0.3.18.crate (da8d709e9f342d4e917d22d5444a1076)
markdown-0.3.0.crate (b5944eba016f7b965f3e2db3fcf3e3e4)
normpath-1.1.1.crate (8d526535233ee01e0f1402b5e8f4e8e9)
openssl-src-111.25.3+1.1.1t.crate (5919927ef79b56c530e305f690ef2850)
openssl-sys-0.9.86.crate (2a214c072a003c02718590da3cdad632)
openssl-0.10.51.crate (8fdb98f1648696852edd8dbd42aef7aa)
password-hash-0.3.2.crate (bd37a742884c141bd2ede0ae2902d937)
pest-2.5.7.crate (42eec6b52b5a84621c18973fca40c043)
remove_dir_all-0.8.2.crate (8f5ff45e31f879a4bb4f8815fb25acc1)
rustix-0.37.14.crate (0680bc5a4f39b4a060281119f75bf962)
zip-0.6.2.crate (019d75d45065f42f1e17df5d4a021b75)
zstd-safe-4.1.6+zstd.1.5.2.crate (cd575847adb9f45de20ff0d457327702)
zstd-sys-1.6.3+zstd.1.5.2.crate (b09cf677221739808e8a5424e1510985)
zstd-0.10.2+zstd.1.5.2.crate (2841796570646c31589d2c54e14f53e9)

Download SlackBuild:
lean-elan.tar.gz
lean-elan.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)