notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)Want a good monitor light? See my photosAll times are UTC		 Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
elan Lean version manager
3.1.1_1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2024-01-15 10:39:06
Last Update: 2024-03-23 09:41:46
Commit Hash: d632fbe
License: APACHE20
WWW:
https://github.com/leanprover/elan
Description:
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
Collapse this list.
  1. bin/elan
  2. /usr/local/share/licenses/elan-3.1.1_1/catalog.mk
  3. /usr/local/share/licenses/elan-3.1.1_1/LICENSE
  4. /usr/local/share/licenses/elan-3.1.1_1/APACHE20
Collapse this list.
Dependency lines:
  • elan>0:math/elan
To install the port:
cd /usr/ports/math/elan/ && make install clean
To add the package, run one of these commands:
  • pkg install math/elan
  • pkg install elan
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: elan
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1708682352 SHA256 (rust/crates/addr2line-0.19.0.crate) = a76fd60b23679b7d19bd066031410fb7e458ccc5e958eb5c325888ce4baedc97 SIZE (rust/crates/addr2line-0.19.0.crate) = 33210

Expand this list (460 items)

Collapse this list.

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.1.1_GH0.tar.gz) = b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c SIZE (leanprover-elan-v3.1.1_GH0.tar.gz) = 93564

Collapse this list.

Packages (timestamps in pop-ups are UTC):
elan
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest3.1.1_13.1.1_1--3.1.1_1---
FreeBSD:13:quarterly3.1.1_13.1.1_1--3.1.1_1---
FreeBSD:14:latest3.1.1_13.1.1_1--3.1.1_1---
FreeBSD:14:quarterly-3.1.1_1--3.1.1_1---
FreeBSD:15:latest3.1.13.1.1_1n/a3.0.0n/a-3.0.0-
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
  2. rust>=1.77.0 : lang/rust
  3. pkgconf>=1.3.0_1 : devel/pkgconf
  4. perl5>=5.36<5.37 : lang/perl5.36
Library dependencies:
  1. libcurl.so : ftp/curl
There are no ports dependent upon this port
Configuration Options:
No options to configure
Options name:
math_elan
USES:
cargo perl5
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/leanprover/elan/tar.gz/v3.1.1?dummy=/
Collapse this list.

Number of commits found: 4

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.1.1_1
23 Mar 2024 09:41:46
commit hash: d632fbe55e45559d03a0bef7211913964aeba45acommit hash: d632fbe55e45559d03a0bef7211913964aeba45acommit hash: d632fbe55e45559d03a0bef7211913964aeba45acommit hash: d632fbe55e45559d03a0bef7211913964aeba45a files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.77.0

PR:		277786
3.1.1
23 Feb 2024 10:25:42
commit hash: ac4b8e87bd26c85429f531e49faabb741344b77bcommit hash: ac4b8e87bd26c85429f531e49faabb741344b77bcommit hash: ac4b8e87bd26c85429f531e49faabb741344b77bcommit hash: ac4b8e87bd26c85429f531e49faabb741344b77b files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/elan: update 3.0.0 → 3.1.1

Reported by:	portscout
3.0.0_1
19 Feb 2024 11:59:23
commit hash: 7f5a7b0e524c8d32727681a4324905e350dc433ccommit hash: 7f5a7b0e524c8d32727681a4324905e350dc433ccommit hash: 7f5a7b0e524c8d32727681a4324905e350dc433ccommit hash: 7f5a7b0e524c8d32727681a4324905e350dc433c files touched by this commit		 Mikael Urankar (mikael) search for other commits by this committer 
lang/rust: Bump revisions after 1.76.0

PR:		276920
3.0.0
15 Jan 2024 10:36:49
commit hash: 7fa65791d38dd7bc5c11879e6e3d6293b7dc8c94commit hash: 7fa65791d38dd7bc5c11879e6e3d6293b7dc8c94commit hash: 7fa65791d38dd7bc5c11879e6e3d6293b7dc8c94commit hash: 7fa65791d38dd7bc5c11879e6e3d6293b7dc8c94 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/elan: New port: Lean version manager

Number of commits found: 4
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumApr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25
glpi*Apr 25

39 vulnerabilities affecting 232 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2024-04-25 21:13:12 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 32226
Broken 86
Deprecated 178
Ignore 218
Forbidden 2
Restricted 2
No CDROM 1
Vulnerable 37
Expired 6
Set to expire 152
Interactive 0
new 24 hours 2
new 48 hours7
new 7 days17
new fortnight30
new month126
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2024 Dan Langille. All rights reserved.