Ubuntu

ppc64el build of acl2 7.0-1 in ubuntu vivid RELEASE

  1. Copy archive test-rebuild-20150202 for Matthias Klose
  2. ppc64el build of acl2 7.0-1
created

Build status

[FAILEDTOBUILD] Failed to build on fisher03 (powerpc)

  • Started
  • Finished (took 3 hours, 25 minutes, 52.7 seconds)
  • buildlog (12.4 MiB)

Build details

Source:
acl2 - 7.0-1
Archive:
Copy archive test-rebuild-20150202 for Matthias Klose
Series:
Vivid
Architecture:
ppc64el
Pocket:
Release
Component:
universe