diff --git a/seed7/seed7.patch b/seed7/seed7.patch
index 17413c9334..b8b9b18e94 100644
--- a/seed7/seed7.patch
+++ b/seed7/seed7.patch
@@ -1,6 +1,6 @@
 Index: src/config.h
---- src/config.h.orig	2022-12-25 09:25:33.000000000 +0100
-+++ src/config.h	2023-04-22 23:33:43.270364000 +0200
+--- src/config.h.orig	2025-09-30 10:56:17.949392854 +0200
++++ src/config.h	2025-10-03 11:04:31.302581000 +0200
 @@ -31,7 +31,7 @@
  
  #define WITH_FLOAT 1
@@ -11,8 +11,8 @@ Index: src/config.h
  #define WITH_STATISTIC 0
  #define WITH_COMPILATION_INFO 1
 Index: src/heaputl.c
---- src/heaputl.c.orig	2023-03-21 19:25:05.000000000 +0100
-+++ src/heaputl.c	2023-04-22 23:33:43.270472000 +0200
+--- src/heaputl.c.orig	2025-04-07 14:39:41.000000000 +0200
++++ src/heaputl.c	2025-10-03 11:04:31.302689000 +0200
 @@ -38,8 +38,8 @@
  #include "stdio.h"
  #if HAS_GETRLIMIT
@@ -25,8 +25,8 @@ Index: src/heaputl.c
  
  #include "common.h"
 Index: src/makefile
---- src/makefile.orig	2023-03-05 12:58:17.000000000 +0100
-+++ src/makefile	2023-04-22 23:33:43.270591000 +0200
+--- src/makefile.orig	2025-09-30 10:56:18.013392759 +0200
++++ src/makefile	2025-10-03 11:04:31.302806000 +0200
 @@ -4,7 +4,7 @@
  #   make
  # If you are under windows you should use MinGW with mk_mingw.mak, mk_nmake.mak or mk_msys.mak instead.
@@ -79,9 +79,9 @@ Index: src/makefile
  DATABASE_LIB_OBJ = sql_base.o sql_db2.o sql_fire.o sql_ifx.o sql_lite.o sql_my.o sql_oci.o \
                     sql_odbc.o sql_post.o sql_srv.o sql_tds.o
 Index: src/objutl.c
---- src/objutl.c.orig	2021-06-19 23:13:16.000000000 +0200
-+++ src/objutl.c	2023-04-22 23:33:43.270707000 +0200
-@@ -768,7 +768,9 @@
+--- src/objutl.c.orig	2025-08-14 10:03:08.000000000 +0200
++++ src/objutl.c	2025-10-03 11:04:31.302925000 +0200
+@@ -842,7 +842,9 @@
              object->value.winValue->usage_count != 0) {
            object->value.winValue->usage_count--;
            if (object->value.winValue->usage_count == 0) {
@@ -92,13 +92,13 @@ Index: src/objutl.c
          } /* if */
          SET_UNUSED_FLAG(object);
 Index: src/s7.c
---- src/s7.c.orig	2023-03-21 19:38:39.000000000 +0100
-+++ src/s7.c	2023-04-22 23:39:22.513305000 +0200
-@@ -439,7 +439,6 @@
+--- src/s7.c.orig	2025-10-03 11:04:31.303054000 +0200
++++ src/s7.c	2025-10-03 11:04:47.158600000 +0200
+@@ -425,7 +425,6 @@
          } else {
            setupFloat();
            setupBig();
 -          drawInit();
-           /* printf("sourceFileArgument: \"");
-              prot_stri(option.sourceFileArgument);
-              printf("\"\n");
+           logMessage(printf("sourceFileArgument: \"%s\"\n",
+                             striAsUnquotedCStri(option.sourceFileArgument)););
+           logMessage(printf("protFileName: \"%s\"\n",
diff --git a/seed7/seed7.spec b/seed7/seed7.spec
index 5ea993e2d5..f9b866a8a3 100644
--- a/seed7/seed7.spec
+++ b/seed7/seed7.spec
@@ -22,8 +22,8 @@
 ##
 
 #   package version
-%define       V_opkg 05.20250729
-%define       V_dist 05_20250729
+%define       V_opkg 05.20250930
+%define       V_dist 05_20250930
 
 #   package information
 Name:         seed7
@@ -36,7 +36,7 @@ Class:        EVAL
 Group:        Language
 License:      LGPL
 Version:      %{V_opkg}
-Release:      20250729
+Release:      20251003
 
 #   list of sources
 Source0:      http://downloads.sourceforge.net/seed7/seed7_%{V_dist}.tgz