diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2026-05-14 23:54:36 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2026-05-14 23:54:36 +0000 |
| commit | d02be6dd9e9e0ae5bcd6749080e39c1b5dde8372 (patch) | |
| tree | d854d743a1dc82504f878f6350fcc76e7b48265e | |
| parent | ea82850aa3322049c8c241f7e0979737ee5a045a (diff) | |
misc/lean-ctx: update 3.5.25 → 3.6.0
| -rw-r--r-- | misc/lean-ctx/Makefile | 7 | ||||
| -rw-r--r-- | 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 |