Bug#424162: coq: FTBFS if build twice in a row
Package: coq
Severity: important
Version: 8.1+dfsg-4
User: debian-qa@lists.debian.org
Usertags: qa-doublebuild
Hi,
Lucas Nussbaum has rebuilt the whole archive on i386 and your package FTBFS if
built twice in a row with the following error:
dpkg-source: warning: file doc/stdlib/html/index_module_U.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_module_V.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_module_W.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_module_X.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_module_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_module_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_module__.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_A.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_B.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_C.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_D.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_E.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_F.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_G.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_H.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_I.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_J.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_K.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_L.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_M.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_N.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_O.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_P.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_R.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_S.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_T.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_U.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_V.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_W.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_X.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file doc/stdlib/html/index_library__.html has no final newline (either original or modified version)
dpkg-source: warning: executable mode 0755 of 'debian/patches/coqdoc_stdlib.dpatch' will not be represented in diff
dpkg-source: warning: executable mode 0755 of 'debian/patches/cmxa-install.dpatch' will not be represented in diff
dpkg-source: warning: executable mode 0755 of 'debian/patches/no-complexity-test.dpatch' will not be represented in diff
dpkg-source: warning: executable mode 0755 of 'debian/patches/browser.dpatch' will not be represented in diff
dpkg-source: warning: executable mode 0755 of 'debian/patches/makefile.dpatch' will not be represented in diff
dpkg-source: warning: executable mode 0755 of 'debian/patches/configure.dpatch' will not be represented in diff
dpkg-source: building coq in coq_8.1+dfsg-4.dsc
dpkg-source: unrepresentable changes to source
The full build-log can be found at: http://people.debian.org/~lucas/logs/2007/05/15/00_Failed_2/
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. All
packages have been rebuilt twice in a row, with unpack, build, clean,
build.
Reply to: