Bug#944651: gcl: FTBFS on ppc64el

[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