Your message dated Wed, 05 Aug 2026 12:34:00 +0000
with message-id <[email protected]>
and subject line Bug#1133470: fixed in fact++ 1.8.2+dfsg-1
has caused the Debian Bug report #1133470,
regarding fact++: ftbfs with GCC-16
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 [email protected]
immediately.)
--
1133470: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1133470
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:fact++
Version: 1.6.5~dfsg-3
Severity: important
Tags: sid forky ftbfs
User: [email protected]
Usertags: ftbfs-gcc-16
Hi,
fact++ fails to build in a test rebuild on at least amd64 and arm64 with
gcc-16/g++-16, but builds properly with gcc-15/g++-15. The severity of this
report will be raised before the forky release.
The full build log can be found at:
https://people.debian.org/~ema/gcc-16-rebuilds/output-1/fact++_arm64.build.xz
The last lines of the build log are at the end of this report.
To build with GCC 16, either set CC=gcc-16 CXX=g++-16 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
apt-get -t=experimental install g++
Common build failures include unused (but set) variables, array subscripts
partly outside array bounds, and new/dropped symbols in Debian symbols files.
For other C/C++ related build failures see the porting guide at
http://gcc.gnu.org/gcc-16/porting_to.html
Please only close this issue after double-checking that the package can be
built correctly with GCC 16.
Please do not reassign this bug to another package. If a fix in another package
is required, then file a bug for the other package (or clone), and mark this
bug as blocked by the bug in the other package.
[...]
Reasoner.cpp: In member function ‘void DlSatTester::restoreBC()’:
Reasoner.cpp:545:32: warning: implicitly-declared ‘ConceptWDep&
ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy]
545 | curConcept = bContext->curConcept;
| ^~~~~~~~~~
ConceptWithDep.h:43:9: note: because ‘ConceptWDep’ has user-provided
‘ConceptWDep::ConceptWDep(const ConceptWDep&)’
43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept),
depSet(c.depSet) {}
| ^~~~~~~~~~~
In file included from tFastSet.h:23,
from RAutomaton.h:27,
from tRole.h:31,
from dlCompletionTreeArc.h:26,
from dlCompletionTree.h:26:
growingArray.h: In instantiation of ‘void growingArray<C>::add(const C&) [with
C = ConceptWDep]’:
CWDArray.h:101:46: required from here
101 | void add ( const ConceptWDep& p ) { Base.add(p); }
| ~~~~~~~~^~~
growingArray.h:74:30: warning: implicitly-declared ‘ConceptWDep&
ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy]
74 | Body[last++] = entry;
| ~~~~~~~~~~~~~^~~~~~~
ConceptWithDep.h:43:9: note: because ‘ConceptWDep’ has user-provided
‘ConceptWDep::ConceptWDep(const ConceptWDep&)’
43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept),
depSet(c.depSet) {}
| ^~~~~~~~~~~
In file included from ReasonerNom.h:23,
from SaveLoad.cpp:25:
Reasoner.h: In member function ‘void DlSatTester::initBC()’:
Reasoner.h:636:40: warning: implicitly-declared ‘ConceptWDep&
ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy]
636 | bContext->curConcept = curConcept;
| ^~~~~~~~~~
In file included from dlDag.h:32,
from dlTBox.h:33,
from Kernel.h:27,
from SaveLoad.cpp:24:
ConceptWithDep.h:43:9: note: because ‘ConceptWDep’ has user-provided
‘ConceptWDep::ConceptWDep(const ConceptWDep&)’
43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept),
depSet(c.depSet) {}
| ^~~~~~~~~~~
SaveLoad.cpp: In member function ‘void Taxonomy::Save(SaveLoadManager&, const
std::set<const TNamedEntry*>&) const’:
SaveLoad.cpp:804:76: warning: unused parameter ‘excluded’ [-Wunused-parameter]
804 | Taxonomy :: Save ( SaveLoadManager& m, const std::set<const
TNamedEntry*>& excluded ) const
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
In file included from tFastSet.h:23,
from RAutomaton.h:27,
from tRole.h:31,
from RoleMaster.h:26,
from dlTBox.h:31:
growingArray.h: In instantiation of ‘void growingArray<C>::add(const C&) [with
C = ConceptWDep]’:
CWDArray.h:101:46: required from here
101 | void add ( const ConceptWDep& p ) { Base.add(p); }
| ~~~~~~~~^~~
growingArray.h:74:30: warning: implicitly-declared ‘ConceptWDep&
ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy]
74 | Body[last++] = entry;
| ~~~~~~~~~~~~~^~~~~~~
ConceptWithDep.h:43:9: note: because ‘ConceptWDep’ has user-provided
‘ConceptWDep::ConceptWDep(const ConceptWDep&)’
43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept),
depSet(c.depSet) {}
| ^~~~~~~~~~~
In file included from Incremental.cpp:24:
tOntologyPrinterLISP.h: In member function ‘virtual void
TLISPOntologyPrinter::visit(const TDLAxiomDeclaration&)’:
tOntologyPrinterLISP.h:71:43: error: expected unqualified-id before ‘concept’
71 | if (const TDLConceptName* concept = dynamic_cast<const
TDLConceptName*>(decl))
| ^~~~~~~
tOntologyPrinterLISP.h:72:52: error: expected primary-expression before
‘concept’
72 | o << "(defprimconcept " << concept->getName()
<< ")\n";
| ^~~~~~~
make[2]: *** [../Makefile.include:159: obj/Kernel.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[2]: *** [../Makefile.include:159: obj/Incremental.o] Error 1
make[2]: Leaving directory '/build/reproducible-path/fact++-1.6.5~dfsg/Kernel'
dh_auto_build: error: make -j128 INSTALL="install --strip-program=true" -C
Kernel OS=LINUX DEFINES="-Wdate-time -D_FORTIFY_SOURCE=2" returned exit code 2
make[1]: *** [debian/rules:17: override_dh_auto_build] Error 25
make[1]: Leaving directory '/build/reproducible-path/fact++-1.6.5~dfsg'
make: *** [debian/rules:26: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess failed with exit
status 2
--- End Message ---
--- Begin Message ---
Source: fact++
Source-Version: 1.8.2+dfsg-1
Done: Jonas Smedegaard <[email protected]>
We believe that the bug you reported is fixed in the latest version of
fact++, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Jonas Smedegaard <[email protected]> (supplier of updated fact++ package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 05 Aug 2026 14:10:23 +0200
Source: fact++
Architecture: source
Version: 1.8.2+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Jonas Smedegaard <[email protected]>
Changed-By: Jonas Smedegaard <[email protected]>
Closes: 1133470
Changes:
fact++ (1.8.2+dfsg-1) unstable; urgency=medium
.
[ upstream ]
* New release (from new upstream source project pyfactxx).
.
[ Jonas Smedegaard ]
* add TODO about pyfactxx
* switch to use project pyfactxx as upstream source
* update copyright info:
+ avoid any .git* files when repackaging upstream source
+ license patches same as main upstream license
+ update coverage
* update git-buildpackage config:
+ use DEP-14 branch names
+ filter out eventual debian subdir
+ stop superfluously filter out .git* files
+ improve usage comment
* update watch file:
+ use file format 5
+ use Github template
* add patch cherry-picked upstream to port to GCC 13;
closes: bug#1133470, thanks to Emanuele Rocca
* stop superfluously set fields Rules-Requires-Root Priority
* use debhelper compatibility level 14 (not 13)
* declare compliance with Debian Policy 4.7.4
* drop done TODO about pyfactxx
* add patch cherry-picked upstream to bump min cmake version to 3.15
* update build rules to use cmake;
build-depend on cmake dh-cmake-compat dh-sequence-cmake
Checksums-Sha1:
20376622071a3df7c3eb0bc6c6b8307803a34197 2019 fact++_1.8.2+dfsg-1.dsc
5f97116047ee837336bf813c1bad923fdae9269b 393548 fact++_1.8.2+dfsg.orig.tar.xz
ef123ae37659f2f2ca081a345b89f06d8efd9fc7 8732 fact++_1.8.2+dfsg-1.debian.tar.xz
564f3a4114f895aa007ec0798a205ea53b3fa9ad 6933
fact++_1.8.2+dfsg-1_amd64.buildinfo
Checksums-Sha256:
3662398db702f43cee808b79ec436cc40a882af49c2602bb8f24f8bacb34b83b 2019
fact++_1.8.2+dfsg-1.dsc
9fa9e78405c46bb3a180daad256774c26b19fe0b97d5f27b9bebc8e3dec9293e 393548
fact++_1.8.2+dfsg.orig.tar.xz
3a66745b166dd5dd5c236957056d06b3f7fdfe5ded547bad0ac4a3d980af45b8 8732
fact++_1.8.2+dfsg-1.debian.tar.xz
78628ed8fcc694590a7ba8d7b21e147ceefad99a7d5d0f98bf903341c587ff02 6933
fact++_1.8.2+dfsg-1_amd64.buildinfo
Files:
4604b193eee14d71216ee0914e0c4649 2019 science optional fact++_1.8.2+dfsg-1.dsc
1db4fb7a41815bd65edb53a9af08206d 393548 science optional
fact++_1.8.2+dfsg.orig.tar.xz
39b6aff1dd6c20722e56a80248f2ae1e 8732 science optional
fact++_1.8.2+dfsg-1.debian.tar.xz
4d1510b557b19067527e8f00e6d06069 6933 science optional
fact++_1.8.2+dfsg-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJABAEBCgAqFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAmpzKKkMHGRyQGpvbmVz
LmRrAAoJECx8MUbBoAEhZ7AP/0x/IN/Se4gcPkYlMBrGK+ArF1hkB13g0nQ4PFM7
fYt0Iqg8RPzefs9Dtg+AJgI+GHvG0e7pad1uFNHnu9FnlcEeRFuC/85nHWhUk942
s5WwSxNQ9B5NvqEyqy7qMTVcmeE4fB6KP59CepNs8kdb8Qhy4Ox9KgLnSYlLpukG
mFnr5ywEj50fG5fCMORcHLBRfsNzsKyq/y/2fCYi7YZpCpEpxyiyHO+BBF1Xe17R
P3FGC/oGM0iR2HL/nJlI/P8SqAjdhoi/V0oZHCDHOWNiBC2kzDTV54QvIoMTrKMz
gSEgcUNwXMnvrGcHilaP91QVqs6mcbNEYa5GJf8Ea2RJn7agPMbtrtGF9FcJcaHZ
UdpDacYEP6f2MBHnNgS310Z8//57FPCWrdLXujw4W6J1VtcscK19l1pmSnAcwQfD
1mgTidi3fS43Gpdu57C4MfMDgPDQz6tF2W0hNH4keiwZCU2zw54LlhnvqiHduCiU
RumVY8fmIbmAffbPpeLFc0fti5WejlIAb/zAkrsKqHeRW9LRF+f13Y8MW5649lUm
8KENh4XIdQ74bwxVJ+QIlwJbxdgh54scYyih97Ec2JJSsROkT8hveGleOcoNWBfr
yOyahcAJP8FIZMtcIArfea2SnQB3p/Ktc1cg+zWRKi4X6lKv6JShzPD8Z046X559
QIJT
=5b8B
-----END PGP SIGNATURE-----
pgpUqLdzpbkqk.pgp
Description: PGP signature
--- End Message ---
