Ubuntu
acl2 package

powerpc build of acl2 6.2-4 in ubuntu saucy PROPOSED

  1. 6.2-4
  2. powerpc build
created

Build status

[FAILEDTOBUILD] Failed to build on ross (powerpc)

  • Started
  • Finished (took 21 hours, 15 minutes, 32.9 seconds)
  • buildlog (262.4 KiB)

Build details

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