Ubuntu

armhf build of coq 8.3.pl4+dfsg-2 in ubuntu quantal RELEASE

  1. Copy archive test-rebuild-20120922 for Matthias Klose
  2. armhf build of coq 8.3.pl4+dfsg-2
created

Build status

[FAILEDTOBUILD] Failed to build on nasl (arm panda)

  • Started
  • Finished (took 23 minutes, 56.1 seconds)
  • buildlog (49.7 KiB)

Build details

Source:
coq - 8.3.pl4+dfsg-2
Archive:
Copy archive test-rebuild-20120922 for Matthias Klose
Series:
Quantal
Architecture:
armhf
Pocket:
Release
Component:
universe