armhf build of coq 8.4pl2dfsg-1 in ubuntu saucy RELEASE
created
Build status
Failed to build on kishi23 (highbank)
- Started
- Finished (took 35 minutes, 44.9 seconds)
- buildlog (28.9 KiB)