[build-status: 166453] Log for given-back build of coq-float_2001-1 (dist=unstable)

Build Daemon 3 buildd3 at linux-m32r.org
Mon Aug 11 11:37:30 JST 2008


Automatic build of coq-float_2001-1 on mappi006 by sbuild/m32r 
Build started at 20080811-1134
******************************************************************************
Checking available source versions...
Checking available source versions...
Can't find source for coq-float_2001-1
(only different version(s) 1:8.1-1.0-4 found)
Giving back package coq-float_2001-1 after failure in fetch-src stage.
******************************************************************************
Finished at 20080811-1137
Build needed 00:00:00, 0k disk space




More information about the build-status mailing list