Ubuntu

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

Copy archive test-rebuild-20110413 for Matthias Klose
amd64 build of eprover 1.0.004-1ubuntu1

created on 2011-04-13

Build status

Failed to build on pluot (virtual-64)

Started on 2011-04-22
Finished on 2011-04-22 (took 7 minutes, 28.8 seconds)
buildlog (17.8 KiB)

Build details

Source:: eprover - 1.0.004-1ubuntu1

Archive:: Copy archive test-rebuild-20110413 for Matthias Klose

Series:: Natty

Architecture:: amd64

Pocket:: Release

Component:: universe