Ubuntu

i386 build of acl2 7.2dfsg-2 in ubuntu artful RELEASE

Copy archive test-rebuild-20170706 for Matthias Klose
i386 build of acl2 7.2dfsg-2

created on 2017-07-06

Build status

Failed to build on lcy01-15

Started on 2017-07-08
Finished on 2017-07-08 (took 15 minutes, 37.0 seconds)
buildlog (35.8 KiB)

Build details

Source:: acl2 - 7.2dfsg-2

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

Series:: Artful

Architecture:: i386

Pocket:: Release

Component:: universe