Bug#441710: hol88: package content changed if build twice or more times in a row

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Bug#441710: hol88: package content changed if build twice or more times in a row

Patrick Winnertz-4
Package: hol88
Severity: serious
Justification: Package content changed
Version: 2.02.19940316-5
User: [hidden email]
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



--
To UNSUBSCRIBE, email to [hidden email]
with a subject of "unsubscribe". Trouble? Contact [hidden email]

Reply | Threaded
Open this post in threaded view
|

Bug#441710: marked as done (hol88: package content changed if build twice or more times in a row)

Debian Bug Tracking System
Your message dated Wed, 24 Oct 2007 18:32:16 +0000
with message-id <[hidden email]>
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)


Package: hol88
Severity: serious
Justification: Package content changed
Version: 2.02.19940316-5
User: [hidden email]
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



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 [hidden email],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Camm Maguire <[hidden email]> (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 [hidden email])


-----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 <[hidden email]>
Changed-By: Camm Maguire <[hidden email]>
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-----