Ubuntu

amd64 build of acl2 7.2dfsg-2 in ubuntu zesty RELEASE

Copy archive test-rebuild-20170322.1-gcc7 for Matthias Klose
amd64 build of acl2 7.2dfsg-2

created on 2017-03-22

Build status

Failed to build on lgw01-06

Started on 2017-03-28
Finished on 2017-03-28 (took 27 minutes, 19.9 seconds)
buildlog (37.8 KiB)

Build details

Source:: acl2 - 7.2dfsg-2

Archive:: Copy archive test-rebuild-20170322.1-gcc7 for Matthias Klose

Series:: Zesty

Architecture:: amd64

Pocket:: Release

Component:: universe