Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 14 May 2026 23:54:52 +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: d02be6dd9e9e - main - misc/lean-ctx: update 3.5=?utf-8?Q?=2E25 =E2=86=92?= 3.6.0
Message-ID:  <6a0660cc.1d1a6.1ee80a@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=d02be6dd9e9e0ae5bcd6749080e39c1b5dde8372

commit d02be6dd9e9e0ae5bcd6749080e39c1b5dde8372
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-05-14 23:54:36 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-05-14 23:54:36 +0000

    misc/lean-ctx: update 3.5.25 → 3.6.0
---
 misc/lean-ctx/Makefile | 7 ++-----
 misc/lean-ctx/distinfo | 6 +++---
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile
index 1ea8537a8912..11d2e68c402f 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean-ctx
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.5.25
+DISTVERSION=	3.6.0
 CATEGORIES=	misc # machine-learning
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -604,10 +604,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		zstd-safe-7.2.4 \
 		zstd-sys-2.0.16+zstd.1.5.7
 
-PLIST_FILES=	bin/${PORTNAME} \
-		bin/gen_mcp_manifest \
-		bin/gen_tdd_schema \
-		bin/seed_observatory
+PLIST_FILES=	bin/${PORTNAME}
 
 post-install:
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index 37314a818ba6..cf1119555d91 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1778728091
+TIMESTAMP = 1778802289
 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
@@ -1159,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.25_GH0.tar.gz) = 1b1e147957628cd01e74099d679e49a19ee0f434ceac9de7544549e7f75e2674
-SIZE (yvgude-lean-ctx-v3.5.25_GH0.tar.gz) = 3487485
+SHA256 (yvgude-lean-ctx-v3.6.0_GH0.tar.gz) = 33e47978f1e5d609999d0b70785429e691d4eb69c1d00a5f9b049b55bd02271d
+SIZE (yvgude-lean-ctx-v3.6.0_GH0.tar.gz) = 3536763


home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a0660cc.1d1a6.1ee80a>