Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 25 May 2026 19:52:44 +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: c5183aea8656 - main - misc/lean-ctx: update 3.6=?utf-8?Q?=2E16 =E2=86=92?= 3.6.17
Message-ID:  <6a14a88c.47efb.1b533fd3@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=c5183aea8656f02bc694886e0b904e03e3d5cf87

commit c5183aea8656f02bc694886e0b904e03e3d5cf87
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-05-25 19:51:53 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-05-25 19:52:41 +0000

    misc/lean-ctx: update 3.6.16 → 3.6.17
---
 misc/lean-ctx/Makefile |  6 ++----
 misc/lean-ctx/distinfo | 14 +++++---------
 2 files changed, 7 insertions(+), 13 deletions(-)

diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile
index 519c765346a0..b29ff8e76572 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean-ctx
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.6.16
+DISTVERSION=	3.6.17
 CATEGORIES=	misc # machine-learning
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -144,7 +144,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		fastrand-2.4.1 \
 		fiat-crypto-0.2.9 \
 		filedescriptor-0.8.3 \
-		filetime-0.2.27 \
+		filetime-0.2.29 \
 		find-msvc-tools-0.1.9 \
 		finl_unicode-1.4.0 \
 		fixedbitset-0.4.2 \
@@ -295,7 +295,6 @@ CARGO_CRATES=	adler2-2.0.1 \
 		pin-project-lite-0.2.17 \
 		pkcs8-0.10.2 \
 		pkg-config-0.3.33 \
-		plain-0.2.3 \
 		plotters-0.3.7 \
 		plotters-backend-0.3.7 \
 		plotters-svg-0.3.7 \
@@ -334,7 +333,6 @@ CARGO_CRATES=	adler2-2.0.1 \
 		rayon-1.12.0 \
 		rayon-core-1.13.0 \
 		redox_syscall-0.5.18 \
-		redox_syscall-0.7.4 \
 		redox_users-0.4.6 \
 		ref-cast-1.0.25 \
 		ref-cast-impl-1.0.25 \
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index d401dafbf808..7d0296bf1036 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1779500100
+TIMESTAMP = 1779737751
 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
@@ -241,8 +241,8 @@ SHA256 (rust/crates/fiat-crypto-0.2.9.crate) = 28dea519a9695b9977216879a3ebfddf9
 SIZE (rust/crates/fiat-crypto-0.2.9.crate) = 495390
 SHA256 (rust/crates/filedescriptor-0.8.3.crate) = e40758ed24c9b2eeb76c35fb0aebc66c626084edd827e07e1552279814c6682d
 SIZE (rust/crates/filedescriptor-0.8.3.crate) = 12635
-SHA256 (rust/crates/filetime-0.2.27.crate) = f98844151eee8917efc50bd9e8318cb963ae8b297431495d3f758616ea5c57db
-SIZE (rust/crates/filetime-0.2.27.crate) = 16678
+SHA256 (rust/crates/filetime-0.2.29.crate) = 5c287a33c7f0a620c38e641e7f60827713987b3c0f26e8ddc9462cc69cf75759
+SIZE (rust/crates/filetime-0.2.29.crate) = 16977
 SHA256 (rust/crates/find-msvc-tools-0.1.9.crate) = 5baebc0774151f905a1a2cc41989300b1e6fbb29aff0ceffa1064fdd3088d582
 SIZE (rust/crates/find-msvc-tools-0.1.9.crate) = 31493
 SHA256 (rust/crates/finl_unicode-1.4.0.crate) = 9844ddc3a6e533d62bba727eb6c28b5d360921d5175e9ff0f1e621a5c590a4d5
@@ -543,8 +543,6 @@ SHA256 (rust/crates/pkcs8-0.10.2.crate) = f950b2377845cebe5cf8b5165cb3cc1a5e0fa5
 SIZE (rust/crates/pkcs8-0.10.2.crate) = 26360
 SHA256 (rust/crates/pkg-config-0.3.33.crate) = 19f132c84eca552bf34cab8ec81f1c1dcc229b811638f9d283dceabe58c5569e
 SIZE (rust/crates/pkg-config-0.3.33.crate) = 21590
-SHA256 (rust/crates/plain-0.2.3.crate) = b4596b6d070b27117e987119b4dac604f3c58cfb0b191112e24771b2faeac1a6
-SIZE (rust/crates/plain-0.2.3.crate) = 10664
 SHA256 (rust/crates/plotters-0.3.7.crate) = 5aeb6f403d7a4911efb1e33402027fc44f29b5bf6def3effcc22d7bb75f2b747
 SIZE (rust/crates/plotters-0.3.7.crate) = 149031
 SHA256 (rust/crates/plotters-backend-0.3.7.crate) = df42e13c12958a16b3f7f4386b9ab1f3e7933914ecea48da7139435263a4172a
@@ -621,8 +619,6 @@ SHA256 (rust/crates/rayon-core-1.13.0.crate) = 22e18b0f0062d30d4230b2e85ff77fdfe
 SIZE (rust/crates/rayon-core-1.13.0.crate) = 73151
 SHA256 (rust/crates/redox_syscall-0.5.18.crate) = ed2bf2547551a7053d6fdfafda3f938979645c44812fbfcda098faae3f1a362d
 SIZE (rust/crates/redox_syscall-0.5.18.crate) = 30747
-SHA256 (rust/crates/redox_syscall-0.7.4.crate) = f450ad9c3b1da563fb6948a8e0fb0fb9269711c9c73d9ea1de5058c79c8d643a
-SIZE (rust/crates/redox_syscall-0.7.4.crate) = 28248
 SHA256 (rust/crates/redox_users-0.4.6.crate) = ba009ff324d1fc1b900bd1fdb31564febe58a8ccc8a6fdbb93b543d33b13ca43
 SIZE (rust/crates/redox_users-0.4.6.crate) = 15585
 SHA256 (rust/crates/ref-cast-1.0.25.crate) = f354300ae66f76f1c85c5f84693f0ce81d747e2c3f21a45fef496d89c960bf7d
@@ -1191,5 +1187,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.6.16_GH0.tar.gz) = 9399afc34c5beb6836dce308ce3c8e0109b59d297ecc2cdf9564f60d88755653
-SIZE (yvgude-lean-ctx-v3.6.16_GH0.tar.gz) = 3907570
+SHA256 (yvgude-lean-ctx-v3.6.17_GH0.tar.gz) = 27a0e1c8a6f2cbd12b3954d68893a5e553f54daacd583f54eb420714826c3b39
+SIZE (yvgude-lean-ctx-v3.6.17_GH0.tar.gz) = 3936073


home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a14a88c.47efb.1b533fd3>