Ubuntu
acl2 package

armhf build of acl2 6.2-5 in ubuntu saucy PROPOSED

  1. 6.2-5
  2. armhf build
created

Build status

[FAILEDTOBUILD] Failed to build on centaur (panda ES)

  • Started
  • Finished (took 10 hours, 56 minutes, 51.2 seconds)
  • buildlog (246.4 KiB)

Build details

Source:
acl2 - 6.2-5
Archive:
Primary Archive for Ubuntu
Series:
Saucy
Architecture:
armhf
Pocket:
Proposed
Component:
universe