Ubuntu
acl2 package

amd64 build of acl2 7.1dfsg-2 in ubuntu yakkety PROPOSED

7.1dfsg-2
amd64 build

created on 2016-04-22

Build status

Failed to build on lgw01-12

Started on 2016-04-22
Finished on 2016-04-22 (took 2 hours, 56 minutes, 29.4 seconds)
buildlog (9.2 MiB)

Build details

Source:: acl2 - 7.1dfsg-2

Archive:: Primary Archive for Ubuntu

Series:: Yakkety

Architecture:: amd64

Pocket:: Proposed

Component:: universe