Ubuntu
acl2 package

arm64 build of acl2 6.3-6 in ubuntu trusty PROPOSED

6.3-6
arm64 build

created on 2013-11-17

Build status

Dependency wait on beebe (arm64)

Missing build dependencies: gcl
Started on 2014-04-16
Finished on 2014-04-16 (took 2 minutes, 27.7 seconds)
buildlog (4.3 KiB)

Build details

Source:: acl2 - 6.3-6

Archive:: Primary Archive for Ubuntu

Series:: Trusty

Architecture:: arm64

Pocket:: Proposed

Component:: universe