i386 build of eprover 1.0.004-1ubuntu1 in ubuntu oneiric RELEASE

created on 2011-08-16

Build status

[FAILEDTOBUILD] Failed to build on lemon (virtual)

  • Started on 2011-08-21
  • Finished on 2011-08-21 (took 6 minutes, 35.5 seconds)
  • buildlog (15.3 KiB)

Build details

Source:
eprover - 1.0.004-1ubuntu1
Archive:
Copy archive test-rebuild-20110816 for Matthias Klose
Series:
Oneiric
Architecture:
i386
Pocket:
Release
Component:
universe