Ubuntu
acl2 package

armel build of acl2 4.1-5 in ubuntu natty RELEASE

  1. 4.1-5
  2. armel build
created

Build status

[FAILEDTOBUILD] Failed to build on araceae (arm)

  • Started
  • Finished (took 16 minutes, 28.4 seconds)
  • buildlog (22.9 KiB)

Build details

Source:
acl2 - 4.1-5
Archive:
Primary Archive for Ubuntu
Series:
Natty
Architecture:
armel
Pocket:
Release
Component:
universe