tDate: 2026-04-23 03:45:30 +0000

    misc/lean-ctx: update 3.3.2 → 3.3.3
---
 misc/lean-ctx/Makefile | 2 +-
 misc/lean-ctx/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile
index de50f96b3a47..f6bafa254428 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean-ctx
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.3.2
+DISTVERSION=	3.3.3
 CATEGORIES=	misc # machine-learning
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index 474b71cb1a02..3b46514a5837 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1776824265
+TIMESTAMP = 1776890794
 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
@@ -1039,5 +1039,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.3.2_GH0.tar.gz) = 9456d3f63949c905c49a3806916ddc4726d7f94c2e6dfa1bd5bfc368c84403c3
-SIZE (yvgude-lean-ctx-v3.3.2_GH0.tar.gz) = 981593
+SHA256 (yvgude-lean-ctx-v3.3.3_GH0.tar.gz) = ef7f3f482cf73e9b2be2a5ca0ab10a065118b5e1c0c2f1f86cb927585f2494e5
+SIZE (yvgude-lean-ctx-v3.3.3_GH0.tar.gz) = 983885