From: owner@bugs.debian.org 
  
 This is a multi-part message in MIME format... 
  
 Your message dated Sun, 12 Oct 2025 09:49:47 +0000 
 with message-id  
 and subject line Bug#1112978: fixed in gringo 5.8.0-1 
 has caused the Debian Bug report #1112978, 
 regarding gringo: FTBFS with CMake 4 
 to be marked as done. 
  
 This means that you claim that the problem has been dealt with. 
 If this is not the case it is now your responsibility to reopen the 
 Bug report if necessary, and/or fix the problem forthwith. 
  
 (NB: If you are a system administrator and have no idea what this 
 message is talking about, this may indicate a serious mail system 
 misconfiguration somewhere. Please contact owner@bugs.debian.org 
 immediately.) 
  
  
 -- 
 1112978: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1112978 
 Debian Bug Tracking System 
 Contact owner@bugs.debian.org with problems 
  
 Received: (at maintonly) by bugs.debian.org; 31 Aug 2025 22:54:56 +0000 
 X-Spam-Checker-Version: SpamAssassin 4.0.1-bugs.debian.org_2005_01_02 
  (2024-03-25) on buxtehude.debian.org 
 X-Spam-Level: 
 X-Spam-Status: No, score=-105.0 required=4.0 tests=BAYES_00,DKIMWL_WL_HIGH, 
  DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FOURLA,FROMDEVELOPER, 
  MSGID_FROM_MTA_HEADER,SPF_HELO_NONE,SPF_NONE,UNPARSEABLE_RELAY, 
  USER_IN_DKIM_WELCOMELIST autolearn=ham autolearn_force=no 
  version=4.0.1-bugs.debian.org_2005_01_02 
 X-Spam-Bayes: score:0.0000 Tokens: new, 18; hammy, 150; neutral, 318; 
 spammy, 
  0. spammytokens: 
  hammytokens:0.000-+--Hx-spam-relays-external:sk:stravin, 
  0.000-+--H*RT:sk:stravin, 0.000-+--Hx-spam-relays-external:311, 
  0.000-+--H*RT:311, 0.000-+--H*RT:108 
 Return-path:  
 Received: from stravinsky.debian.org ([2001:41b8:202:deb::311:108]:60364) 
  by buxtehude.debian.org with utf8esmtps (TLS1.3:ECDHE_SECP256R1 
 _RSA_PSS_RSAE_SHA256__AES_256_GCM:256) 
  (Exim 4.96) 
  (envelope-from ) 
  id 1usqwp-00AdJo-2t 
  for maintonly@bugs.debian.org; 
  Sun, 31 Aug 2025 22:54:56 +0000 
 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debian. 
 org; 
  s=smtpauto.stravinsky; h=X-Debian-User:To:From:Subject:MIME-Version: 
  Content-Transfer-Encoding:Content-Type:Message-ID:Date:Reply-To:Cc:Content- 
 ID 
  :Content-Description:In-Reply-To:References; 
  bh=GSDdMIQOZOfBYn8/VKCe5BOJxU9fTpKP28OxcYLPfs4=; b 
 =FL0JTTEjyF5FT1svn9xulJbwvf 
  OdrxCuerKJT0aptlrLb0LLjk4ffrW6BbIFnlIpI6iiMPMBIA+s 
 sU3PcV/nU4g7IWw404+ez0HwaHc 
  ru0y5/BGolYr9fyunV9NJ000cQshKKE7cZzZ9DLduyjCMW8CZv 
 HbNoDgfuCtwRpppoe54wrqUmkps 
  xMsXkeA4CAnrPuOZuvQQr4K9i/5qcGhaoWeIF71umqIeEErjjo 
 N/X5Y3zqj0DbYB6hJrFZ0hJDOYP 
  aZDdEV9F/KCySqzDD9NeXE+62FpSsDkhm+JoADPG7oWlFREk5+ 
 wPLwapqsgZ6Cc/IXt18OYXgUTJv 
  x3yjqlxg==; 
 Received: from authenticated user 
  by stravinsky.debian.org with utf8esmtpsa (TLS1.3:ECDHE_SECP256 
 1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) 
  (Exim 4.94.2) 
  (envelope-from ) 
  id 1usqwo-000NSk-9H 
  for maintonly@bugs.debian.org; Sun, 31 Aug 2025 22:54:54 +0000 
 Date: Mon, 01 Sep 2025 00:54:54 +0200 
 Message-ID: <73625427f45c043526dc8467ea42f0f2@debian.org> 
 Received: from roehling3.cms.fkie.fraunhofer.de (localhost.localdomain 
 [127.0.0.1]) 
  by localhost.localdomain [127.0.0.1] (msmtpd) with ESMTP; 
  Mon, 01 Sep 2025 00:54:53 +0200 
 Content-Type: text/plain; charset="utf-8" 
 Content-Transfer-Encoding: quoted-printable 
 MIME-Version: 1.0 
 Subject: gringo: FTBFS with CMake 4 
 From: roehling@debian.org 
 To: maintonly@bugs.debian.org 
 X-Debian-User: roehling 
 Delivered-To: maintonly@bugs.debian.org 
  
 Source: gringo 
 Version: 5.6.2-2 
 Severity: serious 
 User: cmake@packages.debian.org 
 Usertags: cmake-4 
 Tags: ftbfs, forky, sid 
  
 Dear maintainer, 
  
 During a test rebuild for CMake 4, gringo failed to rebuild. 
  
 Log Summary: 
 - 
 - 
 - 
 ---------------------------------------------------------------------------- 
 [...] 
  
 Check disk space 
 ---------------- 
  
 Sufficient free space for build 
  
 User Environment 
 ---------------- 
  
 APT_CONFIG=/var/lib/sbuild/apt.conf 
 HOME=/sbuild-nonexistent 
 LANG=C.UTF-8 
 LC_ALL=C.UTF-8 
 LOGNAME=sbuild 
 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games 
 SHELL=/bin/sh 
 USER=sbuild 
  
 dpkg-buildpackage 
 ----------------- 
  
 Command: dpkg-buildpackage --sanitize-env -us -uc -b 
 dpkg-buildpackage: info: source package gringo 
 dpkg-buildpackage: info: source version 5.6.2-2 
 dpkg-buildpackage: info: source distribution unstable 
 dpkg-buildpackage: info: source changed by Graham Inggs  
  dpkg-source --before-build . 
 dpkg-buildpackage: info: host architecture arm64 
  debian/rules clean 
 dh clean --buildsystem=cmake --with pkgkde_symbolshelper 
    debian/rules override_dh_auto_clean 
 make[1]: Entering directory '/build/reproducible-path/gringo-5.6.2' 
 dh_auto_clean --builddirectory=build.dir/hardening_mt 
 make[1]: Leaving directory '/build/reproducible-path/gringo-5.6.2' 
    dh_autoreconf_clean -O--buildsystem=cmake 
    dh_clean -O--buildsystem=cmake 
  debian/rules binary 
 dh binary --buildsystem=cmake --with pkgkde_symbolshelper 
    dh_update_autotools_config -O--buildsystem=cmake 
    dh_autoreconf -O--buildsystem=cmake 
    debian/rules override_dh_auto_configure 
 make[1]: Entering directory '/build/reproducible-path/gringo-5.6.2' 
 dh_auto_configure --builddirectory=build.dir/hardening_mt -- -DC 
 AKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr -LAH - 
 DCMAKE_SKIP_RPATH=YES 
 -DCLINGO_MANAGE_RPATH=OFF -DLIB_POTASSCO_BUILD_APP=ON -DLIB_POTA 
 SCO_BUILD_TESTS=ON -DCLASP_BUILD_APP=OFF - 
 DCLASP_BUILD_TESTS=OFF -DCLASP_BUILD_EXAMPLES=OFF -DCLINGO_BUILD_EXAMPLES=ON 
 -DCLINGO_BUILD_TESTS=ON -DCLINGO_BUILD_WITH_PYTHON=OFF 
  
 [continued in next message] 
  
 --- SoupGate-Win32 v1.05 
  * Origin: you cannot sedate... all the things you hate (1:229/2)