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

Build Daemon 3 buildd3 at linux-m32r.org
Sun Aug 17 14:53:40 JST 2008


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




More information about the build-status mailing list