arm64 build of coq 8.4pl2dfsg-1 in ubuntu saucy RELEASE

created

Build status

[MANUALDEPWAIT] Dependency wait on magic (arm64)

  • Missing build dependencies: liblablgtk2-ocaml-dev
  • Started
  • Finished (took 1 minute, 1.3 seconds)
  • buildlog (3.1 KiB)

Build details

Source:
coq - 8.4pl2dfsg-1
Archive:
Primary Archive for Ubuntu
Series:
Saucy
Architecture:
arm64
Pocket:
Release
Component:
universe