Date: Sat, 06 Jun 2026 20:12:11 +0000 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: 857eee37c4c1 - main - misc/lean-ctx: update 3.7=?utf-8?Q?=2E4 =E2=86=92 3?=.7.5 Message-ID: <6a247f1b.42633.4546423c@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=857eee37c4c1200da7b3debb0d133d19b173a7de commit 857eee37c4c1200da7b3debb0d133d19b173a7de Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-06-06 17:33:25 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-06-06 20:12:05 +0000 misc/lean-ctx: update 3.7.4 → 3.7.5 --- misc/lean-ctx/Makefile | 16 +++++++++++++++- misc/lean-ctx/distinfo | 34 +++++++++++++++++++++++++++++++--- 2 files changed, 46 insertions(+), 4 deletions(-) diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile index cc4a7d04a3ae..7983800641e7 100644 --- a/misc/lean-ctx/Makefile +++ b/misc/lean-ctx/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean-ctx DISTVERSIONPREFIX= v -DISTVERSION= 3.7.4 +DISTVERSION= 3.7.5 CATEGORIES= misc # machine-learning MAINTAINER= yuri@FreeBSD.org @@ -24,6 +24,7 @@ GH_ACCOUNT= yvgude WRKSRC_SUBDIR= rust CARGO_CRATES= adler2-2.0.1 \ + adobe-cmap-parser-0.4.1 \ aes-0.8.4 \ aho-corasick-1.1.4 \ allocator-api2-0.2.21 \ @@ -57,6 +58,7 @@ CARGO_CRATES= adler2-2.0.1 \ blake3-1.8.5 \ block-buffer-0.10.4 \ block-buffer-0.12.0 \ + block-padding-0.3.3 \ bstr-1.12.1 \ bumpalo-3.20.2 \ bytecount-0.6.9 \ @@ -67,8 +69,10 @@ CARGO_CRATES= adler2-2.0.1 \ bzip2-0.6.1 \ cast-0.3.0 \ castaway-0.2.4 \ + cbc-0.1.2 \ cc-1.2.60 \ cesu8-1.1.0 \ + cff-parser-0.1.0 \ cfg-if-1.0.4 \ cfg_aliases-0.2.1 \ chacha20-0.10.0 \ @@ -132,14 +136,17 @@ CARGO_CRATES= adler2-2.0.1 \ document-features-0.2.12 \ dunce-1.0.5 \ dyn-clone-1.0.20 \ + ecb-0.1.2 \ ed25519-2.2.3 \ ed25519-dalek-2.2.0 \ either-1.15.0 \ email-encoding-0.4.1 \ email_address-0.2.9 \ encode_unicode-1.0.0 \ + encoding_rs-0.8.35 \ equivalent-1.0.2 \ errno-0.3.14 \ + euclid-0.20.14 \ euclid-0.22.14 \ fallible-iterator-0.2.0 \ fallible-iterator-0.3.0 \ @@ -252,6 +259,7 @@ CARGO_CRATES= adler2-2.0.1 \ litrs-1.0.0 \ lock_api-0.4.14 \ log-0.4.29 \ + lopdf-0.38.0 \ lru-0.16.4 \ lru-slab-0.1.2 \ lsp-types-0.97.0 \ @@ -273,6 +281,7 @@ CARGO_CRATES= adler2-2.0.1 \ nix-0.29.0 \ nom-7.1.3 \ nom-8.0.0 \ + nom_locate-5.0.0 \ nu-ansi-term-0.50.3 \ num-bigint-0.4.6 \ num-conv-0.2.1 \ @@ -294,6 +303,7 @@ CARGO_CRATES= adler2-2.0.1 \ paste-1.0.15 \ pastey-0.2.2 \ pbkdf2-0.12.2 \ + pdf-extract-0.10.0 \ pem-3.0.6 \ percent-encoding-2.3.2 \ pest-2.8.6 \ @@ -316,9 +326,11 @@ CARGO_CRATES= adler2-2.0.1 \ plotters-svg-0.3.7 \ png-0.18.1 \ polycool-0.4.0 \ + pom-1.1.0 \ portable-atomic-1.13.1 \ postgres-protocol-0.6.11 \ postgres-types-0.2.13 \ + postscript-0.14.1 \ potential_utf-0.1.5 \ powerfmt-0.2.0 \ ppmd-rust-1.4.0 \ @@ -343,6 +355,7 @@ CARGO_CRATES= adler2-2.0.1 \ rand_core-0.9.5 \ rand_core-0.10.1 \ rand_xorshift-0.4.0 \ + rangemap-1.7.1 \ ratatui-0.30.0 \ ratatui-core-0.1.0 \ ratatui-crossterm-0.1.0 \ @@ -514,6 +527,7 @@ CARGO_CRATES= adler2-2.0.1 \ tree-sitter-zig-1.1.2 \ try-lock-0.2.5 \ ttf-parser-0.25.1 \ + type1-encoding-parser-0.1.1 \ typed-path-0.12.3 \ typeid-1.0.3 \ typenum-1.20.0 \ diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo index 2105a5f87498..f0519573c3e8 100644 --- a/misc/lean-ctx/distinfo +++ b/misc/lean-ctx/distinfo @@ -1,6 +1,8 @@ -TIMESTAMP = 1780722108 +TIMESTAMP = 1780765989 SHA256 (rust/crates/adler2-2.0.1.crate) = 320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa SIZE (rust/crates/adler2-2.0.1.crate) = 13366 +SHA256 (rust/crates/adobe-cmap-parser-0.4.1.crate) = ae8abfa9a4688de8fc9f42b3f013b6fffec18ed8a554f5f113577e0b9b3212a3 +SIZE (rust/crates/adobe-cmap-parser-0.4.1.crate) = 3841 SHA256 (rust/crates/aes-0.8.4.crate) = b169f7a6d4742236a0a00c541b845991d0ac43e546831af1249753ab4c3aa3a0 SIZE (rust/crates/aes-0.8.4.crate) = 124812 SHA256 (rust/crates/aho-corasick-1.1.4.crate) = ddd31a130427c27518df266943a5308ed92d4b226cc639f5a8f1002816174301 @@ -67,6 +69,8 @@ SHA256 (rust/crates/block-buffer-0.10.4.crate) = 3078c7629b62d3f0439517fa394996a SIZE (rust/crates/block-buffer-0.10.4.crate) = 10538 SHA256 (rust/crates/block-buffer-0.12.0.crate) = cdd35008169921d80bc60d3d0ab416eecb028c4cd653352907921d95084790be SIZE (rust/crates/block-buffer-0.12.0.crate) = 14926 +SHA256 (rust/crates/block-padding-0.3.3.crate) = a8894febbff9f758034a5b8e12d87918f56dfc64a8e1fe757d65e29041538d93 +SIZE (rust/crates/block-padding-0.3.3.crate) = 8504 SHA256 (rust/crates/bstr-1.12.1.crate) = 63044e1ae8e69f3b5a92c736ca6269b8d12fa7efe39bf34ddb06d102cf0e2cab SIZE (rust/crates/bstr-1.12.1.crate) = 354916 SHA256 (rust/crates/bumpalo-3.20.2.crate) = 5d20789868f4b01b2f2caec9f5c4e0213b41e3e5702a50157d699ae31ced2fcb @@ -87,10 +91,14 @@ SHA256 (rust/crates/cast-0.3.0.crate) = 37b2a672a2cb129a2e41c10b1224bb368f9f37a2 SIZE (rust/crates/cast-0.3.0.crate) = 11452 SHA256 (rust/crates/castaway-0.2.4.crate) = dec551ab6e7578819132c713a93c022a05d60159dc86e7a7050223577484c55a SIZE (rust/crates/castaway-0.2.4.crate) = 12546 +SHA256 (rust/crates/cbc-0.1.2.crate) = 26b52a9543ae338f279b96b0b9fed9c8093744685043739079ce85cd58f289a6 +SIZE (rust/crates/cbc-0.1.2.crate) = 23501 SHA256 (rust/crates/cc-1.2.60.crate) = 43c5703da9466b66a946814e1adf53ea2c90f10063b86290cc9eb67ce3478a20 SIZE (rust/crates/cc-1.2.60.crate) = 97051 SHA256 (rust/crates/cesu8-1.1.0.crate) = 6d43a04d8753f35258c91f8ec639f792891f748a1edbd759cf1dcea3382ad83c SIZE (rust/crates/cesu8-1.1.0.crate) = 10555 +SHA256 (rust/crates/cff-parser-0.1.0.crate) = 31f5b6e9141c036f3ff4ce7b2f7e432b0f00dee416ddcd4f17741d189ddc2e9d +SIZE (rust/crates/cff-parser-0.1.0.crate) = 29029 SHA256 (rust/crates/cfg-if-1.0.4.crate) = 9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801 SIZE (rust/crates/cfg-if-1.0.4.crate) = 9360 SHA256 (rust/crates/cfg_aliases-0.2.1.crate) = 613afe47fcd5fac7ccf1db93babcb082c5994d996f20b8b159f2ad1658eb5724 @@ -217,6 +225,8 @@ SHA256 (rust/crates/dunce-1.0.5.crate) = 92773504d58c093f6de2459af4af33faa518c13 SIZE (rust/crates/dunce-1.0.5.crate) = 8244 SHA256 (rust/crates/dyn-clone-1.0.20.crate) = d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555 SIZE (rust/crates/dyn-clone-1.0.20.crate) = 13134 +SHA256 (rust/crates/ecb-0.1.2.crate) = 1a8bfa975b1aec2145850fcaa1c6fe269a16578c44705a532ae3edc92b8881c7 +SIZE (rust/crates/ecb-0.1.2.crate) = 6210 SHA256 (rust/crates/ed25519-2.2.3.crate) = 115531babc129696a58c64a4fef0a8bf9e9698629fb97e9e40767d235cfbcd53 SIZE (rust/crates/ed25519-2.2.3.crate) = 17802 SHA256 (rust/crates/ed25519-dalek-2.2.0.crate) = 70e796c081cee67dc755e1a36a0a172b897fab85fc3f6bc48307991f64e4eca9 @@ -229,10 +239,14 @@ SHA256 (rust/crates/email_address-0.2.9.crate) = e079f19b08ca6239f47f8ba8509c11c SIZE (rust/crates/email_address-0.2.9.crate) = 21579 SHA256 (rust/crates/encode_unicode-1.0.0.crate) = 34aa73646ffb006b8f5147f3dc182bd4bcb190227ce861fc4a4844bf8e3cb2c0 SIZE (rust/crates/encode_unicode-1.0.0.crate) = 56986 +SHA256 (rust/crates/encoding_rs-0.8.35.crate) = 75030f3c4f45dafd7586dd6780965a8c7e8e285a5ecb86713e63a79c5b2766f3 +SIZE (rust/crates/encoding_rs-0.8.35.crate) = 1381050 SHA256 (rust/crates/equivalent-1.0.2.crate) = 877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f SIZE (rust/crates/equivalent-1.0.2.crate) = 7419 SHA256 (rust/crates/errno-0.3.14.crate) = 39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb SIZE (rust/crates/errno-0.3.14.crate) = 12002 +SHA256 (rust/crates/euclid-0.20.14.crate) = 2bb7ef65b3777a325d1eeefefab5b6d4959da54747e33bd6258e789640f307ad +SIZE (rust/crates/euclid-0.20.14.crate) = 74299 SHA256 (rust/crates/euclid-0.22.14.crate) = f1a05365e3b1c6d1650318537c7460c6923f1abdd272ad6842baa2b509957a06 SIZE (rust/crates/euclid-0.22.14.crate) = 88222 SHA256 (rust/crates/fallible-iterator-0.2.0.crate) = 4443176a9f2c162692bd3d352d745ef9413eec5782a80d8fd6f8a1ac692a07f7 @@ -457,6 +471,8 @@ SHA256 (rust/crates/lock_api-0.4.14.crate) = 224399e74b87b5f3557511d98dff8b14089 SIZE (rust/crates/lock_api-0.4.14.crate) = 29249 SHA256 (rust/crates/log-0.4.29.crate) = 5e5032e24019045c762d3c0f28f5b6b8bbf38563a65908389bf7978758920897 SIZE (rust/crates/log-0.4.29.crate) = 51515 +SHA256 (rust/crates/lopdf-0.38.0.crate) = c7184fdea2bc3cd272a1acec4030c321a8f9875e877b3f92a53f2f6033fdc289 +SIZE (rust/crates/lopdf-0.38.0.crate) = 7476430 SHA256 (rust/crates/lru-0.16.4.crate) = 7f66e8d5d03f609abc3a39e6f08e4164ebf1447a732906d39eb9b99b7919ef39 SIZE (rust/crates/lru-0.16.4.crate) = 17470 SHA256 (rust/crates/lru-slab-0.1.2.crate) = 112b39cec0b298b6c1999fee3e31427f74f676e4cb9879ed1a121b43661a4154 @@ -499,6 +515,8 @@ SHA256 (rust/crates/nom-7.1.3.crate) = d273983c5a657a70a3e8f2a01329822f3b8c8172b SIZE (rust/crates/nom-7.1.3.crate) = 117570 SHA256 (rust/crates/nom-8.0.0.crate) = df9761775871bdef83bee530e60050f7e54b1105350d6884eb0fb4f46c2f9405 SIZE (rust/crates/nom-8.0.0.crate) = 135590 +SHA256 (rust/crates/nom_locate-5.0.0.crate) = 0b577e2d69827c4740cba2b52efaad1c4cc7c73042860b199710b3575c68438d +SIZE (rust/crates/nom_locate-5.0.0.crate) = 18236 SHA256 (rust/crates/nu-ansi-term-0.50.3.crate) = 7957b9740744892f114936ab4a57b3f487491bbeafaf8083688b16841a4240e5 SIZE (rust/crates/nu-ansi-term-0.50.3.crate) = 29597 SHA256 (rust/crates/num-bigint-0.4.6.crate) = a5e44f723f1133c9deac646763579fdb3ac745e418f2a7af9cd0c431da1f20b9 @@ -541,6 +559,8 @@ SHA256 (rust/crates/pastey-0.2.2.crate) = c5a797f0e07bdf071d15742978fc3128ec6c22 SIZE (rust/crates/pastey-0.2.2.crate) = 17410 SHA256 (rust/crates/pbkdf2-0.12.2.crate) = f8ed6a7761f76e3b9f92dfb0a60a6a6477c61024b775147ff0973a02653abaf2 SIZE (rust/crates/pbkdf2-0.12.2.crate) = 13906 +SHA256 (rust/crates/pdf-extract-0.10.0.crate) = 1e28ba1758a3d3f361459645780e09570b573fc3c82637449e9963174c813a98 +SIZE (rust/crates/pdf-extract-0.10.0.crate) = 98219 SHA256 (rust/crates/pem-3.0.6.crate) = 1d30c53c26bc5b31a98cd02d20f25a7c8567146caf63ed593a9d87b2775291be SIZE (rust/crates/pem-3.0.6.crate) = 18362 SHA256 (rust/crates/percent-encoding-2.3.2.crate) = 9b4f627cb1b25917193a259e49bdad08f671f8d9708acfd5fe0a8c1455d87220 @@ -585,12 +605,16 @@ SHA256 (rust/crates/png-0.18.1.crate) = 60769b8b31b2a9f263dae2776c37b1b28ae24694 SIZE (rust/crates/png-0.18.1.crate) = 125800 SHA256 (rust/crates/polycool-0.4.0.crate) = 50596ddc09eb5ad5f75cacd40209568e66df71baf86e1499a0e99c4cff12a5a6 SIZE (rust/crates/polycool-0.4.0.crate) = 22738 +SHA256 (rust/crates/pom-1.1.0.crate) = 60f6ce597ecdcc9a098e7fddacb1065093a3d66446fa16c675e7e71d1b5c28e6 +SIZE (rust/crates/pom-1.1.0.crate) = 168217 SHA256 (rust/crates/portable-atomic-1.13.1.crate) = c33a9471896f1c69cecef8d20cbe2f7accd12527ce60845ff44c153bb2a21b49 SIZE (rust/crates/portable-atomic-1.13.1.crate) = 197001 SHA256 (rust/crates/postgres-protocol-0.6.11.crate) = 56201207dac53e2f38e848e31b4b91616a6bb6e0c7205b77718994a7f49e70fc SIZE (rust/crates/postgres-protocol-0.6.11.crate) = 31176 SHA256 (rust/crates/postgres-types-0.2.13.crate) = 8dc729a129e682e8d24170cd30ae1aa01b336b096cbb56df6d534ffec133d186 SIZE (rust/crates/postgres-types-0.2.13.crate) = 41244 +SHA256 (rust/crates/postscript-0.14.1.crate) = 78451badbdaebaf17f053fd9152b3ffb33b516104eacb45e7864aaa9c712f306 +SIZE (rust/crates/postscript-0.14.1.crate) = 22499 SHA256 (rust/crates/potential_utf-0.1.5.crate) = 0103b1cef7ec0cf76490e969665504990193874ea05c85ff9bab8b911d0a0564 SIZE (rust/crates/potential_utf-0.1.5.crate) = 10189 SHA256 (rust/crates/powerfmt-0.2.0.crate) = 439ee305def115ba05938db6eb1644ff94165c5ab5e9420d1c1bcedbba909391 @@ -639,6 +663,8 @@ SHA256 (rust/crates/rand_core-0.10.1.crate) = 63b8176103e19a2643978565ca18b50549 SIZE (rust/crates/rand_core-0.10.1.crate) = 22833 SHA256 (rust/crates/rand_xorshift-0.4.0.crate) = 513962919efc330f829edb2535844d1b912b0fbe2ca165d613e4e8788bb05a5a SIZE (rust/crates/rand_xorshift-0.4.0.crate) = 10262 +SHA256 (rust/crates/rangemap-1.7.1.crate) = 973443cf09a9c8656b574a866ab68dfa19f0867d0340648c7d2f6a71b8a8ea68 +SIZE (rust/crates/rangemap-1.7.1.crate) = 58127 SHA256 (rust/crates/ratatui-0.30.0.crate) = d1ce67fb8ba4446454d1c8dbaeda0557ff5e94d39d5e5ed7f10a65eb4c8266bc SIZE (rust/crates/ratatui-0.30.0.crate) = 70528 SHA256 (rust/crates/ratatui-core-0.1.0.crate) = 5ef8dea09a92caaf73bff7adb70b76162e5937524058a7e5bff37869cbbec293 @@ -981,6 +1007,8 @@ SHA256 (rust/crates/try-lock-0.2.5.crate) = e421abadd41a4225275504ea4d6566923418 SIZE (rust/crates/try-lock-0.2.5.crate) = 4314 SHA256 (rust/crates/ttf-parser-0.25.1.crate) = d2df906b07856748fa3f6e0ad0cbaa047052d4a7dd609e231c4f72cee8c36f31 SIZE (rust/crates/ttf-parser-0.25.1.crate) = 201121 +SHA256 (rust/crates/type1-encoding-parser-0.1.1.crate) = fa10c302f5a53b7ad27fd42a3996e23d096ba39b5b8dd6d9e683a05b01bee749 +SIZE (rust/crates/type1-encoding-parser-0.1.1.crate) = 3250 SHA256 (rust/crates/typed-path-0.12.3.crate) = 8e28f89b80c87b8fb0cf04ab448d5dd0dd0ade2f8891bae878de66a75a28600e SIZE (rust/crates/typed-path-0.12.3.crate) = 112964 SHA256 (rust/crates/typeid-1.0.3.crate) = bc7d623258602320d5c55d1bc22793b57daff0ec7efc270ea7d55ce1d5f5471c @@ -1265,5 +1293,5 @@ SHA256 (rust/crates/zune-core-0.5.1.crate) = cb8a0807f7c01457d0379ba880ba6322660 SIZE (rust/crates/zune-core-0.5.1.crate) = 27883 SHA256 (rust/crates/zune-jpeg-0.5.15.crate) = 27bc9d5b815bc103f142aa054f561d9187d191692ec7c2d1e2b4737f8dbd7296 SIZE (rust/crates/zune-jpeg-0.5.15.crate) = 88879 -SHA256 (yvgude-lean-ctx-v3.7.4_GH0.tar.gz) = 111a6c58a71b599924d5dd902eb185f3d2b99343472304a3bc07cf689313c417 -SIZE (yvgude-lean-ctx-v3.7.4_GH0.tar.gz) = 4885795 +SHA256 (yvgude-lean-ctx-v3.7.5_GH0.tar.gz) = dc84434cd3acc5b0bb9cc671008f58351e3d399a5aee8f81a6ef2e3238c9f2c4 +SIZE (yvgude-lean-ctx-v3.7.5_GH0.tar.gz) = 4927261home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a247f1b.42633.4546423c>