Bug#424162: marked as done (coq: FTBFS if built twice in a row)
Your message dated Tue, 22 May 2007 21:32:04 +0000
with message-id <E1Hqbxc-0000oD-Bl@ries.debian.org>
and subject line Bug#424162: fixed in coq 8.1+dfsg-5
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
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.
--- End Message ---
--- Begin Message ---
Source: coq
Source-Version: 8.1+dfsg-5
We believe that the bug you reported is fixed in the latest version of
coq, which is due to be installed in the Debian FTP archive:
coq-libs_8.1+dfsg-5_all.deb
to pool/main/c/coq/coq-libs_8.1+dfsg-5_all.deb
coq_8.1+dfsg-5.diff.gz
to pool/main/c/coq/coq_8.1+dfsg-5.diff.gz
coq_8.1+dfsg-5.dsc
to pool/main/c/coq/coq_8.1+dfsg-5.dsc
coq_8.1+dfsg-5_i386.deb
to pool/main/c/coq/coq_8.1+dfsg-5_i386.deb
coqide_8.1+dfsg-5_i386.deb
to pool/main/c/coq/coqide_8.1+dfsg-5_i386.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 424162@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Samuel Mimram <smimram@debian.org> (supplier of updated coq package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 22 May 2007 21:53:16 +0200
Source: coq
Binary: coqide coq-libs coq
Architecture: source all i386
Version: 8.1+dfsg-5
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coq-libs - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk interface)
Closes: 424162
Changes:
coq (8.1+dfsg-5) unstable; urgency=low
.
* Correctly clean, closes: #424162.
Files:
7293adeaa32ad20f9c0f690b2450342b 1079 math optional coq_8.1+dfsg-5.dsc
5b2e09d9a647e069339bd5f1ef397bae 14725 math optional coq_8.1+dfsg-5.diff.gz
30df538867efeae50a17c26a43178dfd 14797162 math optional coq-libs_8.1+dfsg-5_all.deb
d49bf27a49965bedbe6a8b2703165853 7448218 math optional coq_8.1+dfsg-5_i386.deb
8fb90c7df18a1a1c072087ec9a589eb2 4662056 math optional coqide_8.1+dfsg-5_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
iD8DBQFGU1UIIae1O4AJae8RAoX/AJ9W5NHyOGczCED9Hab7qgxZJCRsHgCeJtmK
O6+BYJ5WsvHSTB5P9ECQcRo=
=aKvp
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: