Ubuntu
acl2 package

arm64 build of acl2 6.2-6 in ubuntu trusty RELEASE

6.2-6
arm64 build

created on 2013-10-18

Build status

Dependency wait on magic (arm64)

Missing build dependencies: gcl
Started on 2013-10-18
Finished on 2013-10-18 (took 1 minute, 2.4 seconds)
buildlog (2.1 KiB)

Build details

Source:: acl2 - 6.2-6

Archive:: Primary Archive for Ubuntu

Series:: Trusty

Architecture:: arm64

Pocket:: Release

Component:: universe