Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 08 Apr 2026 15:19:23 +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: b19f7211c230 - main - misc/lean-ctx: update 2.9=?utf-8?Q?=2E11 =E2=86=92?= 2.20.0
Message-ID:  <69d671fb.42130.66b1a694@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=b19f7211c2308f2d31dcbb91dae902306d7de8f0

commit b19f7211c2308f2d31dcbb91dae902306d7de8f0
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-04-08 05:25:51 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-04-08 15:19:17 +0000

    misc/lean-ctx: update 2.9.11 → 2.20.0
---
 misc/lean-ctx/Makefile | 29 ++++++++++++++++++++++--
 misc/lean-ctx/distinfo | 60 +++++++++++++++++++++++++++++++++++++++++++++-----
 2 files changed, 82 insertions(+), 7 deletions(-)

diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile
index dd559f5ee9fd..b41d753d162e 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean-ctx
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.9.11
+DISTVERSION=	2.20.0
 CATEGORIES=	misc # machine-learning
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -29,6 +29,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		base64-0.22.1 \
 		bit-set-0.5.3 \
 		bit-vec-0.6.3 \
+		bitflags-1.3.2 \
 		bitflags-2.11.0 \
 		block-buffer-0.10.4 \
 		bstr-1.12.1 \
@@ -56,11 +57,14 @@ CARGO_CRATES=	adler2-2.0.1 \
 		dirs-5.0.1 \
 		dirs-sys-0.4.1 \
 		dyn-clone-1.0.20 \
+		either-1.15.0 \
 		equivalent-1.0.2 \
 		errno-0.3.14 \
 		fancy-regex-0.13.0 \
+		fastrand-2.3.0 \
 		filetime-0.2.27 \
 		find-msvc-tools-0.1.9 \
+		flatbuffers-24.12.23 \
 		flate2-1.1.9 \
 		foldhash-0.1.5 \
 		futures-0.3.32 \
@@ -80,6 +84,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		hashbrown-0.15.5 \
 		hashbrown-0.16.1 \
 		heck-0.5.0 \
+		hermit-abi-0.5.2 \
 		hmac-0.12.1 \
 		http-1.4.0 \
 		httparse-1.10.1 \
@@ -110,6 +115,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		nu-ansi-term-0.50.3 \
 		num-conv-0.2.1 \
 		num-traits-0.2.19 \
+		num_cpus-1.17.0 \
 		once_cell-1.21.4 \
 		option-ext-0.2.0 \
 		parking_lot-0.12.5 \
@@ -127,6 +133,8 @@ CARGO_CRATES=	adler2-2.0.1 \
 		quote-1.0.45 \
 		r-efi-5.3.0 \
 		r-efi-6.0.0 \
+		rayon-1.11.0 \
+		rayon-core-1.13.0 \
 		redox_syscall-0.5.18 \
 		redox_syscall-0.7.3 \
 		redox_users-0.4.6 \
@@ -138,7 +146,18 @@ CARGO_CRATES=	adler2-2.0.1 \
 		ring-0.17.14 \
 		rmcp-1.2.0 \
 		rmcp-macros-1.2.0 \
+		rten-0.24.0 \
+		rten-base-0.24.0 \
+		rten-gemm-0.24.0 \
+		rten-model-file-0.24.0 \
+		rten-onnx-0.24.0 \
+		rten-shape-inference-0.24.0 \
+		rten-simd-0.24.0 \
+		rten-tensor-0.24.0 \
+		rten-vecmath-0.24.0 \
 		rustc-hash-1.1.0 \
+		rustc-hash-2.1.2 \
+		rustc_version-0.4.1 \
 		rustix-1.1.4 \
 		rustls-0.23.37 \
 		rustls-pki-types-1.14.0 \
@@ -159,7 +178,6 @@ CARGO_CRATES=	adler2-2.0.1 \
 		sha2-0.10.9 \
 		sharded-slab-0.1.7 \
 		shlex-1.3.0 \
-		signal-hook-registry-1.4.8 \
 		simd-adler32-0.3.8 \
 		similar-2.7.0 \
 		slab-0.4.12 \
