git: 287c1d9fc65d - main - math/elan: update 4.2.2 → 4.2.3

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=287c1d9fc65da769d34d007e0854ecb6aa7e94c8

commit 287c1d9fc65da769d34d007e0854ecb6aa7e94c8
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-06-09 04:15:05 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-06-09 05:19:20 +0000

    math/elan: update 4.2.2 → 4.2.3
---
 math/elan/Makefile | 3 +--
 math/elan/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/math/elan/Makefile b/math/elan/Makefile
index 00de2aaf7d80..08672fbe198a 100644
--- a/math/elan/Makefile
+++ b/math/elan/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	elan
 DISTVERSIONPREFIX=	v
-DISTVERSION=	4.2.2
-PORTREVISION=	1
+DISTVERSION=	4.2.3
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/elan/distinfo b/math/elan/distinfo
index f08d20c2372e..4af2556d9e65 100644
--- a/math/elan/distinfo
+++ b/math/elan/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1779992472
+TIMESTAMP = 1780977644
 SHA256 (rust/crates/addr2line-0.24.2.crate) = dfbe277e56a376000877090da837660b4427aad530e3028d44e0bffe4f89a1c1
 SIZE (rust/crates/addr2line-0.24.2.crate) = 39015
 SHA256 (rust/crates/adler2-2.0.0.crate) = 512761e0bb2578dd7380c6baaa0f4ce03e84f95e960231d1dec8bf4d7d6e2627
@@ -541,5 +541,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.15+zstd.1.5.7.crate) = eb81183ddd97d0c74cedf1d50d85c8d08c1b8b68ee863bdee9e706eedba1a237
 SIZE (rust/crates/zstd-sys-2.0.15+zstd.1.5.7.crate) = 774847
-SHA256 (leanprover-elan-v4.2.2_GH0.tar.gz) = b1f151659be6f2a9c840049ec40bff126847de0fcceef7c42da04627e34b1712
-SIZE (leanprover-elan-v4.2.2_GH0.tar.gz) = 107107
+SHA256 (leanprover-elan-v4.2.3_GH0.tar.gz) = 7094a5063378225598a420b13eded60f58c21f49fc2e009c68a6506da5d62580
+SIZE (leanprover-elan-v4.2.3_GH0.tar.gz) = 107208