git: 11293d5a794e - main - misc/lean-ctx: update 3.7.3 → 3.7.4

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=11293d5a794e64e5020c5d5cecc8d9d69e7cb851

commit 11293d5a794e64e5020c5d5cecc8d9d69e7cb851
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-06-06 05:19:27 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-06-06 06:29:07 +0000

    misc/lean-ctx: update 3.7.3 → 3.7.4
---
 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 70dbc2e638c7..cc4a7d04a3ae 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean-ctx
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.7.3
+DISTVERSION=	3.7.4
 CATEGORIES=	misc # machine-learning
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index 31d9df701132..2105a5f87498 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1780634532
+TIMESTAMP = 1780722108
 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
@@ -1265,5 +1265,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.3_GH0.tar.gz) = 41c07515f586b3fbe87d14e0f4084f7f79b38830d61ee0e2c66856342b8a453a
-SIZE (yvgude-lean-ctx-v3.7.3_GH0.tar.gz) = 4820750
+SHA256 (yvgude-lean-ctx-v3.7.4_GH0.tar.gz) = 111a6c58a71b599924d5dd902eb185f3d2b99343472304a3bc07cf689313c417
+SIZE (yvgude-lean-ctx-v3.7.4_GH0.tar.gz) = 4885795