@@ -170,6 +188,7 @@ CARGO_CRATES=	adler2-2.0.1 \
 		subtle-2.6.1 \
 		syn-2.0.117 \
 		tar-0.4.45 \
+		tempfile-3.27.0 \
 		thiserror-1.0.69 \
 		thiserror-2.0.18 \
 		thiserror-impl-1.0.69 \
@@ -191,9 +210,12 @@ CARGO_CRATES=	adler2-2.0.1 \
 		tracing-log-0.2.0 \
 		tracing-subscriber-0.3.23 \
 		tree-sitter-0.26.7 \
+		tree-sitter-bash-0.25.1 \
 		tree-sitter-c-0.24.1 \
 		tree-sitter-c-sharp-0.23.1 \
 		tree-sitter-cpp-0.23.4 \
+		tree-sitter-dart-0.1.0 \
+		tree-sitter-elixir-0.3.5 \
 		tree-sitter-go-0.25.0 \
 		tree-sitter-java-0.23.5 \
 		tree-sitter-javascript-0.25.0 \
@@ -203,9 +225,12 @@ CARGO_CRATES=	adler2-2.0.1 \
 		tree-sitter-python-0.25.0 \
 		tree-sitter-ruby-0.23.1 \
 		tree-sitter-rust-0.24.1 \
+		tree-sitter-scala-0.25.0 \
 		tree-sitter-swift-0.7.1 \
 		tree-sitter-typescript-0.23.2 \
+		tree-sitter-zig-1.1.2 \
 		typed-path-0.12.3 \
+		typeid-1.0.3 \
 		typenum-1.19.0 \
 		unicode-ident-1.0.24 \
 		unicode-xid-0.2.6 \
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index ee15d5d9a4cd..31c31cc0da3f 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1774946388
+TIMESTAMP = 1775624172
 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
@@ -21,6 +21,8 @@ SHA256 (rust/crates/bit-set-0.5.3.crate) = 0700ddab506f33b20a03b13996eccd309a48e
 SIZE (rust/crates/bit-set-0.5.3.crate) = 14470
 SHA256 (rust/crates/bit-vec-0.6.3.crate) = 349f9b6a179ed607305526ca489b34ad0a41aed5f7980fa90eb03160b69598fb
 SIZE (rust/crates/bit-vec-0.6.3.crate) = 19927
+SHA256 (rust/crates/bitflags-1.3.2.crate) = bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a
+SIZE (rust/crates/bitflags-1.3.2.crate) = 23021
 SHA256 (rust/crates/bitflags-2.11.0.crate) = 843867be96c8daad0d758b57df9392b6d8d271134fce549de6ce169ff98a92af
 SIZE (rust/crates/bitflags-2.11.0.crate) = 48906
 SHA256 (rust/crates/block-buffer-0.10.4.crate) = 3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71
@@ -75,16 +77,22 @@ SHA256 (rust/crates/dirs-sys-0.4.1.crate) = 520f05a5cbd335fae5a99ff7a6ab86275776
 SIZE (rust/crates/dirs-sys-0.4.1.crate) = 10719
 SHA256 (rust/crates/dyn-clone-1.0.20.crate) = d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555
 SIZE (rust/crates/dyn-clone-1.0.20.crate) = 13134
+SHA256 (rust/crates/either-1.15.0.crate) = 48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719
+SIZE (rust/crates/either-1.15.0.crate) = 20114
 SHA256 (rust/crates/equivalent-1.0.2.crate) = 877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f
 SIZE (rust/crates/equivalent-1.0.2.crate) = 7419
 SHA256 (rust/crates/errno-0.3.14.crate) = 39cab71617ae0d63f51a36d69f866391735b51691dbda63cf6f96d042b63efeb
 SIZE (rust/crates/errno-0.3.14.crate) = 12002
 SHA256 (rust/crates/fancy-regex-0.13.0.crate) = 531e46835a22af56d1e3b66f04844bed63158bc094a628bec1d321d9b4c44bf2
 SIZE (rust/crates/fancy-regex-0.13.0.crate) = 85930
