Control: tags 1112823 + patch Control: tags 1112823 + pending Dear maintainer,
I've prepared an NMU for cvc4 (versioned as 1.8-4.1) and uploaded it to DELAYED/15. Please feel free to tell me if I should cancel it. cu Adrian
diffstat for cvc4-1.8 cvc4-1.8 changelog | 7 +++++++ patches/cmake-4.patch | 20 ++++++++++++++++++++ patches/series | 1 + 3 files changed, 28 insertions(+) diff -Nru cvc4-1.8/debian/changelog cvc4-1.8/debian/changelog --- cvc4-1.8/debian/changelog 2025-07-27 17:05:53.000000000 +0300 +++ cvc4-1.8/debian/changelog 2025-10-26 23:13:10.000000000 +0200 @@ -1,3 +1,10 @@ +cvc4 (1.8-4.1) unstable; urgency=medium + + * Non-maintainer upload. + * Fix FTBFS with CMake 4. (Closes: #1112823) + + -- Adrian Bunk <[email protected]> Sun, 26 Oct 2025 23:13:10 +0200 + cvc4 (1.8-4) unstable; urgency=medium * Team upload. diff -Nru cvc4-1.8/debian/patches/cmake-4.patch cvc4-1.8/debian/patches/cmake-4.patch --- cvc4-1.8/debian/patches/cmake-4.patch 1970-01-01 02:00:00.000000000 +0200 +++ cvc4-1.8/debian/patches/cmake-4.patch 2025-10-26 23:13:10.000000000 +0200 @@ -0,0 +1,20 @@ +Description: Fix FTBFS with CMake 4 +Author: Adrian Bunk <[email protected]> +Bug-Debian: https://bugs.debian.org/1112823 + +--- cvc4-1.8.orig/CMakeLists.txt ++++ cvc4-1.8/CMakeLists.txt +@@ -1,4 +1,4 @@ +-cmake_minimum_required(VERSION 3.2) ++cmake_minimum_required(VERSION 3.5) + + #-----------------------------------------------------------------------------# + # Project configuration +--- cvc4-1.8.orig/examples/CMakeLists.txt ++++ cvc4-1.8/examples/CMakeLists.txt +@@ -1,4 +1,4 @@ +-cmake_minimum_required(VERSION 3.2) ++cmake_minimum_required(VERSION 3.5) + + project(cvc4-examples) + diff -Nru cvc4-1.8/debian/patches/series cvc4-1.8/debian/patches/series --- cvc4-1.8/debian/patches/series 2025-07-27 16:21:06.000000000 +0300 +++ cvc4-1.8/debian/patches/series 2025-10-26 23:13:10.000000000 +0200 @@ -7,3 +7,4 @@ 06-disable-tests.patch 07-bash-patsub-replacement.patch 08-drop-old-external-toml.patch +cmake-4.patch
