git: 39b8463fd571 - main - misc/lean-ctx: update 3.5.13 → 3.5.14

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Mon, 11 May 2026 07:15:25 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=39b8463fd571003e9b183a9783061b24892f9973

commit 39b8463fd571003e9b183a9783061b24892f9973
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-05-11 05:27:11 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-05-11 07:15:16 +0000

    misc/lean-ctx: update 3.5.13 → 3.5.14
    
    Reported by:    portscout
---
 misc/lean-ctx/Makefile |  5 ++++-
 misc/lean-ctx/distinfo | 12 +++++++++---
 2 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile
index 98999b4aed68..7cb9495bb1d2 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean-ctx
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.5.13
+DISTVERSION=	3.5.14
 CATEGORIES=	misc # machine-learning
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -28,6 +28,8 @@ CARGO_CRATES=	adler2-2.0.1 \
 		anes-0.1.6 \
 		anstyle-1.0.14 \
 		anyhow-1.0.102 \
+		arrayref-0.3.9 \
+		arrayvec-0.7.6 \
 		async-trait-0.1.89 \
 		atomic-0.6.1 \
 		atomic-waker-1.1.2 \
@@ -42,6 +44,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		bit-vec-0.6.3 \
 		bitflags-1.3.2 \
 		bitflags-2.11.1 \
+		blake3-1.8.5 \
 		block-buffer-0.10.4 \
 		block-buffer-0.12.0 \
 		bstr-1.12.1 \
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index f4b0f72832fd..b9fca16b4a3e 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1778397145
+TIMESTAMP = 1778476017
 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,10 @@ 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/arrayref-0.3.9.crate) = 76a2e8124351fda1ef8aaaa3bbd7ebbcb486bbcd4225aca0aa0d84bb2db8fecb
+SIZE (rust/crates/arrayref-0.3.9.crate) = 9186
+SHA256 (rust/crates/arrayvec-0.7.6.crate) = 7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50
+SIZE (rust/crates/arrayvec-0.7.6.crate) = 31237
 SHA256 (rust/crates/async-trait-0.1.89.crate) = 9035ad2d096bed7955a320ee7e2230574d28fd3c3a0f186cbea1ff3c7eed5dbb
 SIZE (rust/crates/async-trait-0.1.89.crate) = 32171
 SHA256 (rust/crates/atomic-0.6.1.crate) = a89cbf775b137e9b968e67227ef7f775587cde3fd31b0d8599dbd0f598a48340
@@ -43,6 +47,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/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
 SIZE (rust/crates/block-buffer-0.10.4.crate) = 10538
 SHA256 (rust/crates/block-buffer-0.12.0.crate) = cdd35008169921d80bc60d3d0ab416eecb028c4cd653352907921d95084790be
@@ -1105,5 +1111,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.13_GH0.tar.gz) = 012cd3d92cc9f713a10461d17dada29dc97af0ac50f80e1a715aee3c6a17d3bd
-SIZE (yvgude-lean-ctx-v3.5.13_GH0.tar.gz) = 3334888
+SHA256 (yvgude-lean-ctx-v3.5.14_GH0.tar.gz) = d5208703e87f3030a5ef0b47f4e55ca50888a28886d797646d1016c0f5d2d7c3
+SIZE (yvgude-lean-ctx-v3.5.14_GH0.tar.gz) = 3350577