Ubuntu
acl2 package

arm64 build of acl2 6.3-5 in ubuntu trusty PROPOSED

  1. 6.3-5
  2. arm64 build
created on 2013-10-21

Build status

[MANUALDEPWAIT] Dependency wait on twombly (arm64)

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

Build details

Source:
acl2 - 6.3-5
Archive:
Primary Archive for Ubuntu
Series:
Trusty
Architecture:
arm64
Pocket:
Proposed
Component:
universe