Your message dated Sat, 16 May 2026 22:49:46 +0000
with message-id <[email protected]>
and subject line Bug#1135720: fixed in gcl27 2.7.1-21
has caused the Debian Bug report #1135720,
regarding acl2: FTBFS on loong64: Killed after 3 days of "Tick"
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.)
--
1135720: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1135720
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: acl2
Version: 8.6+dfsg-3
Severity: serious
Tags: ftbfs
Justification: fails to build from source (but built successfully in the past)
X-Debbugs-Cc: [email protected], [email protected]
User: [email protected]
Usertags: loong64
Dear maintainer,
the last build of acl2 on loong64 was killed as it was only producing
"Tick" ouputs after roughly 3 days of building. See
https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=loong64&ver=8.6%2Bdfsg-3%2Bb1&stamp=1777437047&raw=0
for details.
Cheers
--
Sebastian Ramacher
--- End Message ---
--- Begin Message ---
Source: gcl27
Source-Version: 2.7.1-21
Done: Camm Maguire <[email protected]>
We believe that the bug you reported is fixed in the latest version of
gcl27, 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.
Camm Maguire <[email protected]> (supplier of updated gcl27 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: SHA256
Format: 1.8
Date: Sat, 16 May 2026 08:55:17 -0400
Source: gcl27
Architecture: source
Version: 2.7.1-21
Distribution: unstable
Urgency: high
Maintainer: Camm Maguire <[email protected]>
Changed-By: Camm Maguire <[email protected]>
Closes: 1135720
Changes:
gcl27 (2.7.1-21) unstable; urgency=high
.
* Version_2_7_2pre23
* Bug fix: "FTBFS on loong64: Killed after 3 days of "Tick"",
thanks to Sebastian Ramacher (Closes: #1135720).
Checksums-Sha1:
79d1008fb8c7cbbb4bf90322aeb72f548c45d2fa 2350 gcl27_2.7.1-21.dsc
26e0fb889d5b487c1a656c166dbeab49f0efc746 1625740 gcl27_2.7.1-21.debian.tar.xz
d2d18c64023f96ce12334cde265e3366be182274 9815 gcl27_2.7.1-21_source.buildinfo
Checksums-Sha256:
10aee02d3464c1936bf29e4c479c0278570ad98e1431a2c9a92df2fbee5face8 2350
gcl27_2.7.1-21.dsc
d0445513c889bdcfcfff76d0732cb74a2b4c76997a7dc4783515667b2caa20e2 1625740
gcl27_2.7.1-21.debian.tar.xz
b51cb5798b741f4ea3b4a49a559904b3aaadfdd74badb20c6f6e8618f5070412 9815
gcl27_2.7.1-21_source.buildinfo
Files:
67bd5544c26482c7bb1ad68fb377b13b 2350 lisp optional gcl27_2.7.1-21.dsc
96fe7d6c6890ebbd7790ccdf42ac9c64 1625740 lisp optional
gcl27_2.7.1-21.debian.tar.xz
4cff32cba6c3e4c960cb964a781f6f93 9815 lisp optional
gcl27_2.7.1-21_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmoIuI0ACgkQuEXOUQ+b
cU3d3A/8CvWz1jUxtv5Xk7est43MQvi0pIeO/cY83XYB5qCmvqbT0JAWZRDdji36
EHSKDs6AIAM37zwkWXtucGCGh7rd2o5axrid+SOOlaMABMx3JKV0PMJcIMcMJRWu
eWNDuVsUbqN0Qw+jvBMcBSWjDBO3GRTqq1HIFtivY183Qa2FY159mFM5gfwulABN
V1v9LW5uQbv3istuDEgCqrozh/p3yFNMFhpRVkIy0oHgdyXdMNHlmchEItMFApMi
kJBm/jkfS7HxeZPPd6pNRrLzmvTlqvOCBIFQs1QPUFo02NCDW7wJhrVfWN5Rrk0I
/xpHYPWTs1N2uVf4O2NoWqt8/dMCwFgkYZWZl0wqOo4pk1griNjHk2n7720VgnJn
QJ9ZFV1kp4nYnpRvX6fK/VIQ4R6/zuaA/qqVW8ODIqvmFdJPLFseFaFlCee83XAz
zoWJzKUZDnHdEN/CZVBSubbEGsRoN8JHrGvWZSe1AKM/DsFOMJdA3m6VCwFZ2MiG
fX0VwDeykjzCIgiDcyC+wueCHL8rCTBEYT7zfK55PsPc37w4xDwNiAReyrWMDsHp
iuf6jiXCDJxzt2bw+iNAiz2jr6O7esJxXuVSTsW+NjcIodqY11IBeQiCz8G7XPql
Cp7vVPyrYhFPKasiowUEx0jBf+ph10vp3IGi/y4Rtw5PEd6UsjI=
=67AW
-----END PGP SIGNATURE-----
pgphlJqvz8KaZ.pgp
Description: PGP signature
--- End Message ---
