Bug#919477: acl2 ftbfs on armel, armhf, arm64 and ppc64el

2019-01-18 Thread Matthias Klose 
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.

Bug#919477: acl2 ftbfs on armel, armhf, arm64 and ppc64el

2019-01-18 Thread Camm Maguire 
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  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=armel=8.0dfsg-1=1515868416=0
>
> and checked that it ftbfs on plummer (ppc64el).
>
>
>

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

Bug#919477: acl2 ftbfs on armel, armhf, arm64 and ppc64el

2019-01-16 Thread Matthias Klose 
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=armel=8.0dfsg-1=1515868416=0

and checked that it ftbfs on plummer (ppc64el).