Your message dated Wed, 06 Feb 2019 04:07:56 +0000
with message-id <e1greva-0001ee...@fasolo.debian.org>
and subject line Bug#919477: fixed in gcl 2.6.12-83
has caused the Debian Bug report #919477,
regarding acl2 ftbfs on armel, armhf, arm64 and ppc64el
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.)
--
919477: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919477
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:acl2
Version: 8.0dfsg-1
Severity: serious
Tags: sid buster
acl2 ftbfs on armel, armhf, arm64 and ppc64el.
https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=armel&ver=8.0dfsg-1&stamp=1515868416&raw=0
and checked that it ftbfs on plummer (ppc64el).
--- End Message ---
--- Begin Message ---
Source: gcl
Source-Version: 2.6.12-83
We believe that the bug you reported is fixed in the latest version of
gcl, 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 919...@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 gcl 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: Tue, 05 Feb 2019 21:54:42 +0000
Source: gcl
Binary: gcl gcl-dbgsym gcl-doc
Architecture: source amd64 all
Version: 2.6.12-83
Distribution: unstable
Urgency: high
Maintainer: Camm Maguire <c...@debian.org>
Changed-By: Camm Maguire <c...@debian.org>
Description:
gcl - GNU Common Lisp compiler
gcl-doc - Documentation for GNU Common Lisp
Closes: 919477
Changes:
gcl (2.6.12-83) unstable; urgency=high
.
* Version_2_6_13pre79
* Fix acl2 arm builds (Closes: #919477).
Checksums-Sha1:
dbdacd75798bcc0369c3138133df1487e510ead0 1832 gcl_2.6.12-83.dsc
eb2fa6557822e35c888c921022b6a8dcfb76a9a5 416484 gcl_2.6.12-83.debian.tar.xz
d5a3e52dbc5aee228bf04556f5c3cce572867f60 18096464
gcl-dbgsym_2.6.12-83_amd64.deb
a531bc917d22827af7c1753f61964cc8c44a0dfa 1129712 gcl-doc_2.6.12-83_all.deb
efe2a3ab2cff554fe38d45e6218f50cf6794369a 7580 gcl_2.6.12-83_amd64.buildinfo
ce89faa26411ccb669c46edf4c1e4eae272f3642 30384172 gcl_2.6.12-83_amd64.deb
Checksums-Sha256:
deb04f925297de0ee81d3281a779eb66077ab95a6e951eb10c214ad31531396f 1832
gcl_2.6.12-83.dsc
6474ff06cb7e467afbd36ea243f74b75ac7fe0b68fe167ab5fd5f62a4e8667a3 416484
gcl_2.6.12-83.debian.tar.xz
c0bcb790b0c2dcf2a8973199eeea305f4d9b02e01f762837702e20b16f1ba9ad 18096464
gcl-dbgsym_2.6.12-83_amd64.deb
63df6b4cf8e1242d5d2152209a58487e85fd1b1568f147591f395357215d03d8 1129712
gcl-doc_2.6.12-83_all.deb
d2d3d5246e1212219259d71d0eaea83cddeeef0160d5b46d88c066fe3762622b 7580
gcl_2.6.12-83_amd64.buildinfo
914e5d9698a9c7a4ce21c1604116a2e4e6c338b59d5f32a6a0fc430184d8155a 30384172
gcl_2.6.12-83_amd64.deb
Files:
4a235a1c141c3c2dcf6a3ff3bb12ea9e 1832 lisp optional gcl_2.6.12-83.dsc
a55bb38b9c7a6b8b428f8324d0c850b3 416484 lisp optional
gcl_2.6.12-83.debian.tar.xz
53ccb7c97bd7126b499314ea476225b6 18096464 debug optional
gcl-dbgsym_2.6.12-83_amd64.deb
60090d1065f5fe490e98e5ae22696e25 1129712 doc optional gcl-doc_2.6.12-83_all.deb
4db462d80561d669103da5197fc4712a 7580 lisp optional
gcl_2.6.12-83_amd64.buildinfo
46721f69c2c3278ca1d6e410afa69569 30384172 lisp optional gcl_2.6.12-83_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAlxaSZoACgkQuEXOUQ+b
cU3hpA/+JwR2rnUn6PvaDp/xvSsBnMw7f/XyA+PuSYTAvzg44jgzke48AYUzO/YM
M0FngvljF0Iy1WepjJXQ2rbvhRoNBDacuYxFCHUsIznZgec5uwtn640Ij8Owhm7k
ASLCRz7+8Ty+rXQfCCEE67Q1Jh8CSP17EgD7IRhMAiTvBvCI4ttRdZP1RH1wjHaK
IRBaRsnUSMyf8G2kjqkNdvwf1XVk/kOfv5BgyK6jj3JdaiFUwGi5U8r0jTMvSdEU
SnlCLz0h9Rr2otbiwrD4tuJZ2WEG88YeP+vufQT1bt8k/XUp2ok4rlOxbRGQPXr4
qyi2q8H4hoscuD6lbap6m6s05JmNfj3vcO+InDANQw7HcsWv5vdHUmQM7YsGLiXv
oEDnRHOADd1GjM6PDorKzGCEr0TFp8asS6OWRQzSvcKzBhTgMPNWZr5tGsGR6ls0
uqyHG8Z8Xyaq3c3Xqn+bPH9d7tfqlYRC3IU/QgJEeqUpKo3rd3VDnnqyahU0Spbs
FOKh+uRWLR5d556uyZTup6jaDaBxaOgHXqHkNLtZd1wb41WImTKoPa/bxhyVAy2t
GtFScjRQO+2s2VuudxVw4H9zbhTPrE+jrHuhWzjq41ZQc3oFFifEEULBQ8nsqHHo
igB1JBSJOsf1SE1XVFkXjl9S1FjQ+Ehoq3UrBDSxXSaa34+fIfo=
=XYub
-----END PGP SIGNATURE-----
--- End Message ---
