git: ac4b8e87bd26 - main - math/elan: update 3.0.0 → 3.1.1

The branch main has been updated by yuri:

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

commit ac4b8e87bd26c85429f531e49faabb741344b77b
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-02-23 10:25:12 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-02-23 10:25:42 +0000

    math/elan: update 3.0.0 → 3.1.1
    
    Reported by:    portscout
---
 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 f4c90168d5e3..6b395084a221 100644
--- a/math/elan/Makefile
+++ b/math/elan/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	elan
 DISTVERSIONPREFIX=	v
-DISTVERSION=	3.0.0
-PORTREVISION=	1
+DISTVERSION=	3.1.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/elan/distinfo b/math/elan/distinfo
index 929f9c25df43..4906175ee8e4 100644
--- a/math/elan/distinfo
+++ b/math/elan/distinfo
@@ -1,4 +1,4 @@
-TIMESTAMP = 1705312310
+TIMESTAMP = 1708682352
 SHA256 (rust/crates/addr2line-0.19.0.crate) = a76fd60b23679b7d19bd066031410fb7e458ccc5e958eb5c325888ce4baedc97
 SIZE (rust/crates/addr2line-0.19.0.crate) = 33210
 SHA256 (rust/crates/adler-1.0.2.crate) = f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe
@@ -459,5 +459,5 @@ SHA256 (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 94b61c51bb270702d6167b8c
 SIZE (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 17194
 SHA256 (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = fc49afa5c8d634e75761feda8c592051e7eeb4683ba827211eb0d731d3402ea8
 SIZE (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = 720054
-SHA256 (leanprover-elan-v3.0.0_GH0.tar.gz) = d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c
-SIZE (leanprover-elan-v3.0.0_GH0.tar.gz) = 95653
+SHA256 (leanprover-elan-v3.1.1_GH0.tar.gz) = b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c
+SIZE (leanprover-elan-v3.1.1_GH0.tar.gz) = 93564