Ubuntu

i386 build of matita 0.5.8-2build2 in ubuntu natty RELEASE

  1. Copy archive test-rebuild-20110413 for Matthias Klose
  2. i386 build of matita 0.5.8-2build2
created

Build status

[FAILEDTOBUILD] Failed to build on radium (virtual)

  • Started
  • Finished (took 17 minutes, 12.2 seconds)
  • buildlog (30.7 KiB)

Build details

Source:
matita - 0.5.8-2build2
Archive:
Copy archive test-rebuild-20110413 for Matthias Klose
Series:
Natty
Architecture:
i386
Pocket:
Release
Component:
universe