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-020

  • Started on 2019-01-31
  • Finished on 2019-01-31 (took 1 hour, 46 minutes, 2.8 seconds)
  • buildlog (29.1 KiB)

Build details

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