diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2026-06-02 16:46:47 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2026-06-02 18:15:58 +0000 |
| commit | 17d25da8daa5d1358ddb158de510a3051bd5a613 (patch) | |
| tree | 2727654af45f76da4e4a2f942fa310d7035e5f68 | |
| parent | 42635e2cd203dc9c05a155e67235d542950747ec (diff) | |
misc/lean-ctx: update 3.6.26 → 3.7.0
| -rw-r--r-- | misc/lean-ctx/Makefile | 3 | ||||
| -rw-r--r-- | misc/lean-ctx/distinfo | 8 |
2 files changed, 7 insertions, 4 deletions
diff --git a/misc/lean-ctx/Makefile b/misc/lean-ctx/Makefile index 50cc5949afc6..11d24d531758 100644 --- a/misc/lean-ctx/Makefile +++ b/misc/lean-ctx/Makefile @@ -1,6 +1,6 @@ PORTNAME= lean-ctx DISTVERSIONPREFIX= v -DISTVERSION= 3.6.26 +DISTVERSION= 3.7.0 CATEGORIES= misc # machine-learning MAINTAINER= yuri@FreeBSD.org @@ -157,6 +157,7 @@ CARGO_CRATES= adler2-2.0.1 \ foldhash-0.1.5 \ foldhash-0.2.0 \ form_urlencoded-1.2.2 \ + fs2-0.4.3 \ fs_extra-1.3.0 \ futures-0.3.32 \ futures-channel-0.3.32 \ diff --git a/misc/lean-ctx/distinfo b/misc/lean-ctx/distinfo index e27e8cf7588d..d2ad8101b602 100644 --- a/misc/lean-ctx/distinfo +++ b/misc/lean-ctx/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1780337467 +TIMESTAMP = 1780417344 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 @@ -267,6 +267,8 @@ SHA256 (rust/crates/foldhash-0.2.0.crate) = 77ce24cb58228fbb8aa041425bb1050850ac SIZE (rust/crates/foldhash-0.2.0.crate) = 23329 SHA256 (rust/crates/form_urlencoded-1.2.2.crate) = cb4cb245038516f5f85277875cdaa4f7d2c9a0fa0468de06ed190163b1581fcf SIZE (rust/crates/form_urlencoded-1.2.2.crate) = 9347 +SHA256 (rust/crates/fs2-0.4.3.crate) = 9564fc758e15025b46aa6643b1b77d047d1a56a1aea6e01002ac0c7026876213 +SIZE (rust/crates/fs2-0.4.3.crate) = 13138 SHA256 (rust/crates/fs_extra-1.3.0.crate) = 42703706b716c37f96a77aea830392ad231f44c9e9a67872fa5548707e11b11c SIZE (rust/crates/fs_extra-1.3.0.crate) = 31298 SHA256 (rust/crates/futures-0.3.32.crate) = 8b147ee9d1f6d097cef9ce628cd2ee62288d963e16fb287bd9286455b241382d @@ -1193,5 +1195,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.26_GH0.tar.gz) = 7970e42f6e98ea1a5da996843fa0296358ddf6359a9b7924fe82e54fa8587029 -SIZE (yvgude-lean-ctx-v3.6.26_GH0.tar.gz) = 4409910 +SHA256 (yvgude-lean-ctx-v3.7.0_GH0.tar.gz) = cd8fdfdc1e24ab46a97484b44ec21c50bbfc39285b5857ae8480f8628c414ecb +SIZE (yvgude-lean-ctx-v3.7.0_GH0.tar.gz) = 4690085 |