git: 7bdb2333317b - main - misc/lean-ctx: update 3.8.4 → 3.8.5
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 16 Jun 2026 06:19:47 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=7bdb2333317b73ecdc1d2f095078c5a61314c6a5
commit 7bdb2333317b73ecdc1d2f095078c5a61314c6a5
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-06-15 06:49:20 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-06-16 06:18:27 +0000
misc/lean-ctx: update 3.8.4 → 3.8.5
---
misc/lean-ctx/Makefile | 4 +++-
misc/lean-ctx/distinfo | 10 +++++++---
2 files changed, 10 insertions(+), 4 deletions(-)
diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile
index 8652ca537de9..422d5d30c926 100644
--- a/misc/lean-ctx/Makefile
+++ b/misc/lean-ctx/Makefile
@@ -1,6 +1,6 @@
PORTNAME= lean-ctx
DISTVERSIONPREFIX= v
-DISTVERSION= 3.8.4
+DISTVERSION= 3.8.5
CATEGORIES= misc # machine-learning
MAINTAINER= yuri@FreeBSD.org
@@ -544,6 +544,8 @@ CARGO_CRATES= adler2-2.0.1 \
tree-sitter-javascript-0.25.0 \
tree-sitter-kotlin-ng-1.1.0 \
tree-sitter-language-0.1.7 \
+ tree-sitter-lua-0.5.0 \
+ tree-sitter-luau-1.2.0 \
tree-sitter-php-0.24.2 \
tree-sitter-python-0.25.0 \
tree-sitter-ruby-0.23.1 \
diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo
index c2214cbca973..34040833e260 100644
--- a/misc/lean-ctx/distinfo
+++ b/misc/lean-ctx/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1781382457
+TIMESTAMP = 1781505402
SHA256 (rust/crates/adler2-2.0.1.crate) = 320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa
SIZE (rust/crates/adler2-2.0.1.crate) = 13366
SHA256 (rust/crates/adobe-cmap-parser-0.4.1.crate) = ae8abfa9a4688de8fc9f42b3f013b6fffec18ed8a554f5f113577e0b9b3212a3
@@ -1041,6 +1041,10 @@ SHA256 (rust/crates/tree-sitter-kotlin-ng-1.1.0.crate) = e800ebbda938acfbf224f4d
SIZE (rust/crates/tree-sitter-kotlin-ng-1.1.0.crate) = 1113824
SHA256 (rust/crates/tree-sitter-language-0.1.7.crate) = 009994f150cc0cd50ff54917d5bc8bffe8cad10ca10d81c34da2ec421ae61782
SIZE (rust/crates/tree-sitter-language-0.1.7.crate) = 7945
+SHA256 (rust/crates/tree-sitter-lua-0.5.0.crate) = 8daaf5f4235188a58603c39760d5fa5d4b920d36a299c934adddae757f32a10c
+SIZE (rust/crates/tree-sitter-lua-0.5.0.crate) = 47065
+SHA256 (rust/crates/tree-sitter-luau-1.2.0.crate) = 871abeb427d719788bb38094facd7ff082908ef2b93c1d3d6a5f6025330120f4
+SIZE (rust/crates/tree-sitter-luau-1.2.0.crate) = 59071
SHA256 (rust/crates/tree-sitter-php-0.24.2.crate) = 0d8c17c3ab69052c5eeaa7ff5cd972dd1bc25d1b97ee779fec391ad3b5df5592
SIZE (rust/crates/tree-sitter-php-0.24.2.crate) = 623737
SHA256 (rust/crates/tree-sitter-python-0.25.0.crate) = 6bf85fd39652e740bf60f46f4cda9492c3a9ad75880575bf14960f775cb74a1c
@@ -1383,5 +1387,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.8.4_GH0.tar.gz) = be211c01d148f662f2464ae3328b9dd19f8aa644805da7d5cd8eb45a864ccc1d
-SIZE (yvgude-lean-ctx-v3.8.4_GH0.tar.gz) = 9917153
+SHA256 (yvgude-lean-ctx-v3.8.5_GH0.tar.gz) = 0dc907c2902229c5b894b99e7cd9cca2c394b82a11584d1ffd4229c5a5bac24d
+SIZE (yvgude-lean-ctx-v3.8.5_GH0.tar.gz) = 10127336