acl2 (8.4dfsg-2) unstable; urgency=medium * append make.log to build output -- Camm Maguire <email address hidden> Fri, 29 Oct 2021 14:06:33 +0000