Ubuntu
acl2 package

amd64 build of acl2 7.2dfsg-1 in ubuntu yakkety PROPOSED

7.2dfsg-1
amd64 build

created on 2016-04-26

Build status

Failed to build on lgw01-57

Started on 2016-04-28
Finished on 2016-04-28 (took 4 hours, 4 minutes, 50.2 seconds)
buildlog (292.9 KiB)

Build details

Source:: acl2 - 7.2dfsg-1

Archive:: Primary Archive for Ubuntu

Series:: Yakkety

Architecture:: amd64

Pocket:: Proposed

Component:: universe