Bug#944651: gcl: FTBFS on ppc64el

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

Bug#944651: gcl: FTBFS on ppc64el

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