Ubuntu
aac-tactics package

arm64 build of aac-tactics 0.3.pl1-1 in ubuntu saucy RELEASE

  1. 0.3.pl1-1
  2. arm64 build
created

Build status

[MANUALDEPWAIT] Dependency wait on magic (arm64)

  • Missing build dependencies: coq
  • Started
  • Finished (took 47.5 seconds)
  • buildlog (2.5 KiB)

Build details

Source:
aac-tactics - 0.3.pl1-1
Archive:
Primary Archive for Ubuntu
Series:
Saucy
Architecture:
arm64
Pocket:
Release
Component:
universe