Re: [b-d][falla] acl2
Stephen Gran <firstname.lastname@example.org> writes:
> Why not add logging to the Makefile, or cat debian/mini-proveall.out or
> something? This doesn't look like a dead end to me.
Thanks so much for your suggestion! Can uploads instruct all
autobuilders but for a single arch to ignore the package? The build is
Camm Maguire email@example.com
"The earth is but one country, and mankind its citizens." -- Baha'u'llah