armhf build of coq-stdpp 1.11.0-1build1 in ubuntu plucky PROPOSED

created

Build status

[MANUALDEPWAIT] Dependency wait on bos03-arm64-115

  • Missing build dependencies: libcoq-stdlib
  • Started
  • Finished (took 2 minutes, 31.5 seconds)
  • buildlog (14.3 KiB)

Build details

Source:
coq-stdpp - 1.11.0-1build1
Archive:
Primary Archive for Ubuntu
Series:
Plucky
Architecture:
armhf
Pocket:
Proposed
Component:
universe