Date: Mon, 15 Jan 2024 10:36:52 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 7fa65791d38d - main - math/elan: New port: Lean version manager Message-ID: <202401151036.40FAaq7K021109@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202401151036.40FAaq7K021109>