Ubuntu

ppc64el build of acl2 6.3-5 in ubuntu trusty RELEASE

Copy archive test-rebuild-20161216 for Matthias Klose
ppc64el build of acl2 6.3-5

created on 2016-12-16

Build status

Dependency wait on bos01-ppc64el-011

Missing build dependencies: gcl (>= 2.6.9-12)
Started on 2016-12-20
Finished on 2016-12-20 (took 1 minute, 23.0 seconds)
buildlog (7.9 KiB)

Build details

Source:: acl2 - 6.3-5

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

Series:: Trusty

Architecture:: ppc64el

Pocket:: Release

Component:: universe