Ubuntu

i386 build of acl2 6.3-5 in ubuntu trusty RELEASE

Copy archive test-rebuild-20140127 for Matthias Klose
i386 build of acl2 6.3-5

created on 2014-01-27

Build status

Cancelled build

Started on 2014-01-30
Finished on 2014-01-31 (took 20 hours, 20 minutes, 42.1 seconds)
buildlog (12.4 MiB)

Build details

Source:: acl2 - 6.3-5

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

Series:: Trusty

Architecture:: i386

Pocket:: Release

Component:: universe