Package: coq-float Version: 1:8.1-1.0-4 Severity: serious User: debian...@lists.debian.org Usertags: qa-ftbfs-20090307 qa-ftbfs Justification: FTBFS on i386
Hi, During a rebuild of all packages in sid, your package failed to build on i386. Relevant part: > make[1]: Entering directory > `/build/user-coq-float_8.1-1.0-4-amd64-86MwDu/coq-float-8.1-1.0-4' > coqc -dump-glob sTactic.glob -q -I . -I ./debian -I ./Others -I ./FnElem -I > ./Expansions -I ./Ct2 sTactic > coqc -dump-glob Faux.glob -q -I . -I ./debian -I ./Others -I ./FnElem -I > ./Expansions -I ./Ct2 Faux > File "./Faux.v", line 298, characters 0-4: > Error: Attempt to save an incomplete proof > make[1]: *** [Faux.vo] Error 1 The full build log is available from: http://people.debian.org/~lucas/logs/2009/03/07/coq-float_1:8.1-1.0-4_lsid32.buildlog A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on about 50 AMD64 nodes of the Grid'5000 platform, using a clean chroot containing a sid i386 environment. Internet was not accessible from the build systems. -- | Lucas Nussbaum | lu...@lucas-nussbaum.net http://www.lucas-nussbaum.net/ | | jabber: lu...@nussbaum.fr GPG: 1024D/023B3F4F | -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
