Ubuntu

armel build of agda 2.2.10-1~ubuntu1 in ubuntu natty RELEASE

  1. Copy archive test-rebuild-20110329-arm for Arm archive rebuild
  2. armel build of agda 2.2.10-1~ubuntu1
created

Build status

[FAILEDTOBUILD] Failed to build on cushaw (arm)

  • Started
  • Finished (took 6 minutes, 29.1 seconds)
  • buildlog (8.7 KiB)

Build details

Source:
agda - 2.2.10-1~ubuntu1
Archive:
Copy archive test-rebuild-20110329-arm for Arm archive rebuild
Series:
Natty
Architecture:
armel
Pocket:
Release
Component:
universe