Date: Tue, 12 May 2026 08:42:41 +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: e208708b065a - main - misc/lean-ctx: update 3.5=?utf-8?Q?=2E14 =E2=86=92?= 3.5.18 Message-ID: <6a02e801.304f0.2c75c08a@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=e208708b065a7fce54fd7cfc57d1e3c51502bcbb commit e208708b065a7fce54fd7cfc57d1e3c51502bcbb Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-05-11 18:49:07 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-05-12 08:42:36 +0000 misc/lean-ctx: update 3.5.14 → 3.5.18 --- misc/lean-ctx/Makefile | 13 ++++++++++++- misc/lean-ctx/distinfo | 28 +++++++++++++++++++++++++--- 2 files changed, 37 insertions(+), 4 deletions(-) diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile index 7cb9495bb1d2..9dab21593eb6 100644 --- a/misc/lean-ctx/Makefile +++ b/misc/lean-ctx/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean-ctx DISTVERSIONPREFIX= v -DISTVERSION= 3.5.14 +DISTVERSION= 3.5.18 CATEGORIES= misc # machine-learning MAINTAINER= yuri@FreeBSD.org @@ -28,6 +28,7 @@ CARGO_CRATES= adler2-2.0.1 \ anes-0.1.6 \ anstyle-1.0.14 \ anyhow-1.0.102 \ + argon2-0.5.3 \ arrayref-0.3.9 \ arrayvec-0.7.6 \ async-trait-0.1.89 \ @@ -40,10 +41,14 @@ CARGO_CRATES= adler2-2.0.1 \ axum-core-0.5.6 \ base64-0.21.7 \ base64-0.22.1 \ + base64ct-1.8.3 \ + bincode-2.0.1 \ + bincode_derive-2.0.1 \ bit-set-0.5.3 \ bit-vec-0.6.3 \ bitflags-1.3.2 \ bitflags-2.11.1 \ + blake2-0.10.6 \ blake3-1.8.5 \ block-buffer-0.10.4 \ block-buffer-0.12.0 \ @@ -83,6 +88,7 @@ CARGO_CRATES= adler2-2.0.1 \ crc32fast-1.5.0 \ criterion-0.5.1 \ criterion-plot-0.5.0 \ + crossbeam-channel-0.5.15 \ crossbeam-deque-0.8.6 \ crossbeam-epoch-0.9.18 \ crossbeam-utils-0.8.21 \ @@ -233,6 +239,7 @@ CARGO_CRATES= adler2-2.0.1 \ minimal-lexical-0.2.1 \ miniz_oxide-0.8.9 \ mio-1.2.0 \ + moka-0.12.15 \ nix-0.29.0 \ nom-7.1.3 \ nom-8.0.0 \ @@ -253,6 +260,7 @@ CARGO_CRATES= adler2-2.0.1 \ ordered-float-4.6.0 \ parking_lot-0.12.5 \ parking_lot_core-0.9.12 \ + password-hash-0.5.0 \ pastey-0.2.2 \ pbkdf2-0.12.2 \ pem-3.0.6 \ @@ -389,6 +397,7 @@ CARGO_CRATES= adler2-2.0.1 \ syn-2.0.117 \ sync_wrapper-1.0.2 \ synstructure-0.13.2 \ + tagptr-0.2.0 \ tar-0.4.45 \ tempfile-3.27.0 \ terminfo-0.9.0 \ @@ -460,6 +469,7 @@ CARGO_CRATES= adler2-2.0.1 \ unicode-width-0.2.2 \ unicode-xid-0.2.6 \ untrusted-0.9.0 \ + unty-0.0.4 \ ureq-3.3.0 \ ureq-proto-0.6.0 \ url-2.5.8 \ @@ -471,6 +481,7 @@ CARGO_CRATES= adler2-2.0.1 \ valuable-0.1.1 \ vcpkg-0.2.15 \ version_check-0.9.5 \ + virtue-0.0.18 \ vtparse-0.6.2 \ walkdir-2.5.0 \ want-0.3.1 \ diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo index b9fca16b4a3e..d8f66d952c30 100644 --- a/misc/lean-ctx/distinfo +++ b/misc/lean-ctx/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1778476017 +TIMESTAMP = 1778574326 SHA256 (rust/crates/adler2-2.0.1.crate) = 320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa SIZE (rust/crates/adler2-2.0.1.crate) = 13366 SHA256 (rust/crates/aes-0.8.4.crate) = b169f7a6d4742236a0a00c541b845991d0ac43e546831af1249753ab4c3aa3a0 @@ -15,6 +15,8 @@ SHA256 (rust/crates/anstyle-1.0.14.crate) = 940b3a0ca603d1eade50a4846a2afffd5ef5 SIZE (rust/crates/anstyle-1.0.14.crate) = 17787 SHA256 (rust/crates/anyhow-1.0.102.crate) = 7f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c SIZE (rust/crates/anyhow-1.0.102.crate) = 48658 +SHA256 (rust/crates/argon2-0.5.3.crate) = 3c3610892ee6e0cbce8ae2700349fcf8f98adb0dbfbee85aec3c9179d29cc072 +SIZE (rust/crates/argon2-0.5.3.crate) = 28795 SHA256 (rust/crates/arrayref-0.3.9.crate) = 76a2e8124351fda1ef8aaaa3bbd7ebbcb486bbcd4225aca0aa0d84bb2db8fecb SIZE (rust/crates/arrayref-0.3.9.crate) = 9186 SHA256 (rust/crates/arrayvec-0.7.6.crate) = 7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50 @@ -39,6 +41,12 @@ SHA256 (rust/crates/base64-0.21.7.crate) = 9d297deb1925b89f2ccc13d7635fa0714f12c SIZE (rust/crates/base64-0.21.7.crate) = 82576 SHA256 (rust/crates/base64-0.22.1.crate) = 72b3254f16251a8381aa12e40e3c4d2f0199f8c6508fbecb9d91f575e0fbb8c6 SIZE (rust/crates/base64-0.22.1.crate) = 81597 +SHA256 (rust/crates/base64ct-1.8.3.crate) = 2af50177e190e07a26ab74f8b1efbfe2ef87da2116221318cb1c2e82baf7de06 +SIZE (rust/crates/base64ct-1.8.3.crate) = 32227 +SHA256 (rust/crates/bincode-2.0.1.crate) = 36eaf5d7b090263e8150820482d5d93cd964a81e4019913c972f4edcc6edb740 +SIZE (rust/crates/bincode-2.0.1.crate) = 70469 +SHA256 (rust/crates/bincode_derive-2.0.1.crate) = bf95709a440f45e986983918d0e8a1f30a9b1df04918fc828670606804ac3c09 +SIZE (rust/crates/bincode_derive-2.0.1.crate) = 7404 SHA256 (rust/crates/bit-set-0.5.3.crate) = 0700ddab506f33b20a03b13996eccd309a48e5ff77d0d95926aa0210fb4e95f1 SIZE (rust/crates/bit-set-0.5.3.crate) = 14470 SHA256 (rust/crates/bit-vec-0.6.3.crate) = 349f9b6a179ed607305526ca489b34ad0a41aed5f7980fa90eb03160b69598fb @@ -47,6 +55,8 @@ SHA256 (rust/crates/bitflags-1.3.2.crate) = bef38d45163c2f1dde094a7dfd33ccf595c9 SIZE (rust/crates/bitflags-1.3.2.crate) = 23021 SHA256 (rust/crates/bitflags-2.11.1.crate) = c4512299f36f043ab09a583e57bceb5a5aab7a73db1805848e8fef3c9e8c78b3 SIZE (rust/crates/bitflags-2.11.1.crate) = 49082 +SHA256 (rust/crates/blake2-0.10.6.crate) = 46502ad458c9a52b69d4d4d32775c788b7a1b85e8bc9d482d92250fc0e3f8efe +SIZE (rust/crates/blake2-0.10.6.crate) = 47234 SHA256 (rust/crates/blake3-1.8.5.crate) = 0aa83c34e62843d924f905e0f5c866eb1dd6545fc4d719e803d9ba6030371fce SIZE (rust/crates/blake3-1.8.5.crate) = 209089 SHA256 (rust/crates/block-buffer-0.10.4.crate) = 3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71 @@ -125,6 +135,8 @@ SHA256 (rust/crates/criterion-0.5.1.crate) = f2b12d017a929603d80db1831cd3a24082f SIZE (rust/crates/criterion-0.5.1.crate) = 110088 SHA256 (rust/crates/criterion-plot-0.5.0.crate) = 6b50826342786a51a89e2da3a28f1c32b06e387201bc2d19791f622c673706b1 SIZE (rust/crates/criterion-plot-0.5.0.crate) = 22706 +SHA256 (rust/crates/crossbeam-channel-0.5.15.crate) = 82b8f8f868b36967f9606790d1903570de9ceaf870a7bf9fbbd3016d636a2cb2 +SIZE (rust/crates/crossbeam-channel-0.5.15.crate) = 92716 SHA256 (rust/crates/crossbeam-deque-0.8.6.crate) = 9dd111b7b7f7d55b72c0a6ae361660ee5853c9af73f70c3c2ef6858b950e2e51 SIZE (rust/crates/crossbeam-deque-0.8.6.crate) = 22471 SHA256 (rust/crates/crossbeam-epoch-0.9.18.crate) = 5b82ac4a3c2ca9c3460964f020e1402edd5753411d7737aa39c3714ad1b5420e @@ -425,6 +437,8 @@ SHA256 (rust/crates/miniz_oxide-0.8.9.crate) = 1fa76a2c86f704bdb222d66965fb3d632 SIZE (rust/crates/miniz_oxide-0.8.9.crate) = 67132 SHA256 (rust/crates/mio-1.2.0.crate) = 50b7e5b27aa02a74bac8c3f23f448f8d87ff11f92d3aac1a6ed369ee08cc56c1 SIZE (rust/crates/mio-1.2.0.crate) = 106403 +SHA256 (rust/crates/moka-0.12.15.crate) = 957228ad12042ee839f93c8f257b62b4c0ab5eaae1d4fa60de53b27c9d7c5046 +SIZE (rust/crates/moka-0.12.15.crate) = 239860 SHA256 (rust/crates/nix-0.29.0.crate) = 71e2746dc3a24dd78b3cfcb7be93368c6de9963d30f43a6a73998a9cf4b17b46 SIZE (rust/crates/nix-0.29.0.crate) = 318248 SHA256 (rust/crates/nom-7.1.3.crate) = d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a @@ -465,6 +479,8 @@ SHA256 (rust/crates/parking_lot-0.12.5.crate) = 93857453250e3077bd71ff98b6a65ea6 SIZE (rust/crates/parking_lot-0.12.5.crate) = 46735 SHA256 (rust/crates/parking_lot_core-0.9.12.crate) = 2621685985a2ebf1c516881c026032ac7deafcda1a2c9b7850dc81e3dfcb64c1 SIZE (rust/crates/parking_lot_core-0.9.12.crate) = 34110 +SHA256 (rust/crates/password-hash-0.5.0.crate) = 346f04948ba92c43e8469c1ee6736c7563d71012b17d40745260fe106aac2166 +SIZE (rust/crates/password-hash-0.5.0.crate) = 26884 SHA256 (rust/crates/pastey-0.2.2.crate) = c5a797f0e07bdf071d15742978fc3128ec6c22891c31a3a931513263904c982a SIZE (rust/crates/pastey-0.2.2.crate) = 17410 SHA256 (rust/crates/pbkdf2-0.12.2.crate) = f8ed6a7761f76e3b9f92dfb0a60a6a6477c61024b775147ff0973a02653abaf2 @@ -737,6 +753,8 @@ SHA256 (rust/crates/sync_wrapper-1.0.2.crate) = 0bf256ce5efdfa370213c1dabab5935a SIZE (rust/crates/sync_wrapper-1.0.2.crate) = 6958 SHA256 (rust/crates/synstructure-0.13.2.crate) = 728a70f3dbaf5bab7f0c4b1ac8d7ae5ea60a4b5549c8a5914361c99147a709d2 SIZE (rust/crates/synstructure-0.13.2.crate) = 18950 +SHA256 (rust/crates/tagptr-0.2.0.crate) = 7b2093cf4c8eb1e67749a6762251bc9cd836b6fc171623bd0a9d324d37af2417 +SIZE (rust/crates/tagptr-0.2.0.crate) = 13320 SHA256 (rust/crates/tar-0.4.45.crate) = 22692a6476a21fa75fdfc11d452fda482af402c008cdbaf3476414e122040973 SIZE (rust/crates/tar-0.4.45.crate) = 67847 SHA256 (rust/crates/tempfile-3.27.0.crate) = 32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd @@ -879,6 +897,8 @@ SHA256 (rust/crates/unicode-xid-0.2.6.crate) = ebc1c04c71510c7f702b52b7c350734c9 SIZE (rust/crates/unicode-xid-0.2.6.crate) = 15744 SHA256 (rust/crates/untrusted-0.9.0.crate) = 8ecb6da28b8a351d773b68d5825ac39017e680750f980f3a1a85cd8dd28a47c1 SIZE (rust/crates/untrusted-0.9.0.crate) = 14447 +SHA256 (rust/crates/unty-0.0.4.crate) = 6d49784317cd0d1ee7ec5c716dd598ec5b4483ea832a2dced265471cc0f690ae +SIZE (rust/crates/unty-0.0.4.crate) = 7200 SHA256 (rust/crates/ureq-3.3.0.crate) = dea7109cdcd5864d4eeb1b58a1648dc9bf520360d7af16ec26d0a9354bafcfc0 SIZE (rust/crates/ureq-3.3.0.crate) = 147997 SHA256 (rust/crates/ureq-proto-0.6.0.crate) = e994ba84b0bd1b1b0cf92878b7ef898a5c1760108fe7b6010327e274917a808c @@ -901,6 +921,8 @@ SHA256 (rust/crates/vcpkg-0.2.15.crate) = accd4ea62f7bb7a82fe23066fb0957d48ef677 SIZE (rust/crates/vcpkg-0.2.15.crate) = 228735 SHA256 (rust/crates/version_check-0.9.5.crate) = 0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a SIZE (rust/crates/version_check-0.9.5.crate) = 15554 +SHA256 (rust/crates/virtue-0.0.18.crate) = 051eb1abcf10076295e815102942cc58f9d5e3b4560e46e53c21e8ff6f3af7b1 +SIZE (rust/crates/virtue-0.0.18.crate) = 33545 SHA256 (rust/crates/vtparse-0.6.2.crate) = 6d9b2acfb050df409c972a37d3b8e08cdea3bddb0c09db9d53137e504cfabed0 SIZE (rust/crates/vtparse-0.6.2.crate) = 11448 SHA256 (rust/crates/walkdir-2.5.0.crate) = 29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b @@ -1111,5 +1133,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.16+zstd.1.5.7.crate) = 91e19ebc2adc8f83e43039e79776e3fda8ca919132d68a1fed6a5faca2683748 SIZE (rust/crates/zstd-sys-2.0.16+zstd.1.5.7.crate) = 775620 -SHA256 (yvgude-lean-ctx-v3.5.14_GH0.tar.gz) = d5208703e87f3030a5ef0b47f4e55ca50888a28886d797646d1016c0f5d2d7c3 -SIZE (yvgude-lean-ctx-v3.5.14_GH0.tar.gz) = 3350577 +SHA256 (yvgude-lean-ctx-v3.5.18_GH0.tar.gz) = cd0ece15c99927e013446a346dd2eab243f5b62334a44baf94e445f5ebba722d +SIZE (yvgude-lean-ctx-v3.5.18_GH0.tar.gz) = 3412704home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a02e801.304f0.2c75c08a>