armhf build of coq-deriving 0.2.0-3build7 in ubuntu plucky PROPOSED

created

Build status

[MANUALDEPWAIT] Dependency wait on bos03-arm64-115

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

Build details

Source:
coq-deriving - 0.2.0-3build7
Archive:
Primary Archive for Ubuntu
Series:
Plucky
Architecture:
armhf
Pocket:
Proposed
Component:
universe