git: 7c34d81f26ca - main - lang/seed7: update to 05_20241118

The branch main has been updated by gahr:

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

commit 7c34d81f26ca15a8ddda66f61ff1571495d7fdb4
Author:     Pietro Cerutti <gahr@FreeBSD.org>
AuthorDate: 2024-12-02 15:24:12 +0000
Commit:     Pietro Cerutti <gahr@FreeBSD.org>
CommitDate: 2024-12-02 15:26:15 +0000

    lang/seed7: update to 05_20241118
    
    Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2024-11-18
---
 lang/seed7/Makefile  | 2 +-
 lang/seed7/distinfo  | 6 +++---
 lang/seed7/pkg-plist | 1 +
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile
index 63f554dc82c2..764c1c58630b 100644
--- a/lang/seed7/Makefile
+++ b/lang/seed7/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	seed7
-DISTVERSION=	05_20240812
+DISTVERSION=	05_20241118
 PORTREVISION=	0
 CATEGORIES=	lang
 MASTER_SITES=	SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo
index 59e3d57a7085..7b9e0d36513f 100644
--- a/lang/seed7/distinfo
+++ b/lang/seed7/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1723533534
-SHA256 (seed7_05_20240812.tgz) = 2f128f621411851248f1cefefd99f8bc4b45ea73761bba70cf3d0f6b1282e21d
-SIZE (seed7_05_20240812.tgz) = 4150682
+TIMESTAMP = 1733129519
+SHA256 (seed7_05_20241118.tgz) = aad6bfc23e4cce674cf899186613654bcbb6d6f208fd2f0e43ec84b459e508ed
+SIZE (seed7_05_20241118.tgz) = 4204380
diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist
index 73e91402d439..d2d1502967ca 100644
--- a/lang/seed7/pkg-plist
+++ b/lang/seed7/pkg-plist
@@ -91,6 +91,7 @@ lib/seed7/lib/comp/typ_act.s7i
 lib/seed7/lib/comp/type.s7i
 lib/seed7/lib/comp/ut8_act.s7i
 lib/seed7/lib/complex.s7i
+lib/seed7/lib/compress.s7i
 lib/seed7/lib/console.s7i
 lib/seed7/lib/cpio.s7i
 lib/seed7/lib/crc32.s7i