git: 0f88407a0f0a - main - lang/seed7: update to 05_20250729

The branch main has been updated by gahr:

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

commit 0f88407a0f0acd37df54073846488aaaedd99862
Author:     Pietro Cerutti <gahr@FreeBSD.org>
AuthorDate: 2025-07-30 12:51:48 +0000
Commit:     Pietro Cerutti <gahr@FreeBSD.org>
CommitDate: 2025-07-30 12:54:36 +0000

    lang/seed7: update to 05_20250729
    
    Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2025-07-29
---
 lang/seed7/Makefile                   |  2 +-
 lang/seed7/distinfo                   |  6 +++---
 lang/seed7/files/patch-prg_chkerr.sd7 | 11 -----------
 lang/seed7/pkg-plist                  |  4 ++++
 4 files changed, 8 insertions(+), 15 deletions(-)

diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile
index c0dc4453faca..87346b998274 100644
--- a/lang/seed7/Makefile
+++ b/lang/seed7/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	seed7
-DISTVERSION=	05_20250516
+DISTVERSION=	05_20250729
 CATEGORIES=	lang
 MASTER_SITES=	SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/
 DISTNAME=	${PORTNAME}_${DISTVERSION}
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo
index 87c461ef0b87..25c350a95aed 100644
--- a/lang/seed7/distinfo
+++ b/lang/seed7/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1752568192
-SHA256 (seed7_05_20250516.tgz) = 39b3086845ac3f79c9354d109ddf7c66e0452d5dd409bc07bc960bb5ea6bab78
-SIZE (seed7_05_20250516.tgz) = 4346654
+TIMESTAMP = 1753863983
+SHA256 (seed7_05_20250729.tgz) = 416a8a54e61b1539f5fbc131827a38d588758415e617b9941af3cd6b0e2105f0
+SIZE (seed7_05_20250729.tgz) = 4386548
diff --git a/lang/seed7/files/patch-prg_chkerr.sd7 b/lang/seed7/files/patch-prg_chkerr.sd7
deleted file mode 100644
index 9fd9d1c54203..000000000000
--- a/lang/seed7/files/patch-prg_chkerr.sd7
+++ /dev/null
@@ -1,11 +0,0 @@
---- prg/chkerr.sd7.orig	2025-07-15 18:54:10 UTC
-+++ prg/chkerr.sd7
-@@ -48,7 +48,7 @@ const func boolean: checkError (in string: testProgram
-     var parseError: error is parseError.value;
-   begin
-     block
--      aProgram := parseStri(testProgram);
-+      aProgram := parseStri(testProgram, parseOptions.value, [] ("../lib"));
-     exception
-       catch MEMORY_ERROR: noop;
-     end block;
diff --git a/lang/seed7/pkg-plist b/lang/seed7/pkg-plist
index 4bcfe1319222..d7e044879535 100644
--- a/lang/seed7/pkg-plist
+++ b/lang/seed7/pkg-plist
@@ -83,6 +83,7 @@ lib/seed7/lib/comp/prg_act.s7i
 lib/seed7/lib/comp/ref_act.s7i
 lib/seed7/lib/comp/rfl_act.s7i
 lib/seed7/lib/comp/sct_act.s7i
+lib/seed7/lib/comp/sel_act.s7i
 lib/seed7/lib/comp/set_act.s7i
 lib/seed7/lib/comp/soc_act.s7i
 lib/seed7/lib/comp/sql_act.s7i
@@ -155,6 +156,7 @@ lib/seed7/lib/inifile.s7i
 lib/seed7/lib/integer.s7i
 lib/seed7/lib/iobuffer.s7i
 lib/seed7/lib/jpeg.s7i
+lib/seed7/lib/json_serde.s7i
 lib/seed7/lib/json.s7i
 lib/seed7/lib/keybd.s7i
 lib/seed7/lib/keydescr.s7i
@@ -226,6 +228,7 @@ lib/seed7/lib/stdio.s7i
 lib/seed7/lib/strifile.s7i
 lib/seed7/lib/string.s7i
 lib/seed7/lib/stritext.s7i
+lib/seed7/lib/struct_elem.s7i
 lib/seed7/lib/struct.s7i
 lib/seed7/lib/subfile.s7i
 lib/seed7/lib/subrange.s7i
@@ -235,6 +238,7 @@ lib/seed7/lib/tar.s7i
 lib/seed7/lib/tdes.s7i
 lib/seed7/lib/tee.s7i
 lib/seed7/lib/text.s7i
+lib/seed7/lib/tga.s7i
 lib/seed7/lib/tiff.s7i
 lib/seed7/lib/time.s7i
 lib/seed7/lib/tls.s7i