Your message dated Wed, 14 May 2025 14:39:48 +0000
with message-id <e1ufdgu-00fgh5...@fasolo.debian.org>
and subject line Bug#1096276: fixed in acl2 8.6+dfsg-3
has caused the Debian Bug report #1096276,
regarding acl2: ftbfs with GCC-15
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 ow...@bugs.debian.org
immediately.)
--
1096276: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1096276
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:acl2
Version: 8.5dfsg-6
Severity: important
Tags: sid forky
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-15
[This bug is NOT targeted to the upcoming trixie release]
Please keep this issue open in the bug tracker for the package it
was filed for. If a fix in another package is required, please
file a bug for the other package (or clone), and add a block in this
package. Please keep the issue open until the package can be built in
a follow-up test rebuild.
The package fails to build in a test rebuild on at least amd64 with
gcc-15/g++-15, but succeeds to build with gcc-14/g++-14. The
severity of this report will be raised before the forky release.
The full build log can be found at:
http://qa-logs.debian.net/2025/02/16/amd64exp/acl2_8.5dfsg-6_unstable_gccexp.log.gz
The last lines of the build log are at the end of this report.
To build with GCC 15, either set CC=gcc-15 CXX=g++-15 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
apt-get -t=experimental install g++
GCC 15 now defaults to the C23/C++23 standards, exposing many FTBFS.
Other Common build failures are new warnings resulting in build failures
with -Werror turned on, or new/dropped symbols in Debian symbols files.
For other C/C++ related build failures see the porting guide at
http://gcc.gnu.org/gcc-15/porting_to.html
[...]
essential: true
-
package: base-files
version: 13.6
architecture: amd64
essential: true
-
package: autotools-dev
version: 20220109.1
architecture: all
-
package: autopoint
version: 0.23.1-1
architecture: all
-
package: automake
version: 1:1.17-3
architecture: all
-
package: autoconf
version: 2.72-3
architecture: all
-
package: at-spi2-common
version: 2.55.2-1
architecture: all
-
package: adwaita-icon-theme
version: 48~beta-3
architecture: all
background-packages: 76374
foreground-packages: 1
total-packages: 76375
broken-packages: 0
+------------------------------------------------------------------------------+
| Cleanup Sun, 16 Feb 2025 01:16:04 +0000 |
+------------------------------------------------------------------------------+
Purging /build/reproducible-path
Not cleaning session: cloned chroot in use
E: Package build dependencies not satisfied; skipping
+------------------------------------------------------------------------------+
| Summary Sun, 16 Feb 2025 01:16:06 +0000 |
+------------------------------------------------------------------------------+
Build Architecture: amd64
Build Type: binary
Build-Space: n/a
Build-Time: 0
Distribution: unstable
Fail-Stage: install-deps
Host Architecture: amd64
Install-Time: 0
Job: acl2_8.5dfsg-6
Machine Architecture: amd64
Package: acl2
Package-Time: 0
Source-Version: 8.5dfsg-6
Space: n/a
Status: given-back
Version: 8.5dfsg-6
--------------------------------------------------------------------------------
Finished at 2025-02-16T01:15:13Z
Build needed 00:00:00, no disk space
E: Package build dependencies not satisfied; skipping
DC-Status: Failed 53.42868731s
DC-Time-Estimation: 53.42868731 versus expected 38708 (r/m: 723.4797120957004 ;
m: 53.42868731)
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 8.6+dfsg-3
Done: Camm Maguire <c...@debian.org>
We believe that the bug you reported is fixed in the latest version of
acl2, 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 1096...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Camm Maguire <c...@debian.org> (supplier of updated acl2 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 14 May 2025 08:36:42 -0400
Source: acl2
Architecture: source
Version: 8.6+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Closes: 436372 1061384 1083157 1096276
Changes:
acl2 (8.6+dfsg-3) unstable; urgency=medium
.
* build-dep latest gcl
* lintian cleanups
* Bug fix: "Includes non-free RFC again", thanks to Bastian Germann
(Closes: #1083157).
* Bug fix: "add support for loongarch64", thanks to zhangdandan (Closes:
#1061384).
* Bug fix: "ftbfs with GCC-15", thanks to Matthias Klose (Closes:
#1096276).
* Bug fix: "not handling nostrip build option (policy 10.1) sid/i386",
thanks to Julien Danjou (Closes: #436372). nostrip obsolete in favor
of dh_strip/dbgsym, no longer mentioned in policy.
Checksums-Sha1:
acff64c8bf4865164a893976dd4d989a98f7d702 2288 acl2_8.6+dfsg-3.dsc
cd8a1f21303b25b607d92dc70721a2bd26cc48df 711200 acl2_8.6+dfsg-3.debian.tar.xz
00b98809fb421bf18fb870b78fac94ce29c07b1a 7753 acl2_8.6+dfsg-3_source.buildinfo
Checksums-Sha256:
03d2d39337b16ef4e42d11ff10e86fe529a49389f929dbbe81c2c8db4a3444aa 2288
acl2_8.6+dfsg-3.dsc
39613319694eb435d9933bd8fa160467bbcd0c8d8e78b8dfd421284d7b529772 711200
acl2_8.6+dfsg-3.debian.tar.xz
cc4c946fc3833481cf9d54724677c56531d17284f3862c01189e960fbcc1e94c 7753
acl2_8.6+dfsg-3_source.buildinfo
Files:
955e72fd7bdba67f5a75a405a4e6adb6 2288 math optional acl2_8.6+dfsg-3.dsc
07db5025e350c50aabd886f7e9c49235 711200 math optional
acl2_8.6+dfsg-3.debian.tar.xz
f3b19cac623f85d89926bc930196f13d 7753 math optional
acl2_8.6+dfsg-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmgknykACgkQuEXOUQ+b
cU206BAAm561lL80pEbnchLYMEgo9vg/LakPQy8EWRZzFpjkf+JUL/Grfj92B8GW
zTSavL9M9wQqIeK5wm/Ox6IZxJxmMmsraZE9kbGT8yIs+WvZUZmyZAiCpLlNqFmz
XFxsrowCYfQF+gpnI2wo781/EkFkcl7pOTgnXzed6sjutjRyJDQbb42mVsYAGtND
LLM4dCs9aYq4fvBtlNIbcgl+se5pUTQpY8m0cgcdEC5Odslae9VV8GVqK4CEU/SC
kptCUlroMRIF5y5W2o5p1lQFclQG843Uzma1+rDhSqLqOa0xghzsxFtrTZ0oSym/
v43/NlntqrojGrkx59IuDvf3oFB3j3Uv6u/idqud2lFZ3GZTU9ywAuZk28lEHJ1g
Y4Xrq2ihueFm1LIji8VILafaBpF1tN9JulFRQNob6qhmZZfOgq59NCvs5tvbND7x
eeFHksb+jisiZ2IzOMGgAgiBPrbTan8yGSuuLosZlJZh/Up78uwD8PI7zC2UE6O4
rTD2ARhiA0QB+zzqJTbycuM0iEb7rVGIszbO2i1tIJISFaRmCn7yDUkjvRuqYehC
Zb0Cm/CxjHxhqCnRW7lCVKD120vsC3iCQIi18wrw/MR2nmPRqMUCLl7qOe4ZKgDc
lWJMdi6Lnh3D7y+mjFGqdvX3aJ/J5OaMeKthxazBO3pd09nbflg=
=WqAY
-----END PGP SIGNATURE-----
pgp0PyGz2XzKD.pgp
Description: PGP signature
--- End Message ---
