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

created on 2011-08-16

Build status

[FAILEDTOBUILD] Failed to build on lychee (virtual-64)

  • Started on 2011-08-20
  • Finished on 2011-08-20 (took 4 minutes, 17.5 seconds)
  • buildlog (11.1 KiB)

Build details

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