Ubuntu

amd64 build of acl2 7.1-1 in ubuntu xenial RELEASE

Copy archive test-rebuild-20160401 for Matthias Klose
amd64 build of acl2 7.1-1

created on 2016-04-01

Build status

Failed to build on lgw01-22

Started on 2016-04-16
Finished on 2016-04-16 (took 2 hours, 26 minutes, 59.1 seconds)
buildlog (10.2 MiB)

Build details

Source:: acl2 - 7.1-1

Archive:: Copy archive test-rebuild-20160401 for Matthias Klose

Series:: Xenial

Architecture:: amd64

Pocket:: Release

Component:: universe