arm64 build of aac-tactics 8.6.1-1build4 in ubuntu artful PROPOSED

created on 2017-08-31

Build status

[MANUALDEPWAIT] Dependency wait on bos01-arm64-034

  • Missing build dependencies: libcoq-ocaml-dev
  • Started on 2017-09-09
  • Finished on 2017-09-09 (took 4 minutes, 17.8 seconds)
  • buildlog (10.0 KiB)

Build details

Source:
aac-tactics - 8.6.1-1build4
Archive:
Primary Archive for Ubuntu
Series:
Artful
Architecture:
arm64
Pocket:
Proposed
Component:
universe