armhf build of coq-hierarchy-builder 1.4.0-2build2 in ubuntu lunar PROPOSED

created

Build status

[MANUALDEPWAIT] Dependency wait on bos02-arm64-053

  • Missing build dependencies: libelpi-ocaml-dev
  • Started
  • Finished (took 1 minute, 16.7 seconds)
  • buildlog (6.2 KiB)

Build details

Source:
coq-hierarchy-builder - 1.4.0-2build2
Archive:
Primary Archive for Ubuntu
Series:
Lunar
Architecture:
armhf
Pocket:
Proposed
Component:
universe