git: 7fa65791d38d - main - math/elan: New port: Lean version manager
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 15 Jan 2024 10:36:52 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=7fa65791d38dd7bc5c11879e6e3d6293b7dc8c94
commit 7fa65791d38dd7bc5c11879e6e3d6293b7dc8c94
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-01-15 10:36:20 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-01-15 10:36:49 +0000
math/elan: New port: Lean version manager
---
math/Makefile | 1 +
math/elan/Makefile | 262 +++++++++++++++++++++++++++++
math/elan/distinfo | 463 ++++++++++++++++++++++++++++++++++++++++++++++++++++
math/elan/pkg-descr | 7 +
4 files changed, 733 insertions(+)
diff --git a/math/Makefile b/math/Makefile
index a933bb237101..fa9742bb93a7 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -304,6 +304,7 @@
SUBDIR += edenmath
SUBDIR += eigen3
SUBDIR += eispack
+ SUBDIR += elan
SUBDIR += elemental
SUBDIR += elementary-calculator
SUBDIR += elpa
diff --git a/math/elan/Makefile b/math/elan/Makefile
new file mode 100644
index 000000000000..4de9f864d416
--- /dev/null
+++ b/math/elan/Makefile
@@ -0,0 +1,262 @@
+PORTNAME= elan
+DISTVERSIONPREFIX= v
+DISTVERSION= 3.0.0
+CATEGORIES= math
+
+MAINTAINER= yuri@FreeBSD.org
+COMMENT= Lean version manager
+WWW= https://github.com/leanprover/elan
+
+LICENSE= APACHE20
+LICENSE_FILE= ${WRKSRC}/LICENSE
+
+BUILD_DEPENDS= gmake:devel/gmake
+LIB_DEPENDS= libcurl.so:ftp/curl
+
+USES= cargo perl5
+USE_PERL5= build
+
+USE_GITHUB= yes
+GH_ACCOUNT= leanprover
+
+CARGO_CRATES= addr2line-0.19.0 \
+ adler-1.0.2 \
+ aes-0.7.5 \
+ aho-corasick-1.0.1 \
+ aligned-0.4.1 \
+ ansi_term-0.12.1 \
+ as-slice-0.2.1 \
+ atty-0.2.14 \
+ autocfg-1.1.0 \
+ backtrace-0.3.67 \
+ base64-0.21.0 \
+ base64ct-1.0.1 \
+ bitflags-1.3.2 \
+ block-buffer-0.9.0 \
+ block-buffer-0.10.4 \
+ bumpalo-3.12.1 \
+ byteorder-1.4.3 \
+ bytes-1.4.0 \
+ bzip2-0.4.4 \
+ bzip2-sys-0.1.11+1.0.8 \
+ cc-1.0.79 \
+ cfg-if-1.0.0 \
+ cipher-0.3.0 \
+ clap-2.34.0 \
+ constant_time_eq-0.1.5 \
+ core-foundation-0.9.3 \
+ core-foundation-sys-0.8.4 \
+ cpufeatures-0.2.7 \
+ crc32fast-1.3.2 \
+ crossbeam-utils-0.8.15 \
+ crypto-common-0.1.6 \
+ curl-0.4.44 \
+ curl-sys-0.4.61+curl-8.0.1 \
+ cvt-0.1.2 \
+ digest-0.9.0 \
+ digest-0.10.6 \
+ dirs-3.0.2 \
+ dirs-next-2.0.0 \
+ dirs-sys-0.3.7 \
+ dirs-sys-next-0.1.2 \
+ either-1.8.1 \
+ encoding_rs-0.8.32 \
+ env_proxy-0.4.1 \
+ errno-0.3.1 \
+ errno-dragonfly-0.1.2 \
+ error-chain-0.12.4 \
+ fastrand-1.9.0 \
+ filetime-0.2.21 \
+ flate2-1.0.25 \
+ fnv-1.0.7 \
+ foreign-types-0.3.2 \
+ foreign-types-shared-0.1.1 \
+ form_urlencoded-1.1.0 \
+ fs_at-0.1.5 \
+ futures-0.3.28 \
+ futures-channel-0.3.28 \
+ futures-core-0.3.28 \
+ futures-executor-0.3.28 \
+ futures-io-0.3.28 \
+ futures-macro-0.3.28 \
+ futures-sink-0.3.28 \
+ futures-task-0.3.28 \
+ futures-util-0.3.28 \
+ gcc-0.3.55 \
+ generic-array-0.14.7 \
+ getrandom-0.2.9 \
+ gimli-0.27.2 \
+ h2-0.3.18 \
+ hashbrown-0.12.3 \
+ hermit-abi-0.1.19 \
+ hermit-abi-0.3.1 \
+ hmac-0.12.1 \
+ http-0.2.9 \
+ http-body-0.4.5 \
+ httparse-1.8.0 \
+ httpdate-1.0.2 \
+ hyper-0.14.26 \
+ hyper-tls-0.5.0 \
+ idna-0.3.0 \
+ indexmap-1.9.3 \
+ instant-0.1.12 \
+ io-lifetimes-1.0.10 \
+ ipnet-2.7.2 \
+ itertools-0.10.5 \
+ itoa-1.0.6 \
+ jobserver-0.1.26 \
+ js-sys-0.3.61 \
+ json-0.12.4 \
+ lazy_static-1.4.0 \
+ libc-0.2.142 \
+ libz-sys-1.1.8 \
+ linux-raw-sys-0.3.4 \
+ log-0.4.17 \
+ markdown-0.3.0 \
+ memchr-2.5.0 \
+ mime-0.3.17 \
+ miniz_oxide-0.6.2 \
+ mio-0.8.6 \
+ native-tls-0.2.11 \
+ nix-0.26.2 \
+ normpath-1.1.1 \
+ object-0.30.3 \
+ ole32-sys-0.2.0 \
+ once_cell-1.17.1 \
+ opaque-debug-0.3.0 \
+ openssl-0.10.51 \
+ openssl-macros-0.1.1 \
+ openssl-probe-0.1.5 \
+ openssl-src-111.25.3+1.1.1t \
+ openssl-sys-0.9.86 \
+ password-hash-0.3.2 \
+ pbkdf2-0.10.1 \
+ percent-encoding-2.2.0 \
+ pest-2.5.7 \
+ pin-project-lite-0.2.9 \
+ pin-utils-0.1.0 \
+ pipeline-0.5.0 \
+ pkg-config-0.3.26 \
+ ppv-lite86-0.2.17 \
+ proc-macro2-1.0.56 \
+ quote-1.0.26 \
+ rand-0.8.5 \
+ rand_chacha-0.3.1 \
+ rand_core-0.6.4 \
+ redox_syscall-0.2.16 \
+ redox_syscall-0.3.5 \
+ redox_users-0.4.3 \
+ regex-1.8.1 \
+ regex-syntax-0.7.1 \
+ remove_dir_all-0.8.2 \
+ reqwest-0.11.16 \
+ rustc-demangle-0.1.23 \
+ rustix-0.37.14 \
+ rustversion-1.0.12 \
+ ryu-1.0.13 \
+ same-file-1.0.6 \
+ schannel-0.1.21 \
+ scopeguard-1.1.0 \
+ security-framework-2.8.2 \
+ security-framework-sys-2.8.0 \
+ semver-0.11.0 \
+ semver-parser-0.10.2 \
+ serde-1.0.160 \
+ serde_derive-1.0.160 \
+ serde_json-1.0.96 \
+ serde_urlencoded-0.7.1 \
+ sha1-0.10.5 \
+ sha2-0.9.9 \
+ sha2-0.10.6 \
+ slab-0.4.8 \
+ smart-default-0.6.0 \
+ socket2-0.4.9 \
+ stable_deref_trait-1.2.0 \
+ static_assertions-1.1.0 \
+ strsim-0.8.0 \
+ subtle-2.4.1 \
+ syn-1.0.109 \
+ syn-2.0.15 \
+ tar-0.4.38 \
+ tempfile-3.5.0 \
+ term-0.7.0 \
+ textwrap-0.11.0 \
+ thiserror-1.0.40 \
+ thiserror-impl-1.0.40 \
+ time-0.3.20 \
+ time-core-0.1.0 \
+ time-macros-0.2.8 \
+ tinyvec-1.6.0 \
+ tinyvec_macros-0.1.1 \
+ tokio-1.27.0 \
+ tokio-native-tls-0.3.1 \
+ tokio-util-0.7.7 \
+ toml-0.5.11 \
+ tower-service-0.3.2 \
+ tracing-0.1.37 \
+ tracing-core-0.1.30 \
+ try-lock-0.2.4 \
+ typenum-1.16.0 \
+ ucd-trie-0.1.5 \
+ unicode-bidi-0.3.13 \
+ unicode-ident-1.0.8 \
+ unicode-normalization-0.1.22 \
+ unicode-width-0.1.10 \
+ url-2.3.1 \
+ vcpkg-0.2.15 \
+ vec_map-0.8.2 \
+ version_check-0.9.4 \
+ wait-timeout-0.2.0 \
+ walkdir-2.3.3 \
+ want-0.3.0 \
+ wasi-0.11.0+wasi-snapshot-preview1 \
+ wasm-bindgen-0.2.84 \
+ wasm-bindgen-backend-0.2.84 \
+ wasm-bindgen-futures-0.4.34 \
+ wasm-bindgen-macro-0.2.84 \
+ wasm-bindgen-macro-support-0.2.84 \
+ wasm-bindgen-shared-0.2.84 \
+ web-sys-0.3.61 \
+ winapi-0.2.8 \
+ winapi-0.3.9 \
+ winapi-build-0.1.1 \
+ winapi-i686-pc-windows-gnu-0.4.0 \
+ winapi-util-0.1.5 \
+ winapi-x86_64-pc-windows-gnu-0.4.0 \
+ windows-sys-0.42.0 \
+ windows-sys-0.45.0 \
+ windows-sys-0.48.0 \
+ windows-targets-0.42.2 \
+ windows-targets-0.48.0 \
+ windows_aarch64_gnullvm-0.42.2 \
+ windows_aarch64_gnullvm-0.48.0 \
+ windows_aarch64_msvc-0.42.2 \
+ windows_aarch64_msvc-0.48.0 \
+ windows_i686_gnu-0.42.2 \
+ windows_i686_gnu-0.48.0 \
+ windows_i686_msvc-0.42.2 \
+ windows_i686_msvc-0.48.0 \
+ windows_x86_64_gnu-0.42.2 \
+ windows_x86_64_gnu-0.48.0 \
+ windows_x86_64_gnullvm-0.42.2 \
+ windows_x86_64_gnullvm-0.48.0 \
+ windows_x86_64_msvc-0.42.2 \
+ windows_x86_64_msvc-0.48.0 \
+ winreg-0.8.0 \
+ winreg-0.10.1 \
+ xattr-0.2.3 \
+ zip-0.6.2 \
+ zstd-0.10.2+zstd.1.5.2 \
+ zstd-safe-4.1.6+zstd.1.5.2 \
+ zstd-sys-1.6.3+zstd.1.5.2
+
+OPENSSLINC= /usr/include
+OPENSSLLIB= /usr/lib
+
+PLIST_FILES= bin/${PORTNAME}
+
+post-install:
+ @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}-init
+ @${MV} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}-init ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
+
+.include <bsd.port.mk>
diff --git a/math/elan/distinfo b/math/elan/distinfo
new file mode 100644
index 000000000000..929f9c25df43
--- /dev/null
+++ b/math/elan/distinfo
@@ -0,0 +1,463 @@
+TIMESTAMP = 1705312310
+SHA256 (rust/crates/addr2line-0.19.0.crate) = a76fd60b23679b7d19bd066031410fb7e458ccc5e958eb5c325888ce4baedc97
+SIZE (rust/crates/addr2line-0.19.0.crate) = 33210
+SHA256 (rust/crates/adler-1.0.2.crate) = f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe
+SIZE (rust/crates/adler-1.0.2.crate) = 12778
+SHA256 (rust/crates/aes-0.7.5.crate) = 9e8b47f52ea9bae42228d07ec09eb676433d7c4ed1ebdf0f1d1c29ed446f1ab8
+SIZE (rust/crates/aes-0.7.5.crate) = 128544
+SHA256 (rust/crates/aho-corasick-1.0.1.crate) = 67fc08ce920c31afb70f013dcce1bfc3a3195de6a228474e45e1f145b36f8d04
+SIZE (rust/crates/aho-corasick-1.0.1.crate) = 167320
+SHA256 (rust/crates/aligned-0.4.1.crate) = 80a21b9440a626c7fc8573a9e3d3a06b75c7c97754c2949bc7857b90353ca655
+SIZE (rust/crates/aligned-0.4.1.crate) = 8532
+SHA256 (rust/crates/ansi_term-0.12.1.crate) = d52a9bb7ec0cf484c551830a7ce27bd20d67eac647e1befb56b0be4ee39a55d2
+SIZE (rust/crates/ansi_term-0.12.1.crate) = 24838
+SHA256 (rust/crates/as-slice-0.2.1.crate) = 516b6b4f0e40d50dcda9365d53964ec74560ad4284da2e7fc97122cd83174516
+SIZE (rust/crates/as-slice-0.2.1.crate) = 6942
+SHA256 (rust/crates/atty-0.2.14.crate) = d9b39be18770d11421cdb1b9947a45dd3f37e93092cbf377614828a319d5fee8
+SIZE (rust/crates/atty-0.2.14.crate) = 5470
+SHA256 (rust/crates/autocfg-1.1.0.crate) = d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa
+SIZE (rust/crates/autocfg-1.1.0.crate) = 13272
+SHA256 (rust/crates/backtrace-0.3.67.crate) = 233d376d6d185f2a3093e58f283f60f880315b6c60075b01f36b3b85154564ca
+SIZE (rust/crates/backtrace-0.3.67.crate) = 78564
+SHA256 (rust/crates/base64-0.21.0.crate) = a4a4ddaa51a5bc52a6948f74c06d20aaaddb71924eab79b8c97a8c556e942d6a
+SIZE (rust/crates/base64-0.21.0.crate) = 72180
+SHA256 (rust/crates/base64ct-1.0.1.crate) = 8a32fd6af2b5827bce66c29053ba0e7c42b9dcab01835835058558c10851a46b
+SIZE (rust/crates/base64ct-1.0.1.crate) = 15075
+SHA256 (rust/crates/bitflags-1.3.2.crate) = bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a
+SIZE (rust/crates/bitflags-1.3.2.crate) = 23021
+SHA256 (rust/crates/block-buffer-0.9.0.crate) = 4152116fd6e9dadb291ae18fc1ec3575ed6d84c29642d97890f4b4a3417297e4
+SIZE (rust/crates/block-buffer-0.9.0.crate) = 7108
+SHA256 (rust/crates/block-buffer-0.10.4.crate) = 3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71
+SIZE (rust/crates/block-buffer-0.10.4.crate) = 10538
+SHA256 (rust/crates/bumpalo-3.12.1.crate) = 9b1ce199063694f33ffb7dd4e0ee620741495c32833cde5aa08f02a0bf96f0c8
+SIZE (rust/crates/bumpalo-3.12.1.crate) = 81653
+SHA256 (rust/crates/byteorder-1.4.3.crate) = 14c189c53d098945499cdfa7ecc63567cf3886b3332b312a5b4585d8d3a6a610
+SIZE (rust/crates/byteorder-1.4.3.crate) = 22512
+SHA256 (rust/crates/bytes-1.4.0.crate) = 89b2fd2a0dcf38d7971e2194b6b6eebab45ae01067456a7fd93d5547a61b70be
+SIZE (rust/crates/bytes-1.4.0.crate) = 58080
+SHA256 (rust/crates/bzip2-0.4.4.crate) = bdb116a6ef3f6c3698828873ad02c3014b3c85cadb88496095628e3ef1e347f8
+SIZE (rust/crates/bzip2-0.4.4.crate) = 34197
+SHA256 (rust/crates/bzip2-sys-0.1.11+1.0.8.crate) = 736a955f3fa7875102d57c82b8cac37ec45224a07fd32d58f9f7a186b6cd4cdc
+SIZE (rust/crates/bzip2-sys-0.1.11+1.0.8.crate) = 633444
+SHA256 (rust/crates/cc-1.0.79.crate) = 50d30906286121d95be3d479533b458f87493b30a4b5f79a607db8f5d11aa91f
+SIZE (rust/crates/cc-1.0.79.crate) = 62624
+SHA256 (rust/crates/cfg-if-1.0.0.crate) = baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd
+SIZE (rust/crates/cfg-if-1.0.0.crate) = 7934
+SHA256 (rust/crates/cipher-0.3.0.crate) = 7ee52072ec15386f770805afd189a01c8841be8696bed250fa2f13c4c0d6dfb7
+SIZE (rust/crates/cipher-0.3.0.crate) = 12756
+SHA256 (rust/crates/clap-2.34.0.crate) = a0610544180c38b88101fecf2dd634b174a62eef6946f84dfc6a7127512b381c
+SIZE (rust/crates/clap-2.34.0.crate) = 202210
+SHA256 (rust/crates/constant_time_eq-0.1.5.crate) = 245097e9a4535ee1e3e3931fcfcd55a796a44c643e8596ff6566d68f09b87bbc
+SIZE (rust/crates/constant_time_eq-0.1.5.crate) = 4936
+SHA256 (rust/crates/core-foundation-0.9.3.crate) = 194a7a9e6de53fa55116934067c844d9d749312f75c6f6d0980e8c252f8c2146
+SIZE (rust/crates/core-foundation-0.9.3.crate) = 27059
+SHA256 (rust/crates/core-foundation-sys-0.8.4.crate) = e496a50fda8aacccc86d7529e2c1e0892dbd0f898a6b5645b5561b89c3210efa
+SIZE (rust/crates/core-foundation-sys-0.8.4.crate) = 17725
+SHA256 (rust/crates/cpufeatures-0.2.7.crate) = 3e4c1eaa2012c47becbbad2ab175484c2a84d1185b566fb2cc5b8707343dfe58
+SIZE (rust/crates/cpufeatures-0.2.7.crate) = 11563
+SHA256 (rust/crates/crc32fast-1.3.2.crate) = b540bd8bc810d3885c6ea91e2018302f68baba2129ab3e88f32389ee9370880d
+SIZE (rust/crates/crc32fast-1.3.2.crate) = 38661
+SHA256 (rust/crates/crossbeam-utils-0.8.15.crate) = 3c063cd8cc95f5c377ed0d4b49a4b21f632396ff690e8470c29b3359b346984b
+SIZE (rust/crates/crossbeam-utils-0.8.15.crate) = 42326
+SHA256 (rust/crates/crypto-common-0.1.6.crate) = 1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3
+SIZE (rust/crates/crypto-common-0.1.6.crate) = 8760
+SHA256 (rust/crates/curl-0.4.44.crate) = 509bd11746c7ac09ebd19f0b17782eae80aadee26237658a6b4808afb5c11a22
+SIZE (rust/crates/curl-0.4.44.crate) = 91415
+SHA256 (rust/crates/curl-sys-0.4.61+curl-8.0.1.crate) = 14d05c10f541ae6f3bc5b3d923c20001f47db7d5f0b2bc6ad16490133842db79
+SIZE (rust/crates/curl-sys-0.4.61+curl-8.0.1.crate) = 3101374
+SHA256 (rust/crates/cvt-0.1.2.crate) = d2ae9bf77fbf2d39ef573205d554d87e86c12f1994e9ea335b0651b9b278bcf1
+SIZE (rust/crates/cvt-0.1.2.crate) = 6214
+SHA256 (rust/crates/digest-0.9.0.crate) = d3dd60d1080a57a05ab032377049e0591415d2b31afd7028356dbf3cc6dcb066
+SIZE (rust/crates/digest-0.9.0.crate) = 13247
+SHA256 (rust/crates/digest-0.10.6.crate) = 8168378f4e5023e7218c89c891c0fd8ecdb5e5e4f18cb78f38cf245dd021e76f
+SIZE (rust/crates/digest-0.10.6.crate) = 19527
+SHA256 (rust/crates/dirs-3.0.2.crate) = 30baa043103c9d0c2a57cf537cc2f35623889dc0d405e6c3cccfadbc81c71309
+SIZE (rust/crates/dirs-3.0.2.crate) = 12184
+SHA256 (rust/crates/dirs-next-2.0.0.crate) = b98cf8ebf19c3d1b223e151f99a4f9f0690dca41414773390fc824184ac833e1
+SIZE (rust/crates/dirs-next-2.0.0.crate) = 11689
+SHA256 (rust/crates/dirs-sys-0.3.7.crate) = 1b1d1d91c932ef41c0f2663aa8b0ca0342d444d842c06914aa0a7e352d0bada6
+SIZE (rust/crates/dirs-sys-0.3.7.crate) = 10597
+SHA256 (rust/crates/dirs-sys-next-0.1.2.crate) = 4ebda144c4fe02d1f7ea1a7d9641b6fc6b580adcfa024ae48797ecdeb6825b4d
+SIZE (rust/crates/dirs-sys-next-0.1.2.crate) = 10681
+SHA256 (rust/crates/either-1.8.1.crate) = 7fcaabb2fef8c910e7f4c7ce9f67a1283a1715879a7c230ca9d6d1ae31f16d91
+SIZE (rust/crates/either-1.8.1.crate) = 16027
+SHA256 (rust/crates/encoding_rs-0.8.32.crate) = 071a31f4ee85403370b58aca746f01041ede6f0da2730960ad001edc2b71b394
+SIZE (rust/crates/encoding_rs-0.8.32.crate) = 1370046
+SHA256 (rust/crates/env_proxy-0.4.1.crate) = 3a5019be18538406a43b5419a5501461f0c8b49ea7dfda0cfc32f4e51fc44be1
+SIZE (rust/crates/env_proxy-0.4.1.crate) = 11256
+SHA256 (rust/crates/errno-0.3.1.crate) = 4bcfec3a70f97c962c307b2d2c56e358cf1d00b558d74262b5f929ee8cc7e73a
+SIZE (rust/crates/errno-0.3.1.crate) = 10348
+SHA256 (rust/crates/errno-dragonfly-0.1.2.crate) = aa68f1b12764fab894d2755d2518754e71b4fd80ecfb822714a1206c2aab39bf
+SIZE (rust/crates/errno-dragonfly-0.1.2.crate) = 1810
+SHA256 (rust/crates/error-chain-0.12.4.crate) = 2d2f06b9cac1506ece98fe3231e3cc9c4410ec3d5b1f24ae1c8946f0742cdefc
+SIZE (rust/crates/error-chain-0.12.4.crate) = 29274
+SHA256 (rust/crates/fastrand-1.9.0.crate) = e51093e27b0797c359783294ca4f0a911c270184cb10f85783b118614a1501be
+SIZE (rust/crates/fastrand-1.9.0.crate) = 11910
+SHA256 (rust/crates/filetime-0.2.21.crate) = 5cbc844cecaee9d4443931972e1289c8ff485cb4cc2767cb03ca139ed6885153
+SIZE (rust/crates/filetime-0.2.21.crate) = 15026
+SHA256 (rust/crates/flate2-1.0.25.crate) = a8a2db397cb1c8772f31494cb8917e48cd1e64f0fa7efac59fbd741a0a8ce841
+SIZE (rust/crates/flate2-1.0.25.crate) = 70210
+SHA256 (rust/crates/fnv-1.0.7.crate) = 3f9eec918d3f24069decb9af1554cad7c880e2da24a9afd88aca000531ab82c1
+SIZE (rust/crates/fnv-1.0.7.crate) = 11266
+SHA256 (rust/crates/foreign-types-0.3.2.crate) = f6f339eb8adc052cd2ca78910fda869aefa38d22d5cb648e6485e4d3fc06f3b1
+SIZE (rust/crates/foreign-types-0.3.2.crate) = 7504
+SHA256 (rust/crates/foreign-types-shared-0.1.1.crate) = 00b0228411908ca8685dba7fc2cdd70ec9990a6e753e89b6ac91a84c40fbaf4b
+SIZE (rust/crates/foreign-types-shared-0.1.1.crate) = 5672
+SHA256 (rust/crates/form_urlencoded-1.1.0.crate) = a9c384f161156f5260c24a097c56119f9be8c798586aecc13afbcbe7b7e26bf8
+SIZE (rust/crates/form_urlencoded-1.1.0.crate) = 8734
+SHA256 (rust/crates/fs_at-0.1.5.crate) = 70d4dbfdbb6c5ae7206c4ce9bd10da5f621719873517591b531e237393a3c3d1
+SIZE (rust/crates/fs_at-0.1.5.crate) = 35594
+SHA256 (rust/crates/futures-0.3.28.crate) = 23342abe12aba583913b2e62f22225ff9c950774065e4bfb61a19cd9770fec40
+SIZE (rust/crates/futures-0.3.28.crate) = 53229
+SHA256 (rust/crates/futures-channel-0.3.28.crate) = 955518d47e09b25bbebc7a18df10b81f0c766eaf4c4f1cccef2fca5f2a4fb5f2
+SIZE (rust/crates/futures-channel-0.3.28.crate) = 32281
+SHA256 (rust/crates/futures-core-0.3.28.crate) = 4bca583b7e26f571124fe5b7561d49cb2868d79116cfa0eefce955557c6fee8c
+SIZE (rust/crates/futures-core-0.3.28.crate) = 14780
+SHA256 (rust/crates/futures-executor-0.3.28.crate) = ccecee823288125bd88b4d7f565c9e58e41858e47ab72e8ea2d64e93624386e0
+SIZE (rust/crates/futures-executor-0.3.28.crate) = 17743
+SHA256 (rust/crates/futures-io-0.3.28.crate) = 4fff74096e71ed47f8e023204cfd0aa1289cd54ae5430a9523be060cdb849964
+SIZE (rust/crates/futures-io-0.3.28.crate) = 8910
+SHA256 (rust/crates/futures-macro-0.3.28.crate) = 89ca545a94061b6365f2c7355b4b32bd20df3ff95f02da9329b34ccc3bd6ee72
+SIZE (rust/crates/futures-macro-0.3.28.crate) = 11272
+SHA256 (rust/crates/futures-sink-0.3.28.crate) = f43be4fe21a13b9781a69afa4985b0f6ee0e1afab2c6f454a8cf30e2b2237b6e
+SIZE (rust/crates/futures-sink-0.3.28.crate) = 7852
+SHA256 (rust/crates/futures-task-0.3.28.crate) = 76d3d132be6c0e6aa1534069c705a74a5997a356c0dc2f86a47765e5617c5b65
+SIZE (rust/crates/futures-task-0.3.28.crate) = 11848
+SHA256 (rust/crates/futures-util-0.3.28.crate) = 26b01e40b772d54cf6c6d721c1d1abd0647a0106a12ecaa1c186273392a69533
+SIZE (rust/crates/futures-util-0.3.28.crate) = 158510
+SHA256 (rust/crates/gcc-0.3.55.crate) = 8f5f3913fa0bfe7ee1fd8248b6b9f42a5af4b9d65ec2dd2c3c26132b950ecfc2
+SIZE (rust/crates/gcc-0.3.55.crate) = 37262
+SHA256 (rust/crates/generic-array-0.14.7.crate) = 85649ca51fd72272d7821adaf274ad91c288277713d9c18820d8499a7ff69e9a
+SIZE (rust/crates/generic-array-0.14.7.crate) = 15950
+SHA256 (rust/crates/getrandom-0.2.9.crate) = c85e1d9ab2eadba7e5040d4e09cbd6d072b76a557ad64e797c2cb9d4da21d7e4
+SIZE (rust/crates/getrandom-0.2.9.crate) = 34457
+SHA256 (rust/crates/gimli-0.27.2.crate) = ad0a93d233ebf96623465aad4046a8d3aa4da22d4f4beba5388838c8a434bbb4
+SIZE (rust/crates/gimli-0.27.2.crate) = 721636
+SHA256 (rust/crates/h2-0.3.18.crate) = 17f8a914c2987b688368b5138aa05321db91f4090cf26118185672ad588bce21
+SIZE (rust/crates/h2-0.3.18.crate) = 164556
+SHA256 (rust/crates/hashbrown-0.12.3.crate) = 8a9ee70c43aaf417c914396645a0fa852624801b24ebb7ae78fe8272889ac888
+SIZE (rust/crates/hashbrown-0.12.3.crate) = 102968
+SHA256 (rust/crates/hermit-abi-0.1.19.crate) = 62b467343b94ba476dcb2500d242dadbb39557df889310ac77c5d99100aaac33
+SIZE (rust/crates/hermit-abi-0.1.19.crate) = 9979
+SHA256 (rust/crates/hermit-abi-0.3.1.crate) = fed44880c466736ef9a5c5b5facefb5ed0785676d0c02d612db14e54f0d84286
+SIZE (rust/crates/hermit-abi-0.3.1.crate) = 13793
+SHA256 (rust/crates/hmac-0.12.1.crate) = 6c49c37c09c17a53d937dfbb742eb3a961d65a994e6bcdcf37e7399d0cc8ab5e
+SIZE (rust/crates/hmac-0.12.1.crate) = 42657
+SHA256 (rust/crates/http-0.2.9.crate) = bd6effc99afb63425aff9b05836f029929e345a6148a14b7ecd5ab67af944482
+SIZE (rust/crates/http-0.2.9.crate) = 100146
+SHA256 (rust/crates/http-body-0.4.5.crate) = d5f38f16d184e36f2408a55281cd658ecbd3ca05cce6d6510a176eca393e26d1
+SIZE (rust/crates/http-body-0.4.5.crate) = 9242
+SHA256 (rust/crates/httparse-1.8.0.crate) = d897f394bad6a705d5f4104762e116a75639e470d80901eed05a860a95cb1904
+SIZE (rust/crates/httparse-1.8.0.crate) = 29954
+SHA256 (rust/crates/httpdate-1.0.2.crate) = c4a1e36c821dbe04574f602848a19f742f4fb3c98d40449f11bcad18d6b17421
+SIZE (rust/crates/httpdate-1.0.2.crate) = 10673
+SHA256 (rust/crates/hyper-0.14.26.crate) = ab302d72a6f11a3b910431ff93aae7e773078c769f0a3ef15fb9ec692ed147d4
+SIZE (rust/crates/hyper-0.14.26.crate) = 195570
+SHA256 (rust/crates/hyper-tls-0.5.0.crate) = d6183ddfa99b85da61a140bea0efc93fdf56ceaa041b37d553518030827f9905
+SIZE (rust/crates/hyper-tls-0.5.0.crate) = 13257
+SHA256 (rust/crates/idna-0.3.0.crate) = e14ddfc70884202db2244c223200c204c2bda1bc6e0998d11b5e024d657209e6
+SIZE (rust/crates/idna-0.3.0.crate) = 271128
+SHA256 (rust/crates/indexmap-1.9.3.crate) = bd070e393353796e801d209ad339e89596eb4c8d430d18ede6a1cced8fafbd99
+SIZE (rust/crates/indexmap-1.9.3.crate) = 54653
+SHA256 (rust/crates/instant-0.1.12.crate) = 7a5bbe824c507c5da5956355e86a746d82e0e1464f65d862cc5e71da70e94b2c
+SIZE (rust/crates/instant-0.1.12.crate) = 6128
+SHA256 (rust/crates/io-lifetimes-1.0.10.crate) = 9c66c74d2ae7e79a5a8f7ac924adbe38ee42a859c6539ad869eb51f0b52dc220
+SIZE (rust/crates/io-lifetimes-1.0.10.crate) = 37294
+SHA256 (rust/crates/ipnet-2.7.2.crate) = 12b6ee2129af8d4fb011108c73d99a1b83a85977f23b82460c0ae2e25bb4b57f
+SIZE (rust/crates/ipnet-2.7.2.crate) = 27044
+SHA256 (rust/crates/itertools-0.10.5.crate) = b0fd2260e829bddf4cb6ea802289de2f86d6a7a690192fbe91b3f46e0f2c8473
+SIZE (rust/crates/itertools-0.10.5.crate) = 115354
+SHA256 (rust/crates/itoa-1.0.6.crate) = 453ad9f582a441959e5f0d088b02ce04cfe8d51a8eaf077f12ac6d3e94164ca6
+SIZE (rust/crates/itoa-1.0.6.crate) = 10410
+SHA256 (rust/crates/jobserver-0.1.26.crate) = 936cfd212a0155903bcbc060e316fb6cc7cbf2e1907329391ebadc1fe0ce77c2
+SIZE (rust/crates/jobserver-0.1.26.crate) = 22645
+SHA256 (rust/crates/js-sys-0.3.61.crate) = 445dde2150c55e483f3d8416706b97ec8e8237c307e5b7b4b8dd15e6af2a0730
+SIZE (rust/crates/js-sys-0.3.61.crate) = 80158
+SHA256 (rust/crates/json-0.12.4.crate) = 078e285eafdfb6c4b434e0d31e8cfcb5115b651496faca5749b88fafd4f23bfd
+SIZE (rust/crates/json-0.12.4.crate) = 105942
+SHA256 (rust/crates/lazy_static-1.4.0.crate) = e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646
+SIZE (rust/crates/lazy_static-1.4.0.crate) = 10443
+SHA256 (rust/crates/libc-0.2.142.crate) = 6a987beff54b60ffa6d51982e1aa1146bc42f19bd26be28b0586f252fccf5317
+SIZE (rust/crates/libc-0.2.142.crate) = 679343
+SHA256 (rust/crates/libz-sys-1.1.8.crate) = 9702761c3935f8cc2f101793272e202c72b99da8f4224a19ddcf1279a6450bbf
+SIZE (rust/crates/libz-sys-1.1.8.crate) = 2481844
+SHA256 (rust/crates/linux-raw-sys-0.3.4.crate) = 36eb31c1778188ae1e64398743890d0877fef36d11521ac60406b42016e8c2cf
+SIZE (rust/crates/linux-raw-sys-0.3.4.crate) = 1007150
+SHA256 (rust/crates/log-0.4.17.crate) = abb12e687cfb44aa40f41fc3978ef76448f9b6038cad6aef4259d3c095a2382e
+SIZE (rust/crates/log-0.4.17.crate) = 38028
+SHA256 (rust/crates/markdown-0.3.0.crate) = ef3aab6a1d529b112695f72beec5ee80e729cb45af58663ec902c8fac764ecdd
+SIZE (rust/crates/markdown-0.3.0.crate) = 32032
+SHA256 (rust/crates/memchr-2.5.0.crate) = 2dffe52ecf27772e601905b7522cb4ef790d2cc203488bbd0e2fe85fcb74566d
+SIZE (rust/crates/memchr-2.5.0.crate) = 65812
+SHA256 (rust/crates/mime-0.3.17.crate) = 6877bb514081ee2a7ff5ef9de3281f14a4dd4bceac4c09388074a6b5df8a139a
+SIZE (rust/crates/mime-0.3.17.crate) = 15712
+SHA256 (rust/crates/miniz_oxide-0.6.2.crate) = b275950c28b37e794e8c55d88aeb5e139d0ce23fdbbeda68f8d7174abdf9e8fa
+SIZE (rust/crates/miniz_oxide-0.6.2.crate) = 54536
+SHA256 (rust/crates/mio-0.8.6.crate) = 5b9d9a46eff5b4ff64b45a9e316a6d1e0bc719ef429cbec4dc630684212bfdf9
+SIZE (rust/crates/mio-0.8.6.crate) = 93658
+SHA256 (rust/crates/native-tls-0.2.11.crate) = 07226173c32f2926027b63cce4bcd8076c3552846cbe7925f3aaffeac0a3b92e
+SIZE (rust/crates/native-tls-0.2.11.crate) = 29008
+SHA256 (rust/crates/nix-0.26.2.crate) = bfdda3d196821d6af13126e40375cdf7da646a96114af134d5f417a9a1dc8e1a
+SIZE (rust/crates/nix-0.26.2.crate) = 277973
+SHA256 (rust/crates/normpath-1.1.1.crate) = ec60c60a693226186f5d6edf073232bfb6464ed97eb22cf3b01c1e8198fd97f5
+SIZE (rust/crates/normpath-1.1.1.crate) = 19786
+SHA256 (rust/crates/object-0.30.3.crate) = ea86265d3d3dcb6a27fc51bd29a4bf387fae9d2986b823079d4986af253eb439
+SIZE (rust/crates/object-0.30.3.crate) = 258901
+SHA256 (rust/crates/ole32-sys-0.2.0.crate) = 5d2c49021782e5233cd243168edfa8037574afed4eba4bbaf538b3d8d1789d8c
+SIZE (rust/crates/ole32-sys-0.2.0.crate) = 4227
+SHA256 (rust/crates/once_cell-1.17.1.crate) = b7e5500299e16ebb147ae15a00a942af264cf3688f47923b8fc2cd5858f23ad3
+SIZE (rust/crates/once_cell-1.17.1.crate) = 32856
+SHA256 (rust/crates/opaque-debug-0.3.0.crate) = 624a8340c38c1b80fd549087862da4ba43e08858af025b236e509b6649fc13d5
+SIZE (rust/crates/opaque-debug-0.3.0.crate) = 5767
+SHA256 (rust/crates/openssl-0.10.51.crate) = 97ea2d98598bf9ada7ea6ee8a30fb74f9156b63bbe495d64ec2b87c269d2dda3
+SIZE (rust/crates/openssl-0.10.51.crate) = 255686
+SHA256 (rust/crates/openssl-macros-0.1.1.crate) = a948666b637a0f465e8564c73e89d4dde00d72d4d473cc972f390fc3dcee7d9c
+SIZE (rust/crates/openssl-macros-0.1.1.crate) = 5601
+SHA256 (rust/crates/openssl-probe-0.1.5.crate) = ff011a302c396a5197692431fc1948019154afc178baf7d8e37367442a4601cf
+SIZE (rust/crates/openssl-probe-0.1.5.crate) = 7227
+SHA256 (rust/crates/openssl-src-111.25.3+1.1.1t.crate) = 924757a6a226bf60da5f7dd0311a34d2b52283dd82ddeb103208ddc66362f80c
+SIZE (rust/crates/openssl-src-111.25.3+1.1.1t.crate) = 5112603
+SHA256 (rust/crates/openssl-sys-0.9.86.crate) = 992bac49bdbab4423199c654a5515bd2a6c6a23bf03f2dd3bdb7e5ae6259bc69
+SIZE (rust/crates/openssl-sys-0.9.86.crate) = 65306
+SHA256 (rust/crates/password-hash-0.3.2.crate) = 1d791538a6dcc1e7cb7fe6f6b58aca40e7f79403c45b2bc274008b5e647af1d8
+SIZE (rust/crates/password-hash-0.3.2.crate) = 26226
+SHA256 (rust/crates/pbkdf2-0.10.1.crate) = 271779f35b581956db91a3e55737327a03aa051e90b1c47aeb189508533adfd7
+SIZE (rust/crates/pbkdf2-0.10.1.crate) = 13232
+SHA256 (rust/crates/percent-encoding-2.2.0.crate) = 478c572c3d73181ff3c2539045f6eb99e5491218eae919370993b890cdbdd98e
+SIZE (rust/crates/percent-encoding-2.2.0.crate) = 10075
+SHA256 (rust/crates/pest-2.5.7.crate) = 7b1403e8401ad5dedea73c626b99758535b342502f8d1e361f4a2dd952749122
+SIZE (rust/crates/pest-2.5.7.crate) = 107898
+SHA256 (rust/crates/pin-project-lite-0.2.9.crate) = e0a7ae3ac2f1173085d398531c705756c94a4c56843785df85a60c1a0afac116
+SIZE (rust/crates/pin-project-lite-0.2.9.crate) = 27713
+SHA256 (rust/crates/pin-utils-0.1.0.crate) = 8b870d8c151b6f2fb93e84a13146138f05d02ed11c7e7c54f8826aaaf7c9f184
+SIZE (rust/crates/pin-utils-0.1.0.crate) = 7580
+SHA256 (rust/crates/pipeline-0.5.0.crate) = d15b6607fa632996eb8a17c9041cb6071cb75ac057abd45dece578723ea8c7c0
+SIZE (rust/crates/pipeline-0.5.0.crate) = 3315
+SHA256 (rust/crates/pkg-config-0.3.26.crate) = 6ac9a59f73473f1b8d852421e59e64809f025994837ef743615c6d0c5b305160
+SIZE (rust/crates/pkg-config-0.3.26.crate) = 18662
+SHA256 (rust/crates/ppv-lite86-0.2.17.crate) = 5b40af805b3121feab8a3c29f04d8ad262fa8e0561883e7653e024ae4479e6de
+SIZE (rust/crates/ppv-lite86-0.2.17.crate) = 22242
+SHA256 (rust/crates/proc-macro2-1.0.56.crate) = 2b63bdb0cd06f1f4dedf69b254734f9b45af66e4a031e42a7480257d9898b435
+SIZE (rust/crates/proc-macro2-1.0.56.crate) = 44454
+SHA256 (rust/crates/quote-1.0.26.crate) = 4424af4bf778aae2051a77b60283332f386554255d722233d09fbfc7e30da2fc
+SIZE (rust/crates/quote-1.0.26.crate) = 28397
+SHA256 (rust/crates/rand-0.8.5.crate) = 34af8d1a0e25924bc5b7c43c079c942339d8f0a8b57c39049bef581b46327404
+SIZE (rust/crates/rand-0.8.5.crate) = 87113
+SHA256 (rust/crates/rand_chacha-0.3.1.crate) = e6c10a63a0fa32252be49d21e7709d4d4baf8d231c2dbce1eaa8141b9b127d88
+SIZE (rust/crates/rand_chacha-0.3.1.crate) = 15251
+SHA256 (rust/crates/rand_core-0.6.4.crate) = ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c
+SIZE (rust/crates/rand_core-0.6.4.crate) = 22666
+SHA256 (rust/crates/redox_syscall-0.2.16.crate) = fb5a58c1855b4b6819d59012155603f0b22ad30cad752600aadfcb695265519a
+SIZE (rust/crates/redox_syscall-0.2.16.crate) = 24012
+SHA256 (rust/crates/redox_syscall-0.3.5.crate) = 567664f262709473930a4bf9e51bf2ebf3348f2e748ccc50dea20646858f8f29
+SIZE (rust/crates/redox_syscall-0.3.5.crate) = 23404
+SHA256 (rust/crates/redox_users-0.4.3.crate) = b033d837a7cf162d7993aded9304e30a83213c648b6e389db233191f891e5c2b
+SIZE (rust/crates/redox_users-0.4.3.crate) = 15353
+SHA256 (rust/crates/regex-1.8.1.crate) = af83e617f331cc6ae2da5443c602dfa5af81e517212d9d611a5b3ba1777b5370
+SIZE (rust/crates/regex-1.8.1.crate) = 248412
+SHA256 (rust/crates/regex-syntax-0.7.1.crate) = a5996294f19bd3aae0453a862ad728f60e6600695733dd5df01da90c54363a3c
+SIZE (rust/crates/regex-syntax-0.7.1.crate) = 339705
+SHA256 (rust/crates/remove_dir_all-0.8.2.crate) = 23895cfadc1917fed9c6ed76a8c2903615fa3704f7493ff82b364c6540acc02b
+SIZE (rust/crates/remove_dir_all-0.8.2.crate) = 19074
+SHA256 (rust/crates/reqwest-0.11.16.crate) = 27b71749df584b7f4cac2c426c127a7c785a5106cc98f7a8feb044115f0fa254
+SIZE (rust/crates/reqwest-0.11.16.crate) = 152152
+SHA256 (rust/crates/rustc-demangle-0.1.23.crate) = d626bb9dae77e28219937af045c257c28bfd3f69333c512553507f5f9798cb76
+SIZE (rust/crates/rustc-demangle-0.1.23.crate) = 28970
+SHA256 (rust/crates/rustix-0.37.14.crate) = d9b864d3c18a5785a05953adeed93e2dca37ed30f18e69bba9f30079d51f363f
+SIZE (rust/crates/rustix-0.37.14.crate) = 317824
+SHA256 (rust/crates/rustversion-1.0.12.crate) = 4f3208ce4d8448b3f3e7d168a73f5e0c43a61e32930de3bceeccedb388b6bf06
+SIZE (rust/crates/rustversion-1.0.12.crate) = 17278
+SHA256 (rust/crates/ryu-1.0.13.crate) = f91339c0467de62360649f8d3e185ca8de4224ff281f66000de5eb2a77a79041
+SIZE (rust/crates/ryu-1.0.13.crate) = 46823
+SHA256 (rust/crates/same-file-1.0.6.crate) = 93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502
+SIZE (rust/crates/same-file-1.0.6.crate) = 10183
+SHA256 (rust/crates/schannel-0.1.21.crate) = 713cfb06c7059f3588fb8044c0fad1d09e3c01d225e25b9220dbfdcf16dbb1b3
+SIZE (rust/crates/schannel-0.1.21.crate) = 41719
+SHA256 (rust/crates/scopeguard-1.1.0.crate) = d29ab0c6d3fc0ee92fe66e2d99f700eab17a8d57d1c1d3b748380fb20baa78cd
+SIZE (rust/crates/scopeguard-1.1.0.crate) = 11470
+SHA256 (rust/crates/security-framework-2.8.2.crate) = a332be01508d814fed64bf28f798a146d73792121129962fdf335bb3c49a4254
+SIZE (rust/crates/security-framework-2.8.2.crate) = 77045
+SHA256 (rust/crates/security-framework-sys-2.8.0.crate) = 31c9bb296072e961fcbd8853511dd39c2d8be2deb1e17c6860b1d30732b323b4
+SIZE (rust/crates/security-framework-sys-2.8.0.crate) = 17911
+SHA256 (rust/crates/semver-0.11.0.crate) = f301af10236f6df4160f7c3f04eec6dbc70ace82d23326abad5edee88801c6b6
+SIZE (rust/crates/semver-0.11.0.crate) = 20826
+SHA256 (rust/crates/semver-parser-0.10.2.crate) = 00b0bef5b7f9e0df16536d3961cfb6e84331c065b4066afb39768d0e319411f7
+SIZE (rust/crates/semver-parser-0.10.2.crate) = 23176
+SHA256 (rust/crates/serde-1.0.160.crate) = bb2f3770c8bce3bcda7e149193a069a0f4365bda1fa5cd88e03bca26afc1216c
+SIZE (rust/crates/serde-1.0.160.crate) = 77010
+SHA256 (rust/crates/serde_derive-1.0.160.crate) = 291a097c63d8497e00160b166a967a4a79c64f3facdd01cbd7502231688d77df
+SIZE (rust/crates/serde_derive-1.0.160.crate) = 55081
+SHA256 (rust/crates/serde_json-1.0.96.crate) = 057d394a50403bcac12672b2b18fb387ab6d289d957dab67dd201875391e52f1
+SIZE (rust/crates/serde_json-1.0.96.crate) = 144652
+SHA256 (rust/crates/serde_urlencoded-0.7.1.crate) = d3491c14715ca2294c4d6a88f15e84739788c1d030eed8c110436aafdaa2f3fd
+SIZE (rust/crates/serde_urlencoded-0.7.1.crate) = 12822
+SHA256 (rust/crates/sha1-0.10.5.crate) = f04293dc80c3993519f2d7f6f511707ee7094fe0c6d3406feb330cdb3540eba3
+SIZE (rust/crates/sha1-0.10.5.crate) = 12146
+SHA256 (rust/crates/sha2-0.9.9.crate) = 4d58a1e1bf39749807d89cf2d98ac2dfa0ff1cb3faa38fbb64dd88ac8013d800
+SIZE (rust/crates/sha2-0.9.9.crate) = 22247
+SHA256 (rust/crates/sha2-0.10.6.crate) = 82e6b795fe2e3b1e845bafcb27aa35405c4d47cdfc92af5fc8d3002f76cebdc0
+SIZE (rust/crates/sha2-0.10.6.crate) = 20558
+SHA256 (rust/crates/slab-0.4.8.crate) = 6528351c9bc8ab22353f9d776db39a20288e8d6c37ef8cfe3317cf875eecfc2d
+SIZE (rust/crates/slab-0.4.8.crate) = 16928
+SHA256 (rust/crates/smart-default-0.6.0.crate) = 133659a15339456eeeb07572eb02a91c91e9815e9cbc89566944d2c8d3efdbf6
+SIZE (rust/crates/smart-default-0.6.0.crate) = 8169
+SHA256 (rust/crates/socket2-0.4.9.crate) = 64a4a911eed85daf18834cfaa86a79b7d266ff93ff5ba14005426219480ed662
+SIZE (rust/crates/socket2-0.4.9.crate) = 45421
+SHA256 (rust/crates/stable_deref_trait-1.2.0.crate) = a8f112729512f8e442d81f95a8a7ddf2b7c6b8a1a6f509a95864142b30cab2d3
+SIZE (rust/crates/stable_deref_trait-1.2.0.crate) = 8054
+SHA256 (rust/crates/static_assertions-1.1.0.crate) = a2eb9349b6444b326872e140eb1cf5e7c522154d69e7a0ffb0fb81c06b37543f
+SIZE (rust/crates/static_assertions-1.1.0.crate) = 18480
+SHA256 (rust/crates/strsim-0.8.0.crate) = 8ea5119cdb4c55b55d432abb513a0429384878c15dde60cc77b1c99de1a95a6a
+SIZE (rust/crates/strsim-0.8.0.crate) = 9309
+SHA256 (rust/crates/subtle-2.4.1.crate) = 6bdef32e8150c2a081110b42772ffe7d7c9032b606bc226c8260fd97e0976601
+SIZE (rust/crates/subtle-2.4.1.crate) = 12630
+SHA256 (rust/crates/syn-1.0.109.crate) = 72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237
+SIZE (rust/crates/syn-1.0.109.crate) = 237611
+SHA256 (rust/crates/syn-2.0.15.crate) = a34fcf3e8b60f57e6a14301a2e916d323af98b0ea63c599441eec8558660c822
+SIZE (rust/crates/syn-2.0.15.crate) = 240785
+SHA256 (rust/crates/tar-0.4.38.crate) = 4b55807c0344e1e6c04d7c965f5289c39a8d94ae23ed5c0b57aabac549f871c6
+SIZE (rust/crates/tar-0.4.38.crate) = 49158
+SHA256 (rust/crates/tempfile-3.5.0.crate) = b9fbec84f381d5795b08656e4912bec604d162bff9291d6189a78f4c8ab87998
+SIZE (rust/crates/tempfile-3.5.0.crate) = 31129
+SHA256 (rust/crates/term-0.7.0.crate) = c59df8ac95d96ff9bede18eb7300b0fda5e5d8d90960e76f8e14ae765eedbf1f
+SIZE (rust/crates/term-0.7.0.crate) = 37082
+SHA256 (rust/crates/textwrap-0.11.0.crate) = d326610f408c7a4eb6f51c37c330e496b08506c9457c9d34287ecc38809fb060
+SIZE (rust/crates/textwrap-0.11.0.crate) = 17322
+SHA256 (rust/crates/thiserror-1.0.40.crate) = 978c9a314bd8dc99be594bc3c175faaa9794be04a5a5e153caba6915336cebac
+SIZE (rust/crates/thiserror-1.0.40.crate) = 18709
+SHA256 (rust/crates/thiserror-impl-1.0.40.crate) = f9456a42c5b0d803c8cd86e73dd7cc9edd429499f37a3550d286d5e86720569f
+SIZE (rust/crates/thiserror-impl-1.0.40.crate) = 15138
+SHA256 (rust/crates/time-0.3.20.crate) = cd0cbfecb4d19b5ea75bb31ad904eb5b9fa13f21079c3b92017ebdf4999a5890
+SIZE (rust/crates/time-0.3.20.crate) = 111856
+SHA256 (rust/crates/time-core-0.1.0.crate) = 2e153e1f1acaef8acc537e68b44906d2db6436e2b35ac2c6b42640fff91f00fd
+SIZE (rust/crates/time-core-0.1.0.crate) = 6597
+SHA256 (rust/crates/time-macros-0.2.8.crate) = fd80a657e71da814b8e5d60d3374fc6d35045062245d80224748ae522dd76f36
+SIZE (rust/crates/time-macros-0.2.8.crate) = 24295
+SHA256 (rust/crates/tinyvec-1.6.0.crate) = 87cc5ceb3875bb20c2890005a4e226a4651264a5c75edb2421b52861a0a0cb50
+SIZE (rust/crates/tinyvec-1.6.0.crate) = 45991
+SHA256 (rust/crates/tinyvec_macros-0.1.1.crate) = 1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20
+SIZE (rust/crates/tinyvec_macros-0.1.1.crate) = 5865
+SHA256 (rust/crates/tokio-1.27.0.crate) = d0de47a4eecbe11f498978a9b29d792f0d2692d1dd003650c24c76510e3bc001
+SIZE (rust/crates/tokio-1.27.0.crate) = 653991
+SHA256 (rust/crates/tokio-native-tls-0.3.1.crate) = bbae76ab933c85776efabc971569dd6119c580d8f5d448769dec1764bf796ef2
+SIZE (rust/crates/tokio-native-tls-0.3.1.crate) = 20676
+SHA256 (rust/crates/tokio-util-0.7.7.crate) = 5427d89453009325de0d8f342c9490009f76e999cb7672d77e46267448f7e6b2
+SIZE (rust/crates/tokio-util-0.7.7.crate) = 100405
+SHA256 (rust/crates/toml-0.5.11.crate) = f4f7f0dd8d50a853a531c426359045b1998f04219d88799810762cd4ad314234
+SIZE (rust/crates/toml-0.5.11.crate) = 54910
+SHA256 (rust/crates/tower-service-0.3.2.crate) = b6bc1c9ce2b5135ac7f93c72918fc37feb872bdc6a5533a8b85eb4b86bfdae52
+SIZE (rust/crates/tower-service-0.3.2.crate) = 6847
+SHA256 (rust/crates/tracing-0.1.37.crate) = 8ce8c33a8d48bd45d624a6e523445fd21ec13d3653cd51f681abf67418f54eb8
+SIZE (rust/crates/tracing-0.1.37.crate) = 73888
+SHA256 (rust/crates/tracing-core-0.1.30.crate) = 24eb03ba0eab1fd845050058ce5e616558e8f8d8fca633e6b163fe25c797213a
+SIZE (rust/crates/tracing-core-0.1.30.crate) = 60351
+SHA256 (rust/crates/try-lock-0.2.4.crate) = 3528ecfd12c466c6f163363caf2d02a71161dd5e1cc6ae7b34207ea2d42d81ed
+SIZE (rust/crates/try-lock-0.2.4.crate) = 4467
+SHA256 (rust/crates/typenum-1.16.0.crate) = 497961ef93d974e23eb6f433eb5fe1b7930b659f06d12dec6fc44a8f554c0bba
+SIZE (rust/crates/typenum-1.16.0.crate) = 42477
+SHA256 (rust/crates/ucd-trie-0.1.5.crate) = 9e79c4d996edb816c91e4308506774452e55e95c3c9de07b6729e17e15a5ef81
+SIZE (rust/crates/ucd-trie-0.1.5.crate) = 45391
+SHA256 (rust/crates/unicode-bidi-0.3.13.crate) = 92888ba5573ff080736b3648696b70cafad7d250551175acbaa4e0385b3e1460
+SIZE (rust/crates/unicode-bidi-0.3.13.crate) = 44477
+SHA256 (rust/crates/unicode-ident-1.0.8.crate) = e5464a87b239f13a63a501f2701565754bae92d243d4bb7eb12f6d57d2269bf4
+SIZE (rust/crates/unicode-ident-1.0.8.crate) = 41962
+SHA256 (rust/crates/unicode-normalization-0.1.22.crate) = 5c5713f0fc4b5db668a2ac63cdb7bb4469d8c9fed047b1d0292cc7b0ce2ba921
+SIZE (rust/crates/unicode-normalization-0.1.22.crate) = 122604
+SHA256 (rust/crates/unicode-width-0.1.10.crate) = c0edd1e5b14653f783770bce4a4dabb4a5108a5370a5f5d8cfe8710c361f6c8b
+SIZE (rust/crates/unicode-width-0.1.10.crate) = 18968
+SHA256 (rust/crates/url-2.3.1.crate) = 0d68c799ae75762b8c3fe375feb6600ef5602c883c5d21eb51c09f22b83c4643
+SIZE (rust/crates/url-2.3.1.crate) = 72777
+SHA256 (rust/crates/vcpkg-0.2.15.crate) = accd4ea62f7bb7a82fe23066fb0957d48ef677f6eeb8215f372f52e48bb32426
+SIZE (rust/crates/vcpkg-0.2.15.crate) = 228735
+SHA256 (rust/crates/vec_map-0.8.2.crate) = f1bddf1187be692e79c5ffeab891132dfb0f236ed36a43c7ed39f1165ee20191
+SIZE (rust/crates/vec_map-0.8.2.crate) = 14466
+SHA256 (rust/crates/version_check-0.9.4.crate) = 49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f
+SIZE (rust/crates/version_check-0.9.4.crate) = 14895
+SHA256 (rust/crates/wait-timeout-0.2.0.crate) = 9f200f5b12eb75f8c1ed65abd4b2db8a6e1b138a20de009dacee265a2498f3f6
+SIZE (rust/crates/wait-timeout-0.2.0.crate) = 12441
+SHA256 (rust/crates/walkdir-2.3.3.crate) = 36df944cda56c7d8d8b7496af378e6b16de9284591917d307c9b4d313c44e698
+SIZE (rust/crates/walkdir-2.3.3.crate) = 23125
+SHA256 (rust/crates/want-0.3.0.crate) = 1ce8a968cb1cd110d136ff8b819a556d6fb6d919363c61534f6860c7eb172ba0
+SIZE (rust/crates/want-0.3.0.crate) = 6550
+SHA256 (rust/crates/wasi-0.11.0+wasi-snapshot-preview1.crate) = 9c8d87e72b64a3b4db28d11ce29237c246188f4f51057d65a7eab63b7987e423
+SIZE (rust/crates/wasi-0.11.0+wasi-snapshot-preview1.crate) = 28131
+SHA256 (rust/crates/wasm-bindgen-0.2.84.crate) = 31f8dcbc21f30d9b8f2ea926ecb58f6b91192c17e9d33594b3df58b2007ca53b
+SIZE (rust/crates/wasm-bindgen-0.2.84.crate) = 172947
+SHA256 (rust/crates/wasm-bindgen-backend-0.2.84.crate) = 95ce90fd5bcc06af55a641a86428ee4229e44e07033963a2290a8e241607ccb9
+SIZE (rust/crates/wasm-bindgen-backend-0.2.84.crate) = 26344
+SHA256 (rust/crates/wasm-bindgen-futures-0.4.34.crate) = f219e0d211ba40266969f6dbdd90636da12f75bee4fc9d6c23d1260dadb51454
+SIZE (rust/crates/wasm-bindgen-futures-0.4.34.crate) = 15117
+SHA256 (rust/crates/wasm-bindgen-macro-0.2.84.crate) = 4c21f77c0bedc37fd5dc21f897894a5ca01e7bb159884559461862ae90c0b4c5
+SIZE (rust/crates/wasm-bindgen-macro-0.2.84.crate) = 12857
+SHA256 (rust/crates/wasm-bindgen-macro-support-0.2.84.crate) = 2aff81306fcac3c7515ad4e177f521b5c9a15f2b08f4e32d823066102f35a5f6
+SIZE (rust/crates/wasm-bindgen-macro-support-0.2.84.crate) = 19076
+SHA256 (rust/crates/wasm-bindgen-shared-0.2.84.crate) = 0046fef7e28c3804e5e38bfa31ea2a0f73905319b677e57ebe37e49358989b5d
+SIZE (rust/crates/wasm-bindgen-shared-0.2.84.crate) = 7219
+SHA256 (rust/crates/web-sys-0.3.61.crate) = e33b99f4b23ba3eec1a53ac264e35a755f00e966e0065077d6027c0f575b0b97
+SIZE (rust/crates/web-sys-0.3.61.crate) = 706333
+SHA256 (rust/crates/winapi-0.2.8.crate) = 167dc9d6949a9b857f3451275e911c3f44255842c1f7a76f33c55103a909087a
+SIZE (rust/crates/winapi-0.2.8.crate) = 455145
+SHA256 (rust/crates/winapi-0.3.9.crate) = 5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419
+SIZE (rust/crates/winapi-0.3.9.crate) = 1200382
+SHA256 (rust/crates/winapi-build-0.1.1.crate) = 2d315eee3b34aca4797b2da6b13ed88266e6d612562a0c46390af8299fc699bc
+SIZE (rust/crates/winapi-build-0.1.1.crate) = 669
+SHA256 (rust/crates/winapi-i686-pc-windows-gnu-0.4.0.crate) = ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6
+SIZE (rust/crates/winapi-i686-pc-windows-gnu-0.4.0.crate) = 2918815
+SHA256 (rust/crates/winapi-util-0.1.5.crate) = 70ec6ce85bb158151cae5e5c87f95a8e97d2c0c4b001223f33a334e3ce5de178
+SIZE (rust/crates/winapi-util-0.1.5.crate) = 10164
+SHA256 (rust/crates/winapi-x86_64-pc-windows-gnu-0.4.0.crate) = 712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f
+SIZE (rust/crates/winapi-x86_64-pc-windows-gnu-0.4.0.crate) = 2947998
+SHA256 (rust/crates/windows-sys-0.42.0.crate) = 5a3e1820f08b8513f676f7ab6c1f99ff312fb97b553d30ff4dd86f9f15728aa7
+SIZE (rust/crates/windows-sys-0.42.0.crate) = 3006791
+SHA256 (rust/crates/windows-sys-0.45.0.crate) = 75283be5efb2831d37ea142365f009c02ec203cd29a3ebecbc093d52315b66d0
+SIZE (rust/crates/windows-sys-0.45.0.crate) = 2568659
+SHA256 (rust/crates/windows-sys-0.48.0.crate) = 677d2418bec65e3338edb076e806bc1ec15693c5d0104683f2efe857f61056a9
+SIZE (rust/crates/windows-sys-0.48.0.crate) = 2628884
+SHA256 (rust/crates/windows-targets-0.42.2.crate) = 8e5180c00cd44c9b1c88adb3693291f1cd93605ded80c250a75d472756b4d071
+SIZE (rust/crates/windows-targets-0.42.2.crate) = 5492
+SHA256 (rust/crates/windows-targets-0.48.0.crate) = 7b1eb6f0cd7c80c79759c929114ef071b87354ce476d9d94271031c0497adfd5
+SIZE (rust/crates/windows-targets-0.48.0.crate) = 7466
+SHA256 (rust/crates/windows_aarch64_gnullvm-0.42.2.crate) = 597a5118570b68bc08d8d59125332c54f1ba9d9adeedeef5b99b02ba2b0698f8
+SIZE (rust/crates/windows_aarch64_gnullvm-0.42.2.crate) = 364071
+SHA256 (rust/crates/windows_aarch64_gnullvm-0.48.0.crate) = 91ae572e1b79dba883e0d315474df7305d12f569b400fcf90581b06062f7e1bc
+SIZE (rust/crates/windows_aarch64_gnullvm-0.48.0.crate) = 366543
+SHA256 (rust/crates/windows_aarch64_msvc-0.42.2.crate) = e08e8864a60f06ef0d0ff4ba04124db8b0fb3be5776a5cd47641e942e58c4d43
+SIZE (rust/crates/windows_aarch64_msvc-0.42.2.crate) = 666981
+SHA256 (rust/crates/windows_aarch64_msvc-0.48.0.crate) = b2ef27e0d7bdfcfc7b868b317c1d32c641a6fe4629c171b8928c7b08d98d7cf3
+SIZE (rust/crates/windows_aarch64_msvc-0.48.0.crate) = 671479
+SHA256 (rust/crates/windows_i686_gnu-0.42.2.crate) = c61d927d8da41da96a81f029489353e68739737d3beca43145c8afec9a31a84f
+SIZE (rust/crates/windows_i686_gnu-0.42.2.crate) = 736236
+SHA256 (rust/crates/windows_i686_gnu-0.48.0.crate) = 622a1962a7db830d6fd0a69683c80a18fda201879f0f447f065a3b7467daa241
+SIZE (rust/crates/windows_i686_gnu-0.48.0.crate) = 741490
+SHA256 (rust/crates/windows_i686_msvc-0.42.2.crate) = 44d840b6ec649f480a41c8d80f9c65108b92d89345dd94027bfe06ac444d1060
+SIZE (rust/crates/windows_i686_msvc-0.42.2.crate) = 724951
+SHA256 (rust/crates/windows_i686_msvc-0.48.0.crate) = 4542c6e364ce21bf45d69fdd2a8e455fa38d316158cfd43b3ac1c5b1b19f8e00
+SIZE (rust/crates/windows_i686_msvc-0.48.0.crate) = 730056
+SHA256 (rust/crates/windows_x86_64_gnu-0.42.2.crate) = 8de912b8b8feb55c064867cf047dda097f92d51efad5b491dfb98f6bbb70cb36
+SIZE (rust/crates/windows_x86_64_gnu-0.42.2.crate) = 699373
+SHA256 (rust/crates/windows_x86_64_gnu-0.48.0.crate) = ca2b8a661f7628cbd23440e50b05d705db3686f894fc9580820623656af974b1
+SIZE (rust/crates/windows_x86_64_gnu-0.48.0.crate) = 703595
+SHA256 (rust/crates/windows_x86_64_gnullvm-0.42.2.crate) = 26d41b46a36d453748aedef1486d5c7a85db22e56aff34643984ea85514e94a3
+SIZE (rust/crates/windows_x86_64_gnullvm-0.42.2.crate) = 364068
+SHA256 (rust/crates/windows_x86_64_gnullvm-0.48.0.crate) = 7896dbc1f41e08872e9d5e8f8baa8fdd2677f29468c4e156210174edc7f7b953
+SIZE (rust/crates/windows_x86_64_gnullvm-0.48.0.crate) = 366536
+SHA256 (rust/crates/windows_x86_64_msvc-0.42.2.crate) = 9aec5da331524158c6d1a4ac0ab1541149c0b9505fde06423b02f5ef0106b9f0
+SIZE (rust/crates/windows_x86_64_msvc-0.42.2.crate) = 666936
+SHA256 (rust/crates/windows_x86_64_msvc-0.48.0.crate) = 1a515f5799fe4961cb532f983ce2b23082366b898e52ffbce459c86f67c8378a
+SIZE (rust/crates/windows_x86_64_msvc-0.48.0.crate) = 671422
+SHA256 (rust/crates/winreg-0.8.0.crate) = d107f8c6e916235c4c01cabb3e8acf7bea8ef6a63ca2e7fa0527c049badfc48c
+SIZE (rust/crates/winreg-0.8.0.crate) = 22220
+SHA256 (rust/crates/winreg-0.10.1.crate) = 80d0f4e272c85def139476380b12f9ac60926689dd2e01d4923222f40580869d
+SIZE (rust/crates/winreg-0.10.1.crate) = 25725
+SHA256 (rust/crates/xattr-0.2.3.crate) = 6d1526bbe5aaeb5eb06885f4d987bcdfa5e23187055de9b83fe00156a821fabc
+SIZE (rust/crates/xattr-0.2.3.crate) = 11959
+SHA256 (rust/crates/zip-0.6.2.crate) = bf225bcf73bb52cbb496e70475c7bd7a3f769df699c0020f6c7bd9a96dcf0b8d
+SIZE (rust/crates/zip-0.6.2.crate) = 60077
+SHA256 (rust/crates/zstd-0.10.2+zstd.1.5.2.crate) = 5f4a6bd64f22b5e3e94b4e238669ff9f10815c27a5180108b849d24174a83847
+SIZE (rust/crates/zstd-0.10.2+zstd.1.5.2.crate) = 28778
+SHA256 (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 94b61c51bb270702d6167b8ce67340d2754b088d0c091b06e593aa772c3ee9bb
+SIZE (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 17194
+SHA256 (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = fc49afa5c8d634e75761feda8c592051e7eeb4683ba827211eb0d731d3402ea8
+SIZE (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = 720054
+SHA256 (leanprover-elan-v3.0.0_GH0.tar.gz) = d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c
+SIZE (leanprover-elan-v3.0.0_GH0.tar.gz) = 95653
diff --git a/math/elan/pkg-descr b/math/elan/pkg-descr
new file mode 100644
index 000000000000..3e32c08746cf
--- /dev/null
+++ b/math/elan/pkg-descr
@@ -0,0 +1,7 @@
+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.