Ubuntu
coq-doc package

i386 build of coq-doc 8.1-3 in ubuntu hardy RELEASE

  1. 8.1-3
  2. i386 build
created

Build status

[FAILEDTOBUILD] Failed to build on palmer (i386)

  • Started
  • Finished (took 4 minutes, 1.9 seconds)
  • buildlog (35.4 KiB)

Build details

Source:
coq-doc - 8.1-3
Archive:
Primary Archive for Ubuntu
Series:
Hardy
Architecture:
i386
Pocket:
Release
Component:
multiverse