Date: Thu, 14 May 2026 03:14:03 +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: c27201e28a67 - main - misc/lean-ctx: update 3.5=?utf-8?Q?=2E23 =E2=86=92?= 3.5.25 Message-ID: <6a053dfb.388c2.540c5a@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=c27201e28a67b66559956dd3a6e496c7c4ca6616 commit c27201e28a67b66559956dd3a6e496c7c4ca6616 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-05-14 03:13:37 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-05-14 03:13:50 +0000 misc/lean-ctx: update 3.5.23 → 3.5.25 --- misc/lean-ctx/Makefile | 10 +++++++++- misc/lean-ctx/distinfo | 22 +++++++++++++++++++--- 2 files changed, 28 insertions(+), 4 deletions(-) diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile index 645bbf0230f2..1ea8537a8912 100644 --- a/misc/lean-ctx/Makefile +++ b/misc/lean-ctx/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean-ctx DISTVERSIONPREFIX= v -DISTVERSION= 3.5.23 +DISTVERSION= 3.5.25 CATEGORIES= misc # machine-learning MAINTAINER= yuri@FreeBSD.org @@ -48,7 +48,9 @@ CARGO_CRATES= adler2-2.0.1 \ bincode-2.0.1 \ bincode_derive-2.0.1 \ bit-set-0.5.3 \ + bit-set-0.8.0 \ bit-vec-0.6.3 \ + bit-vec-0.8.0 \ bitflags-1.3.2 \ bitflags-2.11.1 \ blake2-0.10.6 \ @@ -296,6 +298,8 @@ CARGO_CRATES= adler2-2.0.1 \ ppv-lite86-0.2.21 \ prettyplease-0.2.37 \ proc-macro2-1.0.106 \ + proptest-1.11.0 \ + quick-error-1.2.3 \ quinn-0.11.9 \ quinn-proto-0.11.14 \ quinn-udp-0.5.14 \ @@ -310,6 +314,7 @@ CARGO_CRATES= adler2-2.0.1 \ rand_core-0.6.4 \ rand_core-0.9.5 \ rand_core-0.10.1 \ + rand_xorshift-0.4.0 \ ratatui-0.30.0 \ ratatui-core-0.1.0 \ ratatui-crossterm-0.1.0 \ @@ -355,6 +360,7 @@ CARGO_CRATES= adler2-2.0.1 \ rustls-platform-verifier-android-0.1.1 \ rustls-webpki-0.103.13 \ rustversion-1.0.22 \ + rusty-fork-0.3.1 \ ryu-1.0.23 \ same-file-1.0.6 \ schannel-0.1.29 \ @@ -468,6 +474,7 @@ CARGO_CRATES= adler2-2.0.1 \ typeid-1.0.3 \ typenum-1.20.0 \ ucd-trie-0.1.7 \ + unarray-0.1.4 \ unicode-bidi-0.3.18 \ unicode-ident-1.0.24 \ unicode-normalization-0.1.25 \ @@ -491,6 +498,7 @@ CARGO_CRATES= adler2-2.0.1 \ version_check-0.9.5 \ virtue-0.0.18 \ vtparse-0.6.2 \ + wait-timeout-0.2.1 \ walkdir-2.5.0 \ want-0.3.1 \ wasi-0.11.1+wasi-snapshot-preview1 \ diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo index 4e9b46cf53e5..37314a818ba6 100644 --- a/misc/lean-ctx/distinfo +++ b/misc/lean-ctx/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1778688202 +TIMESTAMP = 1778728091 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 @@ -49,8 +49,12 @@ SHA256 (rust/crates/bincode_derive-2.0.1.crate) = bf95709a440f45e986983918d0e8a1 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-set-0.8.0.crate) = 08807e080ed7f9d5433fa9b275196cfc35414f66a0c79d864dc51a0d825231a3 +SIZE (rust/crates/bit-set-0.8.0.crate) = 16289 SHA256 (rust/crates/bit-vec-0.6.3.crate) = 349f9b6a179ed607305526ca489b34ad0a41aed5f7980fa90eb03160b69598fb SIZE (rust/crates/bit-vec-0.6.3.crate) = 19927 +SHA256 (rust/crates/bit-vec-0.8.0.crate) = 5e764a1d40d510daf35e07be9eb06e75770908c27d411ee6c92109c9840eaaf7 +SIZE (rust/crates/bit-vec-0.8.0.crate) = 24132 SHA256 (rust/crates/bitflags-1.3.2.crate) = bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a SIZE (rust/crates/bitflags-1.3.2.crate) = 23021 SHA256 (rust/crates/bitflags-2.11.1.crate) = c4512299f36f043ab09a583e57bceb5a5aab7a73db1805848e8fef3c9e8c78b3 @@ -545,6 +549,10 @@ SHA256 (rust/crates/prettyplease-0.2.37.crate) = 479ca8adacdd7ce8f1fb39ce9ecccbf SIZE (rust/crates/prettyplease-0.2.37.crate) = 72033 SHA256 (rust/crates/proc-macro2-1.0.106.crate) = 8fd00f0bb2e90d81d1044c2b32617f68fcb9fa3bb7640c23e9c748e53fb30934 SIZE (rust/crates/proc-macro2-1.0.106.crate) = 59765 +SHA256 (rust/crates/proptest-1.11.0.crate) = 4b45fcc2344c680f5025fe57779faef368840d0bd1f42f216291f0dc4ace4744 +SIZE (rust/crates/proptest-1.11.0.crate) = 207859 +SHA256 (rust/crates/quick-error-1.2.3.crate) = a1d01941d82fa2ab50be1e79e6714289dd7cde78eba4c074bc5a4374f650dfe0 +SIZE (rust/crates/quick-error-1.2.3.crate) = 15066 SHA256 (rust/crates/quinn-0.11.9.crate) = b9e20a958963c291dc322d98411f541009df2ced7b5a4f2bd52337638cfccf20 SIZE (rust/crates/quinn-0.11.9.crate) = 83606 SHA256 (rust/crates/quinn-proto-0.11.14.crate) = 434b42fec591c96ef50e21e886936e66d3cc3f737104fdb9b737c40ffb94c098 @@ -573,6 +581,8 @@ SHA256 (rust/crates/rand_core-0.9.5.crate) = 76afc826de14238e6e8c374ddcc1fa19e37 SIZE (rust/crates/rand_core-0.9.5.crate) = 24129 SHA256 (rust/crates/rand_core-0.10.1.crate) = 63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69 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/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 @@ -663,6 +673,8 @@ SHA256 (rust/crates/rustls-webpki-0.103.13.crate) = 61c429a8649f110dddef65e2a5ad SIZE (rust/crates/rustls-webpki-0.103.13.crate) = 87513 SHA256 (rust/crates/rustversion-1.0.22.crate) = b39cdef0fa800fc44525c84ccb54a029961a8215f9619753635a9c0d2538d46d SIZE (rust/crates/rustversion-1.0.22.crate) = 21096 +SHA256 (rust/crates/rusty-fork-0.3.1.crate) = cc6bf79ff24e648f6da1f8d1f011e9cac26491b619e6b9280f2b47f1774e6ee2 +SIZE (rust/crates/rusty-fork-0.3.1.crate) = 21108 SHA256 (rust/crates/ryu-1.0.23.crate) = 9774ba4a74de5f7b1c1451ed6cd5285a32eddb5cccb8cc655a4e50009e06477f SIZE (rust/crates/ryu-1.0.23.crate) = 52823 SHA256 (rust/crates/same-file-1.0.6.crate) = 93fc1dc3aaa9bfed95e02e6eadabb4baf7e3078b0bd1b4d7b6b0b68378900502 @@ -889,6 +901,8 @@ SHA256 (rust/crates/typenum-1.20.0.crate) = 40ce102ab67701b8526c123c1bab5cbe42d7 SIZE (rust/crates/typenum-1.20.0.crate) = 105530 SHA256 (rust/crates/ucd-trie-0.1.7.crate) = 2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971 SIZE (rust/crates/ucd-trie-0.1.7.crate) = 46795 +SHA256 (rust/crates/unarray-0.1.4.crate) = eaea85b334db583fe3274d12b4cd1880032beab409c0d774be044d4480ab9a94 +SIZE (rust/crates/unarray-0.1.4.crate) = 12895 SHA256 (rust/crates/unicode-bidi-0.3.18.crate) = 5c1cb5db39152898a79168971543b1cb5020dff7fe43c8dc468b0885f5e29df5 SIZE (rust/crates/unicode-bidi-0.3.18.crate) = 58300 SHA256 (rust/crates/unicode-ident-1.0.24.crate) = e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75 @@ -935,6 +949,8 @@ SHA256 (rust/crates/virtue-0.0.18.crate) = 051eb1abcf10076295e815102942cc58f9d5e 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/wait-timeout-0.2.1.crate) = 09ac3b126d3914f9849036f826e054cbabdc8519970b8998ddaf3b5bd3c65f11 +SIZE (rust/crates/wait-timeout-0.2.1.crate) = 11435 SHA256 (rust/crates/walkdir-2.5.0.crate) = 29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b SIZE (rust/crates/walkdir-2.5.0.crate) = 23951 SHA256 (rust/crates/want-0.3.1.crate) = bfa7760aed19e106de2c7c0b581b509f2f25d3dacaf737cb82ac61bc6d760b0e @@ -1143,5 +1159,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.23_GH0.tar.gz) = 49204a3d3a35f0e6325325ced5cd5bc64f751504a588636c46ebe5945e1e91b9 -SIZE (yvgude-lean-ctx-v3.5.23_GH0.tar.gz) = 3469591 +SHA256 (yvgude-lean-ctx-v3.5.25_GH0.tar.gz) = 1b1e147957628cd01e74099d679e49a19ee0f434ceac9de7544549e7f75e2674 +SIZE (yvgude-lean-ctx-v3.5.25_GH0.tar.gz) = 3487485home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a053dfb.388c2.540c5a>