armhf build of why 2.30+dfsg-5 in ubuntu saucy RELEASE

created

Build status

[MANUALDEPWAIT] Dependency wait on rompo (panda ES)

  • Missing build dependencies: coq
  • Started
  • Finished (took 3 minutes, 19.8 seconds)
  • buildlog (2.7 KiB)

Build details

Source:
why - 2.30+dfsg-5
Archive:
Primary Archive for Ubuntu
Series:
Saucy
Architecture:
armhf
Pocket:
Release
Component:
universe