Ubuntu

arm64 build of acl2 7.1-1 in ubuntu xenial RELEASE

Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose
arm64 build of acl2 7.1-1

created on 2015-12-18

Build status

Failed to build on bos01-arm64-014

Started on 2016-01-11
Finished on 2016-01-11 (took 2 hours, 28 minutes, 34.6 seconds)
buildlog (3.4 MiB)

Build details

Source:: acl2 - 7.1-1

Archive:: Copy archive test-rebuild-20151218.1-gcc6 for Matthias Klose

Series:: Xenial

Architecture:: arm64

Pocket:: Release

Component:: universe