diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2026-05-10 07:17:36 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2026-05-10 07:48:03 +0000 |
| commit | 08a65494c5873a9c0f52da0a2a1470c16107a0ab (patch) | |
| tree | 25a2e4bfd60b3cfc104a6ae5e1c18b57cdcecb51 | |
| parent | 2c69caac4fde14dddb1faa63197daff632daad95 (diff) | |
misc/lean-ctx: update 3.5.8 → 3.5.13
| -rw-r--r-- | misc/lean-ctx/Makefile | 2 | ||||
| -rw-r--r-- | misc/lean-ctx/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile index d5438e0206c6..98999b4aed68 100644 --- a/misc/lean-ctx/Makefile +++ b/misc/lean-ctx/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean-ctx DISTVERSIONPREFIX= v -DISTVERSION= 3.5.8 +DISTVERSION= 3.5.13 CATEGORIES= misc # machine-learning MAINTAINER= yuri@FreeBSD.org diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo index ac943ed7b4ff..f4b0f72832fd 100644 --- a/misc/lean-ctx/distinfo +++ b/misc/lean-ctx/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1778300570 +TIMESTAMP = 1778397145 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 @@ -1105,5 +1105,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.8_GH0.tar.gz) = e6afbf4d363b0d14ab68a566f0af25489741846dfc033fb9bba25b3e05f5fd08 -SIZE (yvgude-lean-ctx-v3.5.8_GH0.tar.gz) = 3277441 +SHA256 (yvgude-lean-ctx-v3.5.13_GH0.tar.gz) = 012cd3d92cc9f713a10461d17dada29dc97af0ac50f80e1a715aee3c6a17d3bd +SIZE (yvgude-lean-ctx-v3.5.13_GH0.tar.gz) = 3334888 |