Your message dated Wed, 24 Oct 2007 18:32:16 +0000 with message-id <[EMAIL PROTECTED]> and subject line Bug#441710: fixed in hol88 2.02.19940316-6 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: hol88 Severity: serious Justification: Package content changed Version: 2.02.19940316-5 User: [EMAIL PROTECTED] Usertags: qa-debdiff Hi, Lucas Nussbaum has rebuiltthe whole archive three times on i386 and the content of your packages builded there differ. This means that the package which was generated on the fist build contains or doesn't contains several files which are or aren't included in the package which build two or three times. See the report and the url for details: Files in second .changes but not in first ----------------------------------------- /usr/share/hol88-2.02.19940316/ml/ml/conv_ml.l Files in first .changes but not in second ----------------------------------------- /usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o /usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o /usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o /usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o /usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o /usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_term_pp_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_type_pp_ml.o /usr/lib/hol88-2.02.19940316/Library/latex-hol/precedence_ml.o /usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_convs_ml.o /usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_tac_ml.o /usr/lib/hol88-2.02.19940316/Library/numeral/numeral_rules_ml.o /usr/lib/hol88-2.02.19940316/Library/pair/all_ml.o [ ... ] The full build-log can be found at: http://people.debian.org/~lucas/logs/2007/doublebuild-09-05/failed-debdiff 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. Please read the mail of Martin Zobel-Helas on debian-devel [0], for a explanation for this mass bug filling. Greetings Patrick Winnertz [0]: http://lists.debian.org/debian-devel/2007/05/msg00490.html
--- End Message ---
--- Begin Message ---Source: hol88 Source-Version: 2.02.19940316-6 We believe that the bug you reported is fixed in the latest version of hol88, which is due to be installed in the Debian FTP archive: hol88-contrib-help_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-contrib-help_2.02.19940316-6_all.deb hol88-contrib-source_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-contrib-source_2.02.19940316-6_all.deb hol88-doc_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-doc_2.02.19940316-6_all.deb hol88-help_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-help_2.02.19940316-6_all.deb hol88-library-help_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-library-help_2.02.19940316-6_all.deb hol88-library-source_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-library-source_2.02.19940316-6_all.deb hol88-library_2.02.19940316-6_i386.deb to pool/main/h/hol88/hol88-library_2.02.19940316-6_i386.deb hol88-source_2.02.19940316-6_all.deb to pool/main/h/hol88/hol88-source_2.02.19940316-6_all.deb hol88_2.02.19940316-6.diff.gz to pool/main/h/hol88/hol88_2.02.19940316-6.diff.gz hol88_2.02.19940316-6.dsc to pool/main/h/hol88/hol88_2.02.19940316-6.dsc hol88_2.02.19940316-6_i386.deb to pool/main/h/hol88/hol88_2.02.19940316-6_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 [EMAIL PROTECTED], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Camm Maguire <[EMAIL PROTECTED]> (supplier of updated hol88 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 [EMAIL PROTECTED]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 24 Oct 2007 14:01:30 -0400 Source: hol88 Binary: hol88-library-help hol88-doc hol88-contrib-help hol88-help hol88-library hol88-library-source hol88 hol88-source hol88-contrib-source Architecture: source all i386 Version: 2.02.19940316-6 Distribution: unstable Urgency: low Maintainer: Camm Maguire <[EMAIL PROTECTED]> Changed-By: Camm Maguire <[EMAIL PROTECTED]> Description: hol88 - Higher Order Logic, system image hol88-contrib-help - Higher Order Logic, user contributed online help files hol88-contrib-source - Higher Order Logic, user contributed source hol88-doc - Documentation for hol88 hol88-help - Higher Order Logic, online help files hol88-library - Higher Order Logic, binary library modules hol88-library-help - Higher Order Logic, library online help files hol88-library-source - Higher Order Logic, library source files hol88-source - Higher Order Logic, source files Closes: 441710 442282 Changes: hol88 (2.02.19940316-6) unstable; urgency=low . * build-depend on texlive-latex-base * Bug fix: "hol88: package content changed if build twice or more times in a row", thanks to Patrick Winnertz (Closes: #441710). preserve debian/site_ml_orig * Bug fix: "hol88: dangling symlinks", thanks to Ian Zimmerman (Closes: #442282). write absolute paths in first entry in links files Files: 569ac5b0eec2fc3a4bc9f130c907c841 841 math optional hol88_2.02.19940316-6.dsc fa37d700cefbcd2f70e23344e132ad63 19018 math optional hol88_2.02.19940316-6.diff.gz 0f3f953678e4edd60a1a6000e3f75cff 9171878 math optional hol88_2.02.19940316-6_i386.deb 3fb2db3b2a052173b2bfbc890fe104a8 1209266 math optional hol88-library_2.02.19940316-6_i386.deb e9882e14c283122b7ee70946da891293 274420 math optional hol88-source_2.02.19940316-6_all.deb a7a6a97f072ead5792ed80122821ee36 288100 math optional hol88-help_2.02.19940316-6_all.deb 70fc4a276b7e1f466509ca69d6ba3308 563042 math optional hol88-library-source_2.02.19940316-6_all.deb 9fa3ac47aa0d42e8792cb3bb34d79b8c 291444 math optional hol88-library-help_2.02.19940316-6_all.deb 59c47654177d981f5fcb673fa8bd9b84 976678 math optional hol88-contrib-source_2.02.19940316-6_all.deb 0b4c72b64be858a08bfea66567f633f9 26300 math optional hol88-contrib-help_2.02.19940316-6_all.deb 4778784e1601d3bffc70095c2b44a977 1019348 math optional hol88-doc_2.02.19940316-6_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFHH4vXczG1wFfwRdwRAuTOAKCOITcmRz3sLuq5gZ+4AgIjEn8SjwCfVuyv YG14c40zh5tC9Y0+4DYYKEE= =E6rb -----END PGP SIGNATURE-----
--- End Message ---
