Re: Please give back acl2 on armhf

[Philipp Kern]

Hi,

On 03.10.21 15:20, Camm Maguire wrote:
Greetings!  I need another log to triangulate a rare unreproducible
build failure.

Have you tried the link on 
https://buildd.debian.org/status/package.php?p=acl2 already?

Kind regards
Philipp Kern