[rpms/cbmc] rawhide: rebase to the latest upstream release

            A new commit has been pushed.

            Repo   : rpms/cbmc
            Branch : rawhide
            Commit : afdf1b4e82fe56578aa67d7c52d4d235e444c40a
            Author : Lukáš Zaoral <lzaoral@redhat.com>
            Date   : 2026-09-02T10:10:14+02:00
            Stats  : +33/-30 in 4 file(s)
            URL    : https://src.fedoraproject.org/rpms/cbmc/c/afdf1b4e82fe56578aa67d7c52d4d235e444c40a?branch=rawhide

            Log:
            rebase to the latest upstream release

Resolves: rhbz#2492168

---
diff --git a/cbmc-f41-fix-build.patch b/cbmc-f41-fix-build.patch
deleted file mode 100644
index 07fea6f..0000000
--- a/cbmc-f41-fix-build.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-From bfa6203a05c4f3910457c96512d1adabb54e0929 Mon Sep 17 00:00:00 2001
-From: rpm-build <rpm-build>
-Date: Wed, 23 Apr 2025 02:00:00 +0200
-Subject: [PATCH] cbmc-f41-fix-build.patch
-
----
- src/libcprover-cpp/CMakeLists.txt | 4 ----
- 1 file changed, 4 deletions(-)
-
-diff --git a/src/libcprover-cpp/CMakeLists.txt b/src/libcprover-cpp/CMakeLists.txt
-index d32b407..9ab73fc 100644
---- a/src/libcprover-cpp/CMakeLists.txt
-+++ b/src/libcprover-cpp/CMakeLists.txt
-@@ -64,10 +64,6 @@ foreach(dep ${LIBRARY_DEPENDENCIES})
-         list(APPEND DEPENDENCY_TARGETS "$<TARGET_FILE:${dep}>")
-     else()
-         find_library(dep_path ${dep})
--        string(REGEX REPLACE "[.]so$" ".a" dep_static_path ${dep_path})
--        if (NOT EXISTS "${dep_static_path}")
--          message(FATAL_ERROR "libcprover-cpp cannot be linked as dependency ${dep_path} does not have a static correspondent file (${dep_static_path})")
--        endif()
-         list(APPEND DEPENDENCY_TARGETS ${dep_static_path})
-     endif()
- endforeach(dep LIBRARY_DEPENDENCIES)
---
-2.49.0
-

diff --git a/cbmc-fix-build.patch b/cbmc-fix-build.patch
new file mode 100644
index 0000000..07fea6f
--- /dev/null
+++ b/cbmc-fix-build.patch
@@ -0,0 +1,27 @@
+From bfa6203a05c4f3910457c96512d1adabb54e0929 Mon Sep 17 00:00:00 2001
+From: rpm-build <rpm-build>
+Date: Wed, 23 Apr 2025 02:00:00 +0200
+Subject: [PATCH] cbmc-f41-fix-build.patch
+
+---
+ src/libcprover-cpp/CMakeLists.txt | 4 ----
+ 1 file changed, 4 deletions(-)
+
+diff --git a/src/libcprover-cpp/CMakeLists.txt b/src/libcprover-cpp/CMakeLists.txt
+index d32b407..9ab73fc 100644
+--- a/src/libcprover-cpp/CMakeLists.txt
++++ b/src/libcprover-cpp/CMakeLists.txt
+@@ -64,10 +64,6 @@ foreach(dep ${LIBRARY_DEPENDENCIES})
+         list(APPEND DEPENDENCY_TARGETS "$<TARGET_FILE:${dep}>")
+     else()
+         find_library(dep_path ${dep})
+-        string(REGEX REPLACE "[.]so$" ".a" dep_static_path ${dep_path})
+-        if (NOT EXISTS "${dep_static_path}")
+-          message(FATAL_ERROR "libcprover-cpp cannot be linked as dependency ${dep_path} does not have a static correspondent file (${dep_static_path})")
+-        endif()
+         list(APPEND DEPENDENCY_TARGETS ${dep_static_path})
+     endif()
+ endforeach(dep LIBRARY_DEPENDENCIES)
+--
+2.49.0
+

diff --git a/cbmc.spec b/cbmc.spec
index 39ceca5..36cf5ca 100644
--- a/cbmc.spec
+++ b/cbmc.spec
@@ -4,7 +4,7 @@
 %define utils_version 1.3
 
 Name:           cbmc
-Version:        6.10.0
+Version:        6.11.0
 Release:        1%{?dist}
 Summary:        Bounded Model Checker for ANSI-C and C++ programs
 
@@ -17,7 +17,7 @@ Source1:        https://github.com/aufover/%{name}-utils/archive/v%{utils_versio
 # Implements https://github.com/diffblue/cbmc/issues/5965
 Patch:         %{name}-add-cmd-line-arg.patch
 # Fix compilation on F41+
-Patch:         %{name}-f41-fix-build.patch
+Patch:         %{name}-fix-build.patch
 
 BuildRequires:  bison
 BuildRequires:  cmake
@@ -131,6 +131,9 @@ mv %{buildroot}{/usr/etc/bash_completion.d/cbmc,%{bash_completions_dir}}
 %{_bindir}/csexec-%{name}
 
 %changelog
+* Wed Sep 02 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.11.0-1
+- rebase to the latest upstream release (rhbz#2492168)
+
 * Thu Jul 16 2026 Lukáš Zaoral <lzaoral@redhat.com> - 6.10.0-1
 - rebase to the latest upstream release (rhzb#2492168)
 

diff --git a/sources b/sources
index 43576db..87b3eef 100644
--- a/sources
+++ b/sources
@@ -1,2 +1,2 @@
-SHA512 (cbmc-6.10.0.tar.gz) = 87a8d0202c778c0699a11733f1d73f2239d9f91222644dc6fbffc820ece53f43621152191fa5443957c85608a0021e56b290959f10b518cb04133c40c7bf0dbe
+SHA512 (cbmc-6.11.0.tar.gz) = 865649ecd974b4457d6437822ef03e0f6fe39221fe93c32027e159814e6a6c5b190cc2724b3e6521439b4b9f66baa5b62ebb51baa271926b47a2c4a65c32ef1e
 SHA512 (cbmc-utils-1.3.tar.gz) = 3f3eaa9f2b2e75b1088998911f282eb2589fa4b724dbca2dd155d9c60dde302e732e6405897aee349490ba54d336f03c094fe57f92fb42fd317c6c1d4b951488