diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2026-05-11 05:27:11 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2026-05-11 07:15:16 +0000 |
| commit | 39b8463fd571003e9b183a9783061b24892f9973 (patch) | |
| tree | 8a2530caff8f26857e8ba1ed257d2fc6d17b727d | |
| parent | 2b8477f2e475045b967783f75e4d5e6f30dbcb60 (diff) | |
misc/lean-ctx: update 3.5.13 → 3.5.14
Reported by: portscout
| -rw-r--r-- | misc/lean-ctx/Makefile | 5 | ||||
| -rw-r--r-- | misc/lean-ctx/distinfo | 12 |
2 files changed, 13 insertions, 4 deletions
diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile index 98999b4aed68..7cb9495bb1d2 100644 --- a/misc/lean-ctx/Makefile +++ b/misc/lean-ctx/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean-ctx DISTVERSIONPREFIX= v -DISTVERSION= 3.5.13 +DISTVERSION= 3.5.14 CATEGORIES= misc # machine-learning MAINTAINER= yuri@FreeBSD.org @@ -28,6 +28,8 @@ CARGO_CRATES= adler2-2.0.1 \ anes-0.1.6 \ anstyle-1.0.14 \ anyhow-1.0.102 \ + arrayref-0.3.9 \ + arrayvec-0.7.6 \ async-trait-0.1.89 \ atomic-0.6.1 \ atomic-waker-1.1.2 \ @@ -42,6 +44,7 @@ CARGO_CRATES= adler2-2.0.1 \ bit-vec-0.6.3 \ bitflags-1.3.2 \ bitflags-2.11.1 \ + blake3-1.8.5 \ block-buffer-0.10.4 \ block-buffer-0.12.0 \ bstr-1.12.1 \ diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo index f4b0f72832fd..b9fca16b4a3e 100644 --- a/misc/lean-ctx/distinfo +++ b/misc/lean-ctx/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1778397145 +TIMESTAMP = 1778476017 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 @@ -15,6 +15,10 @@ SHA256 (rust/crates/anstyle-1.0.14.crate) = 940b3a0ca603d1eade50a4846a2afffd5ef5 SIZE (rust/crates/anstyle-1.0.14.crate) = 17787 SHA256 (rust/crates/anyhow-1.0.102.crate) = 7f202df86484c868dbad7eaa557ef785d5c66295e41b460ef922eca0723b842c SIZE (rust/crates/anyhow-1.0.102.crate) = 48658 +SHA256 (rust/crates/arrayref-0.3.9.crate) = 76a2e8124351fda1ef8aaaa3bbd7ebbcb486bbcd4225aca0aa0d84bb2db8fecb +SIZE (rust/crates/arrayref-0.3.9.crate) = 9186 +SHA256 (rust/crates/arrayvec-0.7.6.crate) = 7c02d123df017efcdfbd739ef81735b36c5ba83ec3c59c80a9d7ecc718f92e50 +SIZE (rust/crates/arrayvec-0.7.6.crate) = 31237 SHA256 (rust/crates/async-trait-0.1.89.crate) = 9035ad2d096bed7955a320ee7e2230574d28fd3c3a0f186cbea1ff3c7eed5dbb SIZE (rust/crates/async-trait-0.1.89.crate) = 32171 SHA256 (rust/crates/atomic-0.6.1.crate) = a89cbf775b137e9b968e67227ef7f775587cde3fd31b0d8599dbd0f598a48340 @@ -43,6 +47,8 @@ SHA256 (rust/crates/bitflags-1.3.2.crate) = bef38d45163c2f1dde094a7dfd33ccf595c9 SIZE (rust/crates/bitflags-1.3.2.crate) = 23021 SHA256 (rust/crates/bitflags-2.11.1.crate) = c4512299f36f043ab09a583e57bceb5a5aab7a73db1805848e8fef3c9e8c78b3 SIZE (rust/crates/bitflags-2.11.1.crate) = 49082 +SHA256 (rust/crates/blake3-1.8.5.crate) = 0aa83c34e62843d924f905e0f5c866eb1dd6545fc4d719e803d9ba6030371fce +SIZE (rust/crates/blake3-1.8.5.crate) = 209089 SHA256 (rust/crates/block-buffer-0.10.4.crate) = 3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71 SIZE (rust/crates/block-buffer-0.10.4.crate) = 10538 SHA256 (rust/crates/block-buffer-0.12.0.crate) = cdd35008169921d80bc60d3d0ab416eecb028c4cd653352907921d95084790be @@ -1105,5 +1111,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.13_GH0.tar.gz) = 012cd3d92cc9f713a10461d17dada29dc97af0ac50f80e1a715aee3c6a17d3bd -SIZE (yvgude-lean-ctx-v3.5.13_GH0.tar.gz) = 3334888 +SHA256 (yvgude-lean-ctx-v3.5.14_GH0.tar.gz) = d5208703e87f3030a5ef0b47f4e55ca50888a28886d797646d1016c0f5d2d7c3 +SIZE (yvgude-lean-ctx-v3.5.14_GH0.tar.gz) = 3350577 |