ppc64el build of acl2 6.3-5 in ubuntu trusty RELEASE

created on 2014-02-17

Build status

[MANUALDEPWAIT] Dependency wait on denneed03 (powerpc)

  • Missing build dependencies: gcl
  • Started on 2014-04-16
  • Finished on 2014-04-16 (took 1 minute, 43.7 seconds)
  • buildlog (6.2 KiB)

Build details

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