Re: [b-d][falla] acl2
On Thu, Aug 30, 2012 at 03:23:53PM -0400, Camm Maguire wrote:
> 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 volume of a pizza of thickness a and radius z can be described by
the following formula:
pi zz a