git: 3f97ffe1ec72 - main - math/elan: update 4.2.3 → 4.2.4
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 06 Sep 2026 06:19:21 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=3f97ffe1ec724fe49fba04eb0cd4a98fdb0e4fb5
commit 3f97ffe1ec724fe49fba04eb0cd4a98fdb0e4fb5
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-09-06 01:42:14 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-09-06 06:18:28 +0000
math/elan: update 4.2.3 → 4.2.4
---
math/elan/Makefile | 30 ++++++++++++---------------
math/elan/distinfo | 60 ++++++++++++++++++++++++------------------------------
2 files changed, 40 insertions(+), 50 deletions(-)
diff --git a/math/elan/Makefile b/math/elan/Makefile
index a9c36aa033a0..835a0bd02d87 100644
--- a/math/elan/Makefile
+++ b/math/elan/Makefile
@@ -1,7 +1,6 @@
PORTNAME= elan
DISTVERSIONPREFIX= v
-DISTVERSION= 4.2.3
-PORTREVISION= 1
+DISTVERSION= 4.2.4
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@@ -26,7 +25,6 @@ CARGO_CRATES= addr2line-0.24.2 \
aho-corasick-1.1.3 \
aligned-0.4.2 \
ansi_term-0.12.1 \
- arbitrary-1.4.1 \
as-slice-0.2.1 \
atty-0.2.14 \
autocfg-1.4.0 \
@@ -38,8 +36,7 @@ CARGO_CRATES= addr2line-0.24.2 \
bumpalo-3.16.0 \
byteorder-1.5.0 \
bytes-1.8.0 \
- bzip2-0.5.2 \
- bzip2-sys-0.1.13+1.0.8 \
+ bzip2-0.6.1 \
cc-1.2.0 \
cfg-if-1.0.0 \
cfg_aliases-0.2.1 \
@@ -49,17 +46,13 @@ CARGO_CRATES= addr2line-0.24.2 \
core-foundation-0.9.4 \
core-foundation-sys-0.8.7 \
cpufeatures-0.2.15 \
- crc-3.2.1 \
- crc-catalog-2.4.0 \
- crc32fast-1.4.2 \
- crossbeam-utils-0.8.21 \
+ crc32fast-1.5.0 \
crypto-common-0.1.6 \
curl-0.4.47 \
curl-sys-0.4.78+curl-8.11.0 \
cvt-0.1.2 \
- deflate64-0.1.9 \
+ deflate64-0.1.12 \
deranged-0.4.0 \
- derive_arbitrary-1.4.1 \
digest-0.10.7 \
dirs-3.0.2 \
dirs-next-2.0.0 \
@@ -74,7 +67,7 @@ CARGO_CRATES= addr2line-0.24.2 \
error-chain-0.12.4 \
fastrand-2.2.0 \
filetime-0.2.25 \
- flate2-1.0.34 \
+ flate2-1.1.9 \
fnv-1.0.7 \
foreign-types-0.3.2 \
foreign-types-shared-0.1.1 \
@@ -127,6 +120,7 @@ CARGO_CRATES= addr2line-0.24.2 \
js-sys-0.3.77 \
json-0.12.4 \
lazy_static-1.5.0 \
+ libbz2-rs-sys-0.2.5 \
libc-0.2.162 \
libredox-0.1.3 \
libz-sys-1.1.20 \
@@ -134,11 +128,10 @@ CARGO_CRATES= addr2line-0.24.2 \
litemap-0.7.3 \
lockfree-object-pool-0.1.6 \
log-0.4.22 \
- lzma-rs-0.3.0 \
- lzma-sys-0.1.20 \
+ lzma-rust2-0.15.8 \
memchr-2.7.4 \
mime-0.3.17 \
- miniz_oxide-0.8.0 \
+ miniz_oxide-0.8.9 \
mio-1.0.2 \
native-tls-0.2.12 \
nix-0.29.0 \
@@ -158,6 +151,7 @@ CARGO_CRATES= addr2line-0.24.2 \
pin-utils-0.1.0 \
pkg-config-0.3.31 \
powerfmt-0.2.0 \
+ ppmd-rust-1.4.0 \
ppv-lite86-0.2.20 \
proc-macro2-1.0.89 \
pulldown-cmark-0.13.0 \
@@ -191,6 +185,7 @@ CARGO_CRATES= addr2line-0.24.2 \
serde_json-1.0.132 \
serde_urlencoded-0.7.1 \
sha1-0.10.6 \
+ sha2-0.10.9 \
shlex-1.3.0 \
simd-adler32-0.3.7 \
slab-0.4.9 \
@@ -221,6 +216,7 @@ CARGO_CRATES= addr2line-0.24.2 \
tracing-0.1.40 \
tracing-core-0.1.32 \
try-lock-0.2.5 \
+ typed-path-0.12.3 \
typenum-1.17.0 \
ucd-trie-0.1.7 \
unicase-2.8.1 \
@@ -273,7 +269,6 @@ CARGO_CRATES= addr2line-0.24.2 \
write16-1.0.0 \
writeable-0.5.5 \
xattr-1.3.1 \
- xz2-0.1.7 \
yoke-0.7.4 \
yoke-derive-0.7.4 \
zerocopy-0.7.35 \
@@ -284,7 +279,8 @@ CARGO_CRATES= addr2line-0.24.2 \
zeroize_derive-1.4.2 \
zerovec-0.10.4 \
zerovec-derive-0.10.3 \
- zip-2.6.1 \
+ zip-7.2.0 \
+ zlib-rs-0.6.6 \
zopfli-0.8.1 \
zstd-0.12.4 \
zstd-0.13.3 \
diff --git a/math/elan/distinfo b/math/elan/distinfo
index 4af2556d9e65..1db8bf5c5a7d 100644
--- a/math/elan/distinfo
+++ b/math/elan/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1780977644
+TIMESTAMP = 1788626510
SHA256 (rust/crates/addr2line-0.24.2.crate) = dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1
SIZE (rust/crates/addr2line-0.24.2.crate) = 39015
SHA256 (rust/crates/adler2-2.0.0.crate) = 512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627
@@ -11,8 +11,6 @@ SHA256 (rust/crates/aligned-0.4.2.crate) = 377e4c0ba83e4431b10df45c1d4666f178ea9
SIZE (rust/crates/aligned-0.4.2.crate) = 8519
SHA256 (rust/crates/ansi_term-0.12.1.crate) = d52a9bb7ec0cf484c551830a7ce27bd20d67eac647e1befb56b0be4ee39a55d2
SIZE (rust/crates/ansi_term-0.12.1.crate) = 24838
-SHA256 (rust/crates/arbitrary-1.4.1.crate) = dde20b3d026af13f561bdd0f15edf01fc734f0dafcedbaf42bba506a9517f223
-SIZE (rust/crates/arbitrary-1.4.1.crate) = 36816
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
@@ -35,10 +33,8 @@ SHA256 (rust/crates/byteorder-1.5.0.crate) = 1fd0f2584146f6f2ef48085050886acf353
SIZE (rust/crates/byteorder-1.5.0.crate) = 23288
SHA256 (rust/crates/bytes-1.8.0.crate) = 9ac0150caa2ae65ca5bd83f25c7de183dea78d4d366469f148435e2acfbad0da
SIZE (rust/crates/bytes-1.8.0.crate) = 64824
-SHA256 (rust/crates/bzip2-0.5.2.crate) = 49ecfb22d906f800d4fe833b6282cf4dc1c298f5057ca0b5445e5c209735ca47
-SIZE (rust/crates/bzip2-0.5.2.crate) = 38314
-SHA256 (rust/crates/bzip2-sys-0.1.13+1.0.8.crate) = 225bff33b2141874fe80d71e07d6eec4f85c5c216453dd96388240f96e1acc14
-SIZE (rust/crates/bzip2-sys-0.1.13+1.0.8.crate) = 633818
+SHA256 (rust/crates/bzip2-0.6.1.crate) = f3a53fac24f34a81bc9954b5d6cfce0c21e18ec6959f44f56e8e90e4bb7c346c
+SIZE (rust/crates/bzip2-0.6.1.crate) = 38427
SHA256 (rust/crates/cc-1.2.0.crate) = 1aeb932158bd710538c73702db6945cb68a8fb08c519e6e12706b94263b36db8
SIZE (rust/crates/cc-1.2.0.crate) = 92640
SHA256 (rust/crates/cfg-if-1.0.0.crate) = baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd
@@ -57,14 +53,8 @@ SHA256 (rust/crates/core-foundation-sys-0.8.7.crate) = 773648b94d0e5d620f64f2807
SIZE (rust/crates/core-foundation-sys-0.8.7.crate) = 37712
SHA256 (rust/crates/cpufeatures-0.2.15.crate) = 0ca741a962e1b0bff6d724a1a0958b686406e853bb14061f218562e1896f95e6
SIZE (rust/crates/cpufeatures-0.2.15.crate) = 13196
-SHA256 (rust/crates/crc-3.2.1.crate) = 69e6e4d7b33a94f0991c26729976b10ebde1d34c3ee82408fb536164fa10d636
-SIZE (rust/crates/crc-3.2.1.crate) = 15070
-SHA256 (rust/crates/crc-catalog-2.4.0.crate) = 19d374276b40fb8bbdee95aef7c7fa6b5316ec764510eb64b8dd0e2ed0d7e7f5
-SIZE (rust/crates/crc-catalog-2.4.0.crate) = 10155
-SHA256 (rust/crates/crc32fast-1.4.2.crate) = a97769d94ddab943e4510d138150169a2758b5ef3eb191a9ee688de3e23ef7b3
-SIZE (rust/crates/crc32fast-1.4.2.crate) = 38491
-SHA256 (rust/crates/crossbeam-utils-0.8.21.crate) = d0a5c400df2834b80a4c3327b3aad3a4c4cd4de0629063962b03235697506a28
-SIZE (rust/crates/crossbeam-utils-0.8.21.crate) = 42691
+SHA256 (rust/crates/crc32fast-1.5.0.crate) = 9481c1c90cbf2ac953f07c8d4a58aa3945c425b7185c9154d67a65e4230da511
+SIZE (rust/crates/crc32fast-1.5.0.crate) = 40723
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.47.crate) = d9fb4d13a1be2b58f14d60adba57c9834b78c62fd86c3e76a148f732686e9265
@@ -73,12 +63,10 @@ SHA256 (rust/crates/curl-sys-0.4.78+curl-8.11.0.crate) = 8eec768341c5c7789611ae5
SIZE (rust/crates/curl-sys-0.4.78+curl-8.11.0.crate) = 1821558
SHA256 (rust/crates/cvt-0.1.2.crate) = d2ae9bf77fbf2d39ef573205d554d87e86c12f1994e9ea335b0651b9b278bcf1
SIZE (rust/crates/cvt-0.1.2.crate) = 6214
-SHA256 (rust/crates/deflate64-0.1.9.crate) = da692b8d1080ea3045efaab14434d40468c3d8657e42abddfffca87b428f4c1b
-SIZE (rust/crates/deflate64-0.1.9.crate) = 15104
+SHA256 (rust/crates/deflate64-0.1.12.crate) = ac6b926516df9c60bfa16e107b21086399f8285a44ca9711344b9e553c5146e2
+SIZE (rust/crates/deflate64-0.1.12.crate) = 28110
SHA256 (rust/crates/deranged-0.4.0.crate) = 9c9e6a11ca8224451684bc0d7d5a7adbf8f2fd6887261a1cfc3c0432f9d4068e
SIZE (rust/crates/deranged-0.4.0.crate) = 23235
-SHA256 (rust/crates/derive_arbitrary-1.4.1.crate) = 30542c1ad912e0e3d22a1935c290e12e8a29d704a420177a31faad4a601a0800
-SIZE (rust/crates/derive_arbitrary-1.4.1.crate) = 11521
SHA256 (rust/crates/digest-0.10.7.crate) = 9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292
SIZE (rust/crates/digest-0.10.7.crate) = 19557
SHA256 (rust/crates/dirs-3.0.2.crate) = 30baa043103c9d0c2a57cf537cc2f35623889dc0d405e6c3cccfadbc81c71309
@@ -107,8 +95,8 @@ SHA256 (rust/crates/fastrand-2.2.0.crate) = 486f806e73c5707928240ddc295403b1b93c
SIZE (rust/crates/fastrand-2.2.0.crate) = 15031
SHA256 (rust/crates/filetime-0.2.25.crate) = 35c0522e981e68cbfa8c3f978441a5f34b30b96e146b33cd3359176b50fe8586
SIZE (rust/crates/filetime-0.2.25.crate) = 14940
-SHA256 (rust/crates/flate2-1.0.34.crate) = a1b589b4dc103969ad3cf85c950899926ec64300a1a46d76c03a6072957036f0
-SIZE (rust/crates/flate2-1.0.34.crate) = 109174
+SHA256 (rust/crates/flate2-1.1.9.crate) = 843fba2746e448b37e26a819579957415c8cef339bf08564fe8b7ddbd959573c
+SIZE (rust/crates/flate2-1.1.9.crate) = 82745
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
@@ -213,6 +201,8 @@ SHA256 (rust/crates/json-0.12.4.crate) = 078e285eafdfb6c4b434e0d31e8cfcb5115b651
SIZE (rust/crates/json-0.12.4.crate) = 105942
SHA256 (rust/crates/lazy_static-1.5.0.crate) = bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe
SIZE (rust/crates/lazy_static-1.5.0.crate) = 14025
+SHA256 (rust/crates/libbz2-rs-sys-0.2.5.crate) = 34b357333733e8260735ba5894eb928c02ecc69c78715f01a8019e7fa7f2db4c
+SIZE (rust/crates/libbz2-rs-sys-0.2.5.crate) = 51638
SHA256 (rust/crates/libc-0.2.162.crate) = 18d287de67fe55fd7e1581fe933d965a5a9477b38e949cfa9f8574ef01506398
SIZE (rust/crates/libc-0.2.162.crate) = 769354
SHA256 (rust/crates/libredox-0.1.3.crate) = c0ff37bd590ca25063e35af745c343cb7a0271906fb7b37e4813e8f79f00268d
@@ -227,16 +217,14 @@ SHA256 (rust/crates/lockfree-object-pool-0.1.6.crate) = 9374ef4228402d4b7e403e58
SIZE (rust/crates/lockfree-object-pool-0.1.6.crate) = 12309
SHA256 (rust/crates/log-0.4.22.crate) = a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24
SIZE (rust/crates/log-0.4.22.crate) = 44027
-SHA256 (rust/crates/lzma-rs-0.3.0.crate) = 297e814c836ae64db86b36cf2a557ba54368d03f6afcd7d947c266692f71115e
-SIZE (rust/crates/lzma-rs-0.3.0.crate) = 29080
-SHA256 (rust/crates/lzma-sys-0.1.20.crate) = 5fda04ab3764e6cde78b9974eec4f779acaba7c4e84b36eca3cf77c581b85d27
-SIZE (rust/crates/lzma-sys-0.1.20.crate) = 760045
+SHA256 (rust/crates/lzma-rust2-0.15.8.crate) = e20f57f9918e5bd7bc58c22cdd70a6afc7375d4dd9683af5f2b34bd3d2bba619
+SIZE (rust/crates/lzma-rust2-0.15.8.crate) = 254394
SHA256 (rust/crates/memchr-2.7.4.crate) = 78ca9ab1a0babb1e7d5695e3530886289c18cf2f87ec19a575a0abdce112e3a3
SIZE (rust/crates/memchr-2.7.4.crate) = 96670
SHA256 (rust/crates/mime-0.3.17.crate) = 6877bb514081ee2a7ff5ef9de3281f14a4dd4bceac4c09388074a6b5df8a139a
SIZE (rust/crates/mime-0.3.17.crate) = 15712
-SHA256 (rust/crates/miniz_oxide-0.8.0.crate) = e2d80299ef12ff69b16a84bb182e3b9df68b5a91574d3d4fa6e41b65deec4df1
-SIZE (rust/crates/miniz_oxide-0.8.0.crate) = 56343
+SHA256 (rust/crates/miniz_oxide-0.8.9.crate) = 1fa76a2c86f704bdb222d66965fb3d63269ce38518b83cb0575fca855ebb6316
+SIZE (rust/crates/miniz_oxide-0.8.9.crate) = 67132
SHA256 (rust/crates/mio-1.0.2.crate) = 80e04d1dcff3aae0704555fe5fee3bcfaf3d1fdf8a7e521d5b9d2b42acb52cec
SIZE (rust/crates/mio-1.0.2.crate) = 102777
SHA256 (rust/crates/native-tls-0.2.12.crate) = a8614eb2c83d59d1c8cc974dd3f920198647674a0a035e1af1fa58707e317466
@@ -275,6 +263,8 @@ SHA256 (rust/crates/pkg-config-0.3.31.crate) = 953ec861398dccce10c670dfeaf3ec491
SIZE (rust/crates/pkg-config-0.3.31.crate) = 20880
SHA256 (rust/crates/powerfmt-0.2.0.crate) = 439ee305def115ba05938db6eb1644ff94165c5ab5e9420d1c1bcedbba909391
SIZE (rust/crates/powerfmt-0.2.0.crate) = 15165
+SHA256 (rust/crates/ppmd-rust-1.4.0.crate) = efca4c95a19a79d1c98f791f10aebd5c1363b473244630bb7dbde1dc98455a24
+SIZE (rust/crates/ppmd-rust-1.4.0.crate) = 38522
SHA256 (rust/crates/ppv-lite86-0.2.20.crate) = 77957b295656769bb8ad2b6a6b09d897d94f05c41b069aede1fcdaa675eaea04
SIZE (rust/crates/ppv-lite86-0.2.20.crate) = 22478
SHA256 (rust/crates/proc-macro2-1.0.89.crate) = f139b0662de085916d1fb67d2b4169d1addddda1919e696f3252b740b629986e
@@ -341,6 +331,8 @@ SHA256 (rust/crates/serde_urlencoded-0.7.1.crate) = d3491c14715ca2294c4d6a88f15e
SIZE (rust/crates/serde_urlencoded-0.7.1.crate) = 12822
SHA256 (rust/crates/sha1-0.10.6.crate) = e3bf829a2d51ab4a5ddf1352d8470c140cadc8301b2ae1789db023f01cedd6ba
SIZE (rust/crates/sha1-0.10.6.crate) = 13517
+SHA256 (rust/crates/sha2-0.10.9.crate) = a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283
+SIZE (rust/crates/sha2-0.10.9.crate) = 29271
SHA256 (rust/crates/shlex-1.3.0.crate) = 0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64
SIZE (rust/crates/shlex-1.3.0.crate) = 18713
SHA256 (rust/crates/simd-adler32-0.3.7.crate) = d66dc143e6b11c1eddc06d5c423cfc97062865baf299914ab64caa38182078fe
@@ -401,6 +393,8 @@ SHA256 (rust/crates/tracing-core-0.1.32.crate) = c06d3da6113f116aaee68e4d6011916
SIZE (rust/crates/tracing-core-0.1.32.crate) = 61221
SHA256 (rust/crates/try-lock-0.2.5.crate) = e421abadd41a4225275504ea4d6566923418b7f05506fbc9c0fe86ba7396114b
SIZE (rust/crates/try-lock-0.2.5.crate) = 4314
+SHA256 (rust/crates/typed-path-0.12.3.crate) = 8e28f89b80c87b8fb0cf04ab448d5dd0dd0ade2f8891bae878de66a75a28600e
+SIZE (rust/crates/typed-path-0.12.3.crate) = 112964
SHA256 (rust/crates/typenum-1.17.0.crate) = 42ff0bf0c66b8238c6f3b578df37d0b7848e55df8577b3f74f92a69acceeb825
SIZE (rust/crates/typenum-1.17.0.crate) = 42849
SHA256 (rust/crates/ucd-trie-0.1.7.crate) = 2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971
@@ -505,8 +499,6 @@ SHA256 (rust/crates/writeable-0.5.5.crate) = 1e9df38ee2d2c3c5948ea468a8406ff0db0
SIZE (rust/crates/writeable-0.5.5.crate) = 22354
SHA256 (rust/crates/xattr-1.3.1.crate) = 8da84f1a25939b27f6820d92aed108f83ff920fdf11a7b19366c27c4cda81d4f
SIZE (rust/crates/xattr-1.3.1.crate) = 12580
-SHA256 (rust/crates/xz2-0.1.7.crate) = 388c44dc09d76f1536602ead6d325eb532f5c122f17782bd57fb47baeeb767e2
-SIZE (rust/crates/xz2-0.1.7.crate) = 23892
SHA256 (rust/crates/yoke-0.7.4.crate) = 6c5b1314b079b0930c31e3af543d8ee1757b1951ae1e1565ec704403a7240ca5
SIZE (rust/crates/yoke-0.7.4.crate) = 27781
SHA256 (rust/crates/yoke-derive-0.7.4.crate) = 28cc31741b18cb6f1d5ff12f5b7523e3d6eb0852bbbad19d73905511d9849b95
@@ -527,8 +519,10 @@ SHA256 (rust/crates/zerovec-0.10.4.crate) = aa2b893d79df23bfb12d5461018d408ea19d
SIZE (rust/crates/zerovec-0.10.4.crate) = 126398
SHA256 (rust/crates/zerovec-derive-0.10.3.crate) = 6eafa6dfb17584ea3e2bd6e76e0cc15ad7af12b09abdd1ca55961bed9b1063c6
SIZE (rust/crates/zerovec-derive-0.10.3.crate) = 19438
-SHA256 (rust/crates/zip-2.6.1.crate) = 1dcb24d0152526ae49b9b96c1dcf71850ca1e0b882e4e28ed898a93c41334744
-SIZE (rust/crates/zip-2.6.1.crate) = 112133
+SHA256 (rust/crates/zip-7.2.0.crate) = c42e33efc22a0650c311c2ef19115ce232583abbe80850bc8b66509ebef02de0
+SIZE (rust/crates/zip-7.2.0.crate) = 137719
+SHA256 (rust/crates/zlib-rs-0.6.6.crate) = b142a20ec14a91d5bc708c1dc21b080c550113d8aa77afa29635673a65dd02c5
+SIZE (rust/crates/zlib-rs-0.6.6.crate) = 215496
SHA256 (rust/crates/zopfli-0.8.1.crate) = e5019f391bac5cf252e93bbcc53d039ffd62c7bfb7c150414d61369afe57e946
SIZE (rust/crates/zopfli-0.8.1.crate) = 50972
SHA256 (rust/crates/zstd-0.12.4.crate) = 1a27595e173641171fc74a1232b7b1c7a7cb6e18222c11e9dfb9888fa424c53c
@@ -541,5 +535,5 @@ SHA256 (rust/crates/zstd-safe-7.2.4.crate) = 8f49c4d5f0abb602a93fb8736af2a4f4dd9
SIZE (rust/crates/zstd-safe-7.2.4.crate) = 29350
SHA256 (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = eb81183ddd97d0c74cedf1d50d85c8d08c1b8b68ee863bdee9e706eedba1a237
SIZE (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = 774847
-SHA256 (leanprover-elan-v4.2.3_GH0.tar.gz) = 7094a5063378225598a420b13eded60f58c21f49fc2e009c68a6506da5d62580
-SIZE (leanprover-elan-v4.2.3_GH0.tar.gz) = 107208
+SHA256 (leanprover-elan-v4.2.4_GH0.tar.gz) = aae972bd10907763d53d0ea9593c02a340359505ce667b99e5289372f6801eec
+SIZE (leanprover-elan-v4.2.4_GH0.tar.gz) = 107484