git: 12e4f0b686c8 - main - lang/gcc13-devel: Update to 13.3.1.s20250515

From: Lorenzo Salvadore <salvadore_at_FreeBSD.org>
Date: Thu, 22 May 2025 15:28:44 UTC 
The branch main has been updated by salvadore:

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

commit 12e4f0b686c8a8a12be635c0b7047126bd665de4
Author:     Lorenzo Salvadore <salvadore@FreeBSD.org>
AuthorDate: 2025-05-16 09:40:40 +0000
Commit:     Lorenzo Salvadore <salvadore@FreeBSD.org>
CommitDate: 2025-05-22 15:27:52 +0000

    lang/gcc13-devel: Update to 13.3.1.s20250515
---
 lang/gcc13-devel/Makefile | 2 +-
 lang/gcc13-devel/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/lang/gcc13-devel/Makefile b/lang/gcc13-devel/Makefile
index 424716dff121..628c3dfcd89e 100644
--- a/lang/gcc13-devel/Makefile
+++ b/lang/gcc13-devel/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	gcc
-PORTVERSION=	13.3.1.s20250508
+PORTVERSION=	13.3.1.s20250515
 CATEGORIES=	lang
 MASTER_SITES=	GCC/snapshots/${DIST_VERSION}
 PKGNAMESUFFIX=	${SUFFIX}-devel
diff --git a/lang/gcc13-devel/distinfo b/lang/gcc13-devel/distinfo
index d2da8f60ef32..33653c2b2c92 100644
--- a/lang/gcc13-devel/distinfo
+++ b/lang/gcc13-devel/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1746778764
-SHA256 (gcc-13-20250508.tar.xz) = ce961b0bb5b2279479ebf3600112438228275411be1bfa922c636c4538e9c067
-SIZE (gcc-13-20250508.tar.xz) = 84567972
+TIMESTAMP = 1747388439
+SHA256 (gcc-13-20250515.tar.xz) = 9a8a7f090eba6f842fa028f124ce194bfdbbe5e52d89101f9b9df2ea2953a1f5
+SIZE (gcc-13-20250515.tar.xz) = 84556532