+SHA256 (rust/crates/fastrand-2.3.0.crate) = 37909eebbb50d72f9059c3b6d82c0463f2ff062c9e95845c43a6c9c0355411be
+SIZE (rust/crates/fastrand-2.3.0.crate) = 15076
 SHA256 (rust/crates/filetime-0.2.27.crate) = f98844151eee8917efc50bd9e8318cb963ae8b297431495d3f758616ea5c57db
 SIZE (rust/crates/filetime-0.2.27.crate) = 16678
 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/flatbuffers-24.12.23.crate) = 4f1baf0dbf96932ec9a3038d57900329c015b0bfb7b63d904f3bc27e2b02a096
+SIZE (rust/crates/flatbuffers-24.12.23.crate) = 25779
 SHA256 (rust/crates/flate2-1.1.9.crate) = 843fba2746e448b37e26a819579957415c8cef339bf08564fe8b7ddbd959573c
 SIZE (rust/crates/flate2-1.1.9.crate) = 82745
 SHA256 (rust/crates/foldhash-0.1.5.crate) = d9c4f5dac5e15c24eb999c26181a6ca40b39fe946cbe4c263c7209467bc83af2
@@ -123,6 +131,8 @@ SHA256 (rust/crates/hashbrown-0.16.1.crate) = 841d1cc9bed7f9236f321df977030373f4
 SIZE (rust/crates/hashbrown-0.16.1.crate) = 147785
 SHA256 (rust/crates/heck-0.5.0.crate) = 2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea
 SIZE (rust/crates/heck-0.5.0.crate) = 11517
+SHA256 (rust/crates/hermit-abi-0.5.2.crate) = fc0fef456e4baa96da950455cd02c081ca953b141298e41db3fc7e36b1da849c
+SIZE (rust/crates/hermit-abi-0.5.2.crate) = 17435
 SHA256 (rust/crates/hmac-0.12.1.crate) = 6c49c37c09c17a53d937dfbb742eb3a961d65a994e6bcdcf37e7399d0cc8ab5e
 SIZE (rust/crates/hmac-0.12.1.crate) = 42657
 SHA256 (rust/crates/http-1.4.0.crate) = e3ba2a386d7f85a81f119ad7498ebe444d2e22c2af0b86b069416ace48b3311a
@@ -183,6 +193,8 @@ SHA256 (rust/crates/num-conv-0.2.1.crate) = c6673768db2d862beb9b39a78fdcb1a69439
 SIZE (rust/crates/num-conv-0.2.1.crate) = 7099
 SHA256 (rust/crates/num-traits-0.2.19.crate) = 071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841
 SIZE (rust/crates/num-traits-0.2.19.crate) = 51631
+SHA256 (rust/crates/num_cpus-1.17.0.crate) = 91df4bbde75afed763b708b7eee1e8e7651e02d97f6d5dd763e89367e957b23b
+SIZE (rust/crates/num_cpus-1.17.0.crate) = 15874
 SHA256 (rust/crates/once_cell-1.21.4.crate) = 9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50
 SIZE (rust/crates/once_cell-1.21.4.crate) = 35010
 SHA256 (rust/crates/option-ext-0.2.0.crate) = 04744f49eae99ab78e0d5c0b603ab218f515ea8cfe5a456d7629ad883a3b6e7d
@@ -217,6 +229,10 @@ SHA256 (rust/crates/r-efi-5.3.0.crate) = 69cdb34c158ceb288df11e18b4bd39de994f665
 SIZE (rust/crates/r-efi-5.3.0.crate) = 64532
 SHA256 (rust/crates/r-efi-6.0.0.crate) = f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf
 SIZE (rust/crates/r-efi-6.0.0.crate) = 65303
