Debian Bug report logs - #919477
acl2 ftbfs on armel, armhf, arm64 and ppc64el

version graph

Package: src:gcl; Maintainer for src:gcl is Camm Maguire <camm@debian.org>;

Affects: src:acl2

Reported by: Matthias Klose <doko@debian.org>

Date: Wed, 16 Jan 2019 12:45:02 UTC

Severity: normal

Fixed in version gcl/2.6.12-83

Done: Camm Maguire <camm@debian.org>

Bug is archived. No further changes may be made.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@debian.org>:
Bug#919477; Package src:acl2. (Wed, 16 Jan 2019 12:45:13 GMT) (full text, mbox, link).

Acknowledgement sent to Matthias Klose <doko@debian.org>:
New Bug report received and forwarded. Copy sent to Camm Maguire <camm@debian.org>. (Wed, 16 Jan 2019 12:45:13 GMT) (full text, mbox, link).

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Matthias Klose <doko@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: acl2 ftbfs on armel, armhf, arm64 and ppc64el
Date: Wed, 16 Jan 2019 13:40:35 +0100
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).

Information forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@debian.org>:
Bug#919477; Package src:acl2. (Fri, 18 Jan 2019 20:03:06 GMT) (full text, mbox, link).

Acknowledgement sent to Camm Maguire <camm@maguirefamily.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@debian.org>. (Fri, 18 Jan 2019 20:03:06 GMT) (full text, mbox, link).

Message #10 received at 919477@bugs.debian.org (full text, mbox, reply):

From: Camm Maguire <camm@maguirefamily.org>
To: Matthias Klose <doko@debian.org>,camm@maguirefamily.org
Cc: 919477@bugs.debian.org,919477-submitter@bugs.debian.org
Subject: Re: Bug#919477: acl2 ftbfs on armel, armhf, arm64 and ppc64el
Date: Fri, 18 Jan 2019 14:51:14 -0500
Greetings, and thanks!  Identified a fix for ppc64el, and see the issue
with armel, but can see none on armhf or arm64.  Am I missing something?

Take care,

Matthias Klose <doko@debian.org> writes:

> 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).
>
>
>

-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

Message sent on to Matthias Klose <doko@debian.org>:
Bug#919477. (Fri, 18 Jan 2019 20:03:10 GMT) (full text, mbox, link).

Information forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@debian.org>:
Bug#919477; Package src:acl2. (Fri, 18 Jan 2019 20:18:06 GMT) (full text, mbox, link).

Acknowledgement sent to Matthias Klose <doko@debian.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@debian.org>. (Fri, 18 Jan 2019 20:18:06 GMT) (full text, mbox, link).

Message #18 received at 919477@bugs.debian.org (full text, mbox, reply):

From: Matthias Klose <doko@debian.org>
To: Camm Maguire <camm@maguirefamily.org>
Cc: 919477@bugs.debian.org, 919477-submitter@bugs.debian.org
Subject: Re: Bug#919477: acl2 ftbfs on armel, armhf, arm64 and ppc64el
Date: Fri, 18 Jan 2019 21:15:39 +0100
On 18.01.19 20:51, Camm Maguire wrote:
> Greetings, and thanks!  Identified a fix for ppc64el, and see the issue
> with armel, but can see none on armhf or arm64.  Am I missing something?

sorry, I saw armhf and arm64 on Ubuntu, but apparently these were just transient
build failures.

Message sent on to Matthias Klose <doko@debian.org>:
Bug#919477. (Fri, 18 Jan 2019 20:18:08 GMT) (full text, mbox, link).

Reply sent to Camm Maguire <camm@debian.org>:
You have taken responsibility. (Wed, 06 Feb 2019 04:09:07 GMT) (full text, mbox, link).

Notification sent to Matthias Klose <doko@debian.org>:
Bug acknowledged by developer. (Wed, 06 Feb 2019 04:09:07 GMT) (full text, mbox, link).

Message #26 received at 919477-close@bugs.debian.org (full text, mbox, reply):

From: Camm Maguire <camm@debian.org>
To: 919477-close@bugs.debian.org
Subject: Bug#919477: fixed in gcl 2.6.12-83
Date: Wed, 06 Feb 2019 04:07:56 +0000
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 919477@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Camm Maguire <camm@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 ftpmaster@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 <camm@debian.org>
Changed-By: Camm Maguire <camm@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-----

Information forwarded to debian-bugs-dist@lists.debian.org, Camm Maguire <camm@debian.org>:
Bug#919477; Package src:acl2. (Mon, 11 Feb 2019 02:30:03 GMT) (full text, mbox, link).

Acknowledgement sent to Camm Maguire <camm@maguirefamily.org>:
Extra info received and forwarded to list. Copy sent to Camm Maguire <camm@debian.org>. (Mon, 11 Feb 2019 02:30:03 GMT) (full text, mbox, link).

Message #31 received at 919477@bugs.debian.org (full text, mbox, reply):

From: Camm Maguire <camm@maguirefamily.org>
To: 919477@bugs.debian.org,919477-submitter@bugs.debian.org
Subject: Any reason why acl2 will not propagate now?
Date: Sun, 10 Feb 2019 21:27:09 -0500
???

Take care,
-- 
Camm Maguire			     		    camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

Message sent on to Matthias Klose <doko@debian.org>:
Bug#919477. (Mon, 11 Feb 2019 02:30:07 GMT) (full text, mbox, link).

Severity set to 'normal' from 'serious' Request was from Camm Maguire <camm@maguirefamily.org> to control@bugs.debian.org. (Tue, 12 Feb 2019 16:48:05 GMT) (full text, mbox, link).

Removed tag(s) buster and sid. Request was from Camm Maguire <camm@maguirefamily.org> to control@bugs.debian.org. (Tue, 12 Feb 2019 16:48:06 GMT) (full text, mbox, link).

Bug reassigned from package 'src:acl2' to 'src:gcl'. Request was from Andreas Beckmann <anbe@debian.org> to control@bugs.debian.org. (Fri, 19 Apr 2019 20:27:07 GMT) (full text, mbox, link).

No longer marked as found in versions acl2/8.0dfsg-1. Request was from Andreas Beckmann <anbe@debian.org> to control@bugs.debian.org. (Fri, 19 Apr 2019 20:27:08 GMT) (full text, mbox, link).

No longer marked as fixed in versions gcl/2.6.12-83. Request was from Andreas Beckmann <anbe@debian.org> to control@bugs.debian.org. (Fri, 19 Apr 2019 20:27:08 GMT) (full text, mbox, link).

Marked as fixed in versions gcl/2.6.12-83. Request was from Andreas Beckmann <anbe@debian.org> to control@bugs.debian.org. (Fri, 19 Apr 2019 20:27:09 GMT) (full text, mbox, link).

Added indication that 919477 affects src:acl2 Request was from Andreas Beckmann <anbe@debian.org> to control@bugs.debian.org. (Fri, 19 Apr 2019 20:27:09 GMT) (full text, mbox, link).

Bug archived. Request was from Debbugs Internal Request <owner@bugs.debian.org> to internal_control@bugs.debian.org. (Sat, 18 May 2019 07:26:58 GMT) (full text, mbox, link).

Send a report that this bug log contains spam.

Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Fri Jun 13 10:03:35 2025; Machine Name: buxtehude

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU General Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.