armhf build of agda 2.4.2.2-4 in ubuntu wily PROPOSED

created on 2015-08-04

Build status

[FAILEDTOBUILD] Failed to build on kishi13 (highbank)

  • Started on 2015-08-06
  • Finished on 2015-08-06 (took 1 hour, 35 minutes, 18.4 seconds)
  • buildlog (21.4 KiB)

Build details

Source:
agda - 2.4.2.2-4
Archive:
Primary Archive for Ubuntu
Series:
Wily
Architecture:
armhf
Pocket:
Proposed
Component:
universe