git: b5820dc09aa8 - main - math/lean4: update 4.9.0 → 4.9.1

The branch main has been updated by yuri:

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

commit b5820dc09aa898379f0727bec98e2c8f6dbdc6f7
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-07-10 15:58:20 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-07-10 16:00:55 +0000

    math/lean4: update 4.9.0 → 4.9.1
    
    Reported by:    portscout
---
 math/lean4/Makefile | 2 +-
 math/lean4/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 078d42595304..6eb36f82225d 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	lean4
 DISTVERSIONPREFIX=	v
-DISTVERSION=	4.9.0
+DISTVERSION=	4.9.1
 CATEGORIES=	math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/lean4/distinfo b/math/lean4/distinfo
index 2fcae32c6584..395168f7c42c 100644
--- a/math/lean4/distinfo
+++ b/math/lean4/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1720249428
-SHA256 (leanprover-lean4-v4.9.0_GH0.tar.gz) = f59b7a782bd7e918b35a133a954094f0e39e344ffef06689a1c53ae97ae8d769
-SIZE (leanprover-lean4-v4.9.0_GH0.tar.gz) = 22768229
+TIMESTAMP = 1720597727
+SHA256 (leanprover-lean4-v4.9.1_GH0.tar.gz) = 713e41ec71a9e9030e6f46cc5dbb5aef30ac1887dfe5faa5a054c0a2f0613b1e
+SIZE (leanprover-lean4-v4.9.1_GH0.tar.gz) = 22771989