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 <d...@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 c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah
