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

Build Daemon 3 buildd3 at linux-m32r.org
Tue Sep 2 11:13:10 JST 2008


Automatic build of coq-float_2001-1 on mappi006 by sbuild/m32r 
Build started at 20080902-1046
******************************************************************************
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 20080902-1113
Build needed 00:47:46, 0k disk space




More information about the build-status mailing list