Your message dated Mon, 03 Aug 2026 17:52:04 +0000
with message-id <[email protected]>
and subject line Bug#1119407: fixed in eprover 3.5.1+ds-1
has caused the Debian Bug report #1119407,
regarding eprover: please build using the default build flags
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.)
--
1119407: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1119407
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: eprover
Version: 3.2.5+ds-1
User: [email protected]
Usertags: hardening-buildflags
eprover is not currently using the default build flags set by
dpkg-buildflags(1).
The default flags are chosen for multiple reasons including security,
performance, reproducibility, adherence to standards, and error handling.
Please make sure that eprover builds using the default build flags. blhc(1p)
and hardening-check(1) can be used to confirm that the issue is fixed.
In the general case, packages honoring CFLAGS, LDFLAGS, and other
similar environment variables get the default build flags for free
without the need for any work on the maintainer side. In the case of
eprover, the flags are either ignored or overridden.
The most common reasons for this are:
Hand-written Makefiles
----------------------
Some upstream Makefiles either override the values of variables such as
CFLAGS and similar or do not use them at all. See:
https://wiki.debian.org/HardeningWalkthrough#Handwritten_Makefiles
Misconfigured build systems
---------------------------
If the upstream code uses autotools, CMake, or other popular build
systems, it usually requires no further modifications. If might however
be that some variables are hardcoded in some way.
In this CMake snippet, the value of CXXFLAGS is overwritten with "-O2":
set(CMAKE_CXX_FLAGS "-O2")
If the intention is to append to CXXFLAGS, one should use the following
instead:
set(CMAKE_CXX_FLAGS "-O2 ${CMAKE_CXX_FLAGS}")
See #655870 for a similar autotools example.
Very old debhelper usage
------------------------
Packages not using dh(1), or those using a debhelper compatibility level
less than 9, need to manually include /usr/share/dpkg/buildflags.mk in
order for the dpkg-buildflags variables to be set:
https://wiki.debian.org/Hardening#dpkg-buildflags
Flags hardcoded in debian/rules (either voluntarily or not)
-----------------------------------------------------------
Some packages voluntarily hardcode the values of CFLAGS and friends in
debian/rules, ignoring the defaults set by dpkg-buildflags(1).
Others attempt to append to the variables, but end up accidentally
overriding the defaults:
#!/usr/bin/make -f
export CFLAGS += -pipe -fPIC -Wall
%:
dh $@
Debhelper only sets CFLAGS if it is not set yet. In the example above,
when dh is invoked the value of CFLAGS is "-pipe -fPIC -Wall", hence the
hardened defaults are not used. The right way to append to CFLAGS is
using DEB_CFLAGS_MAINT_APPEND instead, as documented in
dpkg-buildflags(1).
For a detailed analysis of this issue, see:
https://people.debian.org/~ema/nocflags_paper.pdf (eprint: hal-05334704)
--- End Message ---
--- Begin Message ---
Source: eprover
Source-Version: 3.5.1+ds-1
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
eprover, 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.
Julien Puydt <[email protected]> (supplier of updated eprover 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: Mon, 03 Aug 2026 19:09:12 +0200
Source: eprover
Binary: eprover eprover-dbgsym
Architecture: source amd64
Version: 3.5.1+ds-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
eprover - Equational theorem prover
Closes: 1119407
Changes:
eprover (3.5.1+ds-1) unstable; urgency=medium
.
* Use dpkg-buildflags (Closes: #1119407).
* Bump Standards-Version to 4.7.4.
* Rewrite d/watch.
* Package new upstream.
Checksums-Sha1:
78f947d4e897750adf0141fb2fa11f8207b537a6 1939 eprover_3.5.1+ds-1.dsc
737f57f143425863f967158608553aa572f16857 1043040 eprover_3.5.1+ds.orig.tar.xz
28153e154b03421d0214b647aea48e08c9e4d5cd 4644 eprover_3.5.1+ds-1.debian.tar.xz
f70ca0950c5f56a80bab0f18f206c3577c2d6dce 11656064
eprover-dbgsym_3.5.1+ds-1_amd64.deb
939b7a047e14196b52df25980301332e1d6f1a04 5914
eprover_3.5.1+ds-1_amd64.buildinfo
076bc172a3fbaae64acfc05da0e04aee692d7b21 1093740 eprover_3.5.1+ds-1_amd64.deb
Checksums-Sha256:
c5144fde719ff5a6932baedb6b171c19c44259504b412f8c465e822475341909 1939
eprover_3.5.1+ds-1.dsc
a11e66f5e57ed102e7d8232769759ee9c485a803daf74b4805a575c8148d4955 1043040
eprover_3.5.1+ds.orig.tar.xz
a7dc7eb90215da97bf7fd784e4ae4047edc8055b0e7206f4b39a4faa66a79526 4644
eprover_3.5.1+ds-1.debian.tar.xz
d47793d95cd2191f1bc28fd3f73b9fb52957f8a2dbefbfc8c25680d729667cc0 11656064
eprover-dbgsym_3.5.1+ds-1_amd64.deb
6d8ee58cc6be105324f2da4532cb302c5cfeafbb59a4af394ada4bb42d97bfd8 5914
eprover_3.5.1+ds-1_amd64.buildinfo
71f58a4e64b3fbc2584153c19d85acf905f9b01b914edcf5be540d92df212f21 1093740
eprover_3.5.1+ds-1_amd64.deb
Files:
f938ac80cb544f966f25f4eae4beb6a9 1939 math optional eprover_3.5.1+ds-1.dsc
8f18d240b3cb063b32707b3cb33ab99b 1043040 math optional
eprover_3.5.1+ds.orig.tar.xz
ed734423e3fafb6cbf117400791cd9f1 4644 math optional
eprover_3.5.1+ds-1.debian.tar.xz
8d1161d95a1f254d2c4f42610e786d62 11656064 debug optional
eprover-dbgsym_3.5.1+ds-1_amd64.deb
b405c154c98c292259fba10e6ef77431 5914 math optional
eprover_3.5.1+ds-1_amd64.buildinfo
cfcd1df81104004435c6d2092489161a 1093740 math optional
eprover_3.5.1+ds-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwzIcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUX3jD/wInKUNpQ4RhcWqpfGlMNf3
/aWzUakZmpKxJjkBTg04pqJn1TluVwIeQ8aPBe0KQIIgNe25QNrfNsQmjdN4q4wy
HpT8Z3QwmqCzDmiEoU0y8JXqHl3GQkAXJ5DnljhMwT9XqVIpYMyraWbpSWp6+T9N
oCRGS/89jqcq5+xbLebd7qSet1/6sHd/WjMOYpRnouyn0mB/wSSkSBCVOZX6Hkg6
E7pqSTV7XCKNcWWoGsF6JspYl9RZX/oKBVW7L/i5d/chEaCo3UA4hBZbtxV2TUw1
vVuliebLbxXBmWAtF4SBxjWdvT0GUzAVuNCQSsKzb7+BbFOSno8YTZv4cyM++QuT
dsPjO4qIV/yiurEtrXlX4JhlGb8oi22XOZ8prLCMLjXvVJXzhfHzCUM1D+coUw3s
PMILJmIos3i3ZHdVnaEqXlEZFGBQCWzGqCjD0k6af2F6WcmDXB3GzwMVUFoZAJzL
kiQ7fhR79q7eEkOPUY5tfLaEuiky5VwIp+nwocNkAaYF3vgd48f1DEfYFzovZ3Cn
PBHlfsbeVXnr73BlJ302KztzDM9LwculUipZ7MbGRbBx1Pp5DEjqTcFuIHiEWOG+
r2TsWNWyZUiRUb4Ev16Odq78u8HXk05z9V8/cyKXJt7JzT/xhotn4fNUeE5f/F3E
lvHVK3BSftpZ4I1MLYCiww==
=QoqU
-----END PGP SIGNATURE-----
pgp4yoeICEPnC.pgp
Description: PGP signature
--- End Message ---
