Ubuntu

i386 build of acl2 6.3-5 in ubuntu trusty RELEASE

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

created on 2014-03-07

Build status

Cancelled build

Started on 2014-03-18
Finished on 2014-03-19 (took 19 hours, 7 minutes, 27.8 seconds)
buildlog (12.6 MiB)

Build details

Source:: acl2 - 6.3-5

Archive:: Copy archive test-rebuild-20140307-4.9 for Matthias Klose

Series:: Trusty

Architecture:: i386

Pocket:: Release

Component:: universe