Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
i386 build of acl2 6.3-5 in ubuntu trusty RELEASE
Copy archive test-rebuild-20161216 for Matthias Klose
i386 build of acl2 6.3-5
created
on 2016-12-16
Build status
Cancelled build
on
lcy01-10
Started
on 2016-12-21
Finished
on 2016-12-31
(took 9 days, 2 hours, 52 minutes, 45.0 seconds)
buildlog
(12.4 MiB)
Build details
Source:
acl2 - 6.3-5
Archive:
Copy archive test-rebuild-20161216 for Matthias Klose
Series:
Trusty
Architecture:
i386
Pocket:
Release
Component:
universe