armhf build of agda 2.5.4.1-3 in ubuntu disco PROPOSED

created on 2018-12-14

Build status

[FAILEDTOBUILD] Failed to build on bos02-arm64-006

  • Started on 2018-12-14
  • Finished on 2018-12-14 (took 1 hour, 23 minutes, 4.7 seconds)
  • buildlog (25.3 KiB)

Build details

Source:
agda - 2.5.4.1-3
Archive:
Primary Archive for Ubuntu
Series:
Disco
Architecture:
armhf
Pocket:
Proposed
Component:
universe