Bug#944651: gcl: FTBFS on ppc64el

2019-11-13 Thread Camm Maguire 
Greetings, and thanks!  I'm on it...

Take care,

Ivo De Decker  writes:

> package: src:gcl
> version: 2.6.12-88
> severity: serious
> tags: ftbfs
>
> Hi,
>
> The latest upload of gcl to unstable fails on ppc64el:
>
> https://buildd.debian.org/status/package.php?p=gcl
>
> I suspect the FTBFS of acl2 is related.
>
> Cheers,
>
> Ivo
>
>
>

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

Bug#944651: gcl: FTBFS on ppc64el

2019-11-13 Thread Ivo De Decker 
package: src:gcl
version: 2.6.12-88
severity: serious
tags: ftbfs

Hi,

The latest upload of gcl to unstable fails on ppc64el:

https://buildd.debian.org/status/package.php?p=gcl

I suspect the FTBFS of acl2 is related.

Cheers,

Ivo