git: 5776e726c11c - main - math/lean4: update 4.5.0-rc1 → 4.5.0

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 01 Feb 2024 17:56:10 UTC 
The branch main has been updated by yuri:

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

commit 5776e726c11ca8677234fe0619afc7def9651a00
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-01-02 14:29:02 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-02-01 17:56:05 +0000

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

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 59197ac7f8b5..64de7b7817db 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	lean4
 DISTVERSIONPREFIX=	v
-DISTVERSION=	4.5.0-rc1
-PORTREVISION=	2
+DISTVERSION=	4.5.0
 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 d307f90be676..212153a2baf9 100644
--- a/math/lean4/distinfo
+++ b/math/lean4/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1705134061
-SHA256 (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 8b5ae344816670adb2a68859b2f4c309592feb32674d477e46e061275f9e8129
-SIZE (leanprover-lean4-v4.5.0-rc1_GH0.tar.gz) = 17060956
+TIMESTAMP = 1706759565
+SHA256 (leanprover-lean4-v4.5.0_GH0.tar.gz) = 9a7e3661245cd6f115919695d7041396cf44b081b03421cac9bda6bf8353df0f
+SIZE (leanprover-lean4-v4.5.0_GH0.tar.gz) = 17060034