+SHA256 (rust/crates/rayon-1.11.0.crate) = 368f01d005bf8fd9b1206fb6fa653e6c4a81ceb1466406b81792d87c5677a58f
+SIZE (rust/crates/rayon-1.11.0.crate) = 182470
+SHA256 (rust/crates/rayon-core-1.13.0.crate) = 22e18b0f0062d30d4230b2e85ff77fdfe4326feb054b9783a3460d8435c8ab91
+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.3.crate) = 6ce70a74e890531977d37e532c34d45e9055d2409ed08ddba14529471ed0be16
@@ -239,8 +255,30 @@ SHA256 (rust/crates/rmcp-1.2.0.crate) = ba6b9d2f0efe2258b23767f1f9e0054cfbcac9c2
 SIZE (rust/crates/rmcp-1.2.0.crate) = 291437
 SHA256 (rust/crates/rmcp-macros-1.2.0.crate) = ab9d95d7ed26ad8306352b0d5f05b593222b272790564589790d210aa15caa9e
 SIZE (rust/crates/rmcp-macros-1.2.0.crate) = 22682
+SHA256 (rust/crates/rten-0.24.0.crate) = 43c230fa4ade87c913f61dbd911b7eb0d49460ceff3f1e4fabc837fac191137c
+SIZE (rust/crates/rten-0.24.0.crate) = 365986
+SHA256 (rust/crates/rten-base-0.24.0.crate) = 2738cf8bb4c27f828ac788d01ccf4e367e8e773cfec6851f81851b5211de6a79
+SIZE (rust/crates/rten-base-0.24.0.crate) = 10018
+SHA256 (rust/crates/rten-gemm-0.24.0.crate) = 330a81a0ca209fb5ce21bd17efa0bd287d5881c6cebfbff0b21c4294a1a14a9e
+SIZE (rust/crates/rten-gemm-0.24.0.crate) = 74164
+SHA256 (rust/crates/rten-model-file-0.24.0.crate) = ed2f8d270f07ab1bbfff47250c6039f6caa5da59d6da7d74f66aa48559aa6fea
+SIZE (rust/crates/rten-model-file-0.24.0.crate) = 41053
+SHA256 (rust/crates/rten-onnx-0.24.0.crate) = 23086eef75bfb55278cb0b45cf9f5a877d466d914914aafebee4ffca9b24d20c
+SIZE (rust/crates/rten-onnx-0.24.0.crate) = 221872
+SHA256 (rust/crates/rten-shape-inference-0.24.0.crate) = 8e8a913c7ca40e2bfbb2a0cd447cce56b33ab19435f56693271a2ef37cf58984
+SIZE (rust/crates/rten-shape-inference-0.24.0.crate) = 29538
+SHA256 (rust/crates/rten-simd-0.24.0.crate) = b19a0032dfcb70dd20960c1c51a37674b237586cbc1ce586f45b46605d108e82
+SIZE (rust/crates/rten-simd-0.24.0.crate) = 40725
+SHA256 (rust/crates/rten-tensor-0.24.0.crate) = 05dc744a270aa32d154f1a3df8e48740ccc1be9dfbcf23295ada66d83aa98de6
+SIZE (rust/crates/rten-tensor-0.24.0.crate) = 82669
+SHA256 (rust/crates/rten-vecmath-0.24.0.crate) = 9574ddebf5671bc08ceb76e2e1638fadc57fdeff318634eab2c29e9a803cff64
+SIZE (rust/crates/rten-vecmath-0.24.0.crate) = 21862
 SHA256 (rust/crates/rustc-hash-1.1.0.crate) = 08d43f7aa6b08d49f382cde6a7982047c3426db949b1424bc4b7ec9ae12c6ce2
 SIZE (rust/crates/rustc-hash-1.1.0.crate) = 9331
+SHA256 (rust/crates/rustc-hash-2.1.2.crate) = 94300abf3f1ae2e2b8ffb7b58043de3d399c73fa6f4b73826402a5c457614dbe
+SIZE (rust/crates/rustc-hash-2.1.2.crate) = 14754
+SHA256 (rust/crates/rustc_version-0.4.1.crate) = cfcb3a22ef46e85b45de6ee7e79d063319ebb6594faafcf1c225ea92ab6e9b92
+SIZE (rust/crates/rustc_version-0.4.1.crate) = 12245
 SHA256 (rust/crates/rustix-1.1.4.crate) = b6fe4565b9518b83ef4f91bb47ce29620ca828bd32cb7e408f0062e9930ba190
 SIZE (rust/crates/rustix-1.1.4.crate) = 425241
 SHA256 (rust/crates/rustls-0.23.37.crate) = 758025cb5fccfd3bc2fd74708fd4682be41d99e5dff73c377c0646c6012c73a4
@@ -281,8 +319,6 @@ SHA256 (rust/crates/sharded-slab-0.1.7.crate) = f40ca3c46823713e0d4209592e8d6e82
 SIZE (rust/crates/sharded-slab-0.1.7.crate) = 58227
 SHA256 (rust/crates/shlex-1.3.0.crate) = 0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64
 SIZE (rust/crates/shlex-1.3.0.crate) = 18713
-SHA256 (rust/crates/signal-hook-registry-1.4.8.crate) = c4db69cba1110affc0e9f7bcd48bbf87b3f4fc7c61fc9155afd4c469eb3d6c1b
-SIZE (rust/crates/signal-hook-registry-1.4.8.crate) = 21668
 SHA256 (rust/crates/simd-adler32-0.3.8.crate) = e320a6c5ad31d271ad523dcf3ad13e2767ad8b1cb8f047f75a8aeaf8da139da2
 SIZE (rust/crates/simd-adler32-0.3.8.crate) = 17294
 SHA256 (rust/crates/similar-2.7.0.crate) = bbbb5d9659141646ae647b42fe094daf6c6192d1620870b449d9557f748b2daa
@@ -303,6 +339,8 @@ SHA256 (rust/crates/syn-2.0.117.crate) = e665b8803e7b1d2a727f4023456bbbbe74da670
 SIZE (rust/crates/syn-2.0.117.crate) = 306011
 SHA256 (rust/crates/tar-0.4.45.crate) = 22692a6476a21fa75fdfc11d452fda482af402c008cdbaf3476414e122040973
 SIZE (rust/crates/tar-0.4.45.crate) = 67847
+SHA256 (rust/crates/tempfile-3.27.0.crate) = 32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd
+SIZE (rust/crates/tempfile-3.27.0.crate) = 44780
 SHA256 (rust/crates/thiserror-1.0.69.crate) = b6aaf5339b578ea85b50e080feb250a3e8ae8cfcdff9a461c9ec2904bc923f52
 SIZE (rust/crates/thiserror-1.0.69.crate) = 22198
 SHA256 (rust/crates/thiserror-2.0.18.crate) = 4288b5bcbc7920c07a1149a35cf9590a2aa808e0bc1eafaade0b80947865fbc4
@@ -345,12 +383,18 @@ SHA256 (rust/crates/tracing-subscriber-0.3.23.crate) = cb7f578e5945fb242538965c2
 SIZE (rust/crates/tracing-subscriber-0.3.23.crate) = 213773
 SHA256 (rust/crates/tree-sitter-0.26.7.crate) = e7a6592b1aec0109df37b6bafea77eb4e61466e37b0a5a98bef4f89bfb81b7a2
 SIZE (rust/crates/tree-sitter-0.26.7.crate) = 196770
+SHA256 (rust/crates/tree-sitter-bash-0.25.1.crate) = 9e5ec769279cc91b561d3df0d8a5deb26b0ad40d183127f409494d6d8fc53062
+SIZE (rust/crates/tree-sitter-bash-0.25.1.crate) = 438310
 SHA256 (rust/crates/tree-sitter-c-0.24.1.crate) = 1a3aad8f0129083a59fe8596157552d2bb7148c492d44c21558d68ca1c722707
 SIZE (rust/crates/tree-sitter-c-0.24.1.crate) = 248206
 SHA256 (rust/crates/tree-sitter-c-sharp-0.23.1.crate) = 67f06accca7b45351758663b8215089e643d53bd9a660ce0349314263737fcb0
 SIZE (rust/crates/tree-sitter-c-sharp-0.23.1.crate) = 1347808
 SHA256 (rust/crates/tree-sitter-cpp-0.23.4.crate) = df2196ea9d47b4ab4a31b9297eaa5a5d19a0b121dceb9f118f6790ad0ab94743
 SIZE (rust/crates/tree-sitter-cpp-0.23.4.crate) = 971129
+SHA256 (rust/crates/tree-sitter-dart-0.1.0.crate) = bba6bf8675e6fe92ba6da371a5497ee5df2a04d2c503e3599c8ad771f6f1faec
+SIZE (rust/crates/tree-sitter-dart-0.1.0.crate) = 346085
+SHA256 (rust/crates/tree-sitter-elixir-0.3.5.crate) = 66dd064a762ed95bfc29857fa3cb7403bb1e5cb88112de0f6341b7e47284ba40
+SIZE (rust/crates/tree-sitter-elixir-0.3.5.crate) = 464733
 SHA256 (rust/crates/tree-sitter-go-0.25.0.crate) = c8560a4d2f835cc0d4d2c2e03cbd0dde2f6114b43bc491164238d333e28b16ea
 SIZE (rust/crates/tree-sitter-go-0.25.0.crate) = 110415
 SHA256 (rust/crates/tree-sitter-java-0.23.5.crate) = 0aa6cbcdc8c679b214e616fd3300da67da0e492e066df01bcf5a5921a71e90d6
@@ -369,12 +413,18 @@ SHA256 (rust/crates/tree-sitter-ruby-0.23.1.crate) = be0484ea4ef6bb9c575b4fdabde
 SIZE (rust/crates/tree-sitter-ruby-0.23.1.crate) = 512753
 SHA256 (rust/crates/tree-sitter-rust-0.24.1.crate) = f715f73a0687261ddb686f0d64a1e5af57bd199c4d12be5fdda6676ce1885bf9
 SIZE (rust/crates/tree-sitter-rust-0.24.1.crate) = 367988
+SHA256 (rust/crates/tree-sitter-scala-0.25.0.crate) = 83079f50ea7d03e0faf6be6260ed97538e6df7349ec3cbcbf5771f7b38e3c8b7
+SIZE (rust/crates/tree-sitter-scala-0.25.0.crate) = 1221500
 SHA256 (rust/crates/tree-sitter-swift-0.7.1.crate) = 4ef216011c3e3df4fa864736f347cb8d509b1066cf0c8549fb1fd81ac9832e59
 SIZE (rust/crates/tree-sitter-swift-0.7.1.crate) = 946906
 SHA256 (rust/crates/tree-sitter-typescript-0.23.2.crate) = 6c5f76ed8d947a75cc446d5fccd8b602ebf0cde64ccf2ffa434d873d7a575eff
 SIZE (rust/crates/tree-sitter-typescript-0.23.2.crate) = 829457
+SHA256 (rust/crates/tree-sitter-zig-1.1.2.crate) = ab11fc124851b0db4dd5e55983bbd9631192e93238389dcd44521715e5d53e28
+SIZE (rust/crates/tree-sitter-zig-1.1.2.crate) = 212493
 SHA256 (rust/crates/typed-path-0.12.3.crate) = 8e28f89b80c87b8fb0cf04ab448d5dd0dd0ade2f8891bae878de66a75a28600e
 SIZE (rust/crates/typed-path-0.12.3.crate) = 112964
+SHA256 (rust/crates/typeid-1.0.3.crate) = bc7d623258602320d5c55d1bc22793b57daff0ec7efc270ea7d55ce1d5f5471c
+SIZE (rust/crates/typeid-1.0.3.crate) = 9006
 SHA256 (rust/crates/typenum-1.19.0.crate) = 562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb
 SIZE (rust/crates/typenum-1.19.0.crate) = 76414
 SHA256 (rust/crates/unicode-ident-1.0.24.crate) = e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75
@@ -503,5 +553,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-v2.9.11_GH0.tar.gz) = 429d30808a248849d0376ba6de03430ea76b5180b1ed8e03dc4644d6d7e27871
-SIZE (yvgude-lean-ctx-v2.9.11_GH0.tar.gz) = 304746
+SHA256 (yvgude-lean-ctx-v2.20.0_GH0.tar.gz) = 39d706390aff053ba98f605d86228b22ee72c7c9e6baa13ea22ead24469cf0a3
+SIZE (yvgude-lean-ctx-v2.20.0_GH0.tar.gz) = 515359


home | help

Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69d671fb.42130.66b1a694>