I'm preparing a new version of the source package, changing the dev package to libcvc3-dev with Conflicts/Replaces for libcvc3-5-dev and libcvc3-2-dev. I suppose we should also delete libcvc3-5-dev from the repository. (In that case should I remove the Conflicts/Replaces for that package?)
-Chris On Sun, Mar 4, 2012 at 11:41 AM, Ralf Treinen <trei...@free.fr> wrote: > Package: libcvc3-2-dev,libcvc3-5-dev > Version: libcvc3-2-dev/2.2-13.1 > Version: libcvc3-5-dev/2.4.1-2 > Severity: serious > User: trei...@debian.org > Usertags: edos-file-overwrite > > Date: 2012-03-04 > Architecture: amd64 > Distribution: sid > > Hi, > > automatic installation tests of packages that share a file and at the > same time do not conflict by their package dependency relationships has > detected the following problem: > > > WARNING: The following packages cannot be authenticated! > libgmp10 libcvc3-2 libcvc3-2-dev libcvc3-5 libcvc3-5-dev > Authentication warning overridden. > Can not write log, openpty() failed (/dev/pts not mounted?) > Selecting previously unselected package libgmp10. > (Reading database ... 10548 files and directories currently installed.) > Unpacking libgmp10 (from .../libgmp10_2%3a5.0.4+dfsg-1_amd64.deb) ... > Selecting previously unselected package libcvc3-2. > Unpacking libcvc3-2 (from .../libcvc3-2_2.2-13.1_amd64.deb) ... > Selecting previously unselected package libcvc3-2-dev. > Unpacking libcvc3-2-dev (from .../libcvc3-2-dev_2.2-13.1_amd64.deb) ... > Selecting previously unselected package libcvc3-5. > Unpacking libcvc3-5 (from .../libcvc3-5_2.4.1-2_amd64.deb) ... > Selecting previously unselected package libcvc3-5-dev. > Unpacking libcvc3-5-dev (from .../libcvc3-5-dev_2.4.1-2_amd64.deb) ... > dpkg: error processing > /var/cache/apt/archives/libcvc3-5-dev_2.4.1-2_amd64.deb (--unpack): > trying to overwrite '/usr/lib/pkgconfig/cvc3.pc', which is also in > package libcvc3-2-dev 2.2-13.1 > configured to not write apport reports > dpkg-deb: error: subprocess paste was killed by signal (Broken pipe) > Errors were encountered while processing: > /var/cache/apt/archives/libcvc3-5-dev_2.4.1-2_amd64.deb > E: Sub-process /usr/bin/dpkg returned an error code (1) > > > This is a serious bug as it makes installation fail, and violates > sections 7.6.1 and 10.1 of the policy. An optimal solution would > consist in only one of the packages installing that file, and renaming > or removing the file in the other package. Depending on the > circumstances you might also consider Replace relations or file > diversions. If the conflicting situation cannot be resolved then, as a > last resort, the two packages have to declare a mutual > Conflict. Please take into account that Replaces, Conflicts and > diversions should only be used when packages provide different > implementations for the same functionality. > > Here is a list of files that are known to be shared by both packages > (according to the Contents file for sid/amd64, which may be > slightly out of sync): > > /usr/include/cvc3/assumptions.h > /usr/include/cvc3/c_interface.h > /usr/include/cvc3/c_interface_defs.h > /usr/include/cvc3/cdflags.h > /usr/include/cvc3/cdlist.h > /usr/include/cvc3/cdmap.h > /usr/include/cvc3/cdmap_ordered.h > /usr/include/cvc3/cdo.h > /usr/include/cvc3/circuit.h > /usr/include/cvc3/clause.h > /usr/include/cvc3/cnf.h > /usr/include/cvc3/cnf_manager.h > /usr/include/cvc3/command_line_exception.h > /usr/include/cvc3/command_line_flags.h > /usr/include/cvc3/common_proof_rules.h > /usr/include/cvc3/compat_hash_map.h > /usr/include/cvc3/compat_hash_set.h > /usr/include/cvc3/context.h > /usr/include/cvc3/cvc_util.h > /usr/include/cvc3/debug.h > /usr/include/cvc3/dpllt.h > /usr/include/cvc3/dpllt_basic.h > /usr/include/cvc3/dpllt_minisat.h > /usr/include/cvc3/eval_exception.h > /usr/include/cvc3/exception.h > /usr/include/cvc3/expr.h > /usr/include/cvc3/expr_hash.h > /usr/include/cvc3/expr_manager.h > /usr/include/cvc3/expr_map.h > /usr/include/cvc3/expr_op.h > /usr/include/cvc3/expr_stream.h > /usr/include/cvc3/expr_transform.h > /usr/include/cvc3/expr_value.h > /usr/include/cvc3/fdstream.h > /usr/include/cvc3/formula_value.h > /usr/include/cvc3/hash_fun.h > /usr/include/cvc3/hash_map.h > /usr/include/cvc3/hash_set.h > /usr/include/cvc3/hash_table.h > /usr/include/cvc3/kinds.h > /usr/include/cvc3/lang.h > /usr/include/cvc3/memory_manager.h > /usr/include/cvc3/memory_manager_chunks.h > /usr/include/cvc3/memory_manager_context.h > /usr/include/cvc3/memory_manager_malloc.h > /usr/include/cvc3/notifylist.h > /usr/include/cvc3/os.h > /usr/include/cvc3/parser.h > /usr/include/cvc3/parser_exception.h > /usr/include/cvc3/pretty_printer.h > /usr/include/cvc3/proof.h > /usr/include/cvc3/queryresult.h > /usr/include/cvc3/rational.h > /usr/include/cvc3/sat_api.h > /usr/include/cvc3/search.h > /usr/include/cvc3/search_fast.h > /usr/include/cvc3/search_impl_base.h > /usr/include/cvc3/search_sat.h > /usr/include/cvc3/search_simple.h > /usr/include/cvc3/smartcdo.h > /usr/include/cvc3/smtlib_exception.h > /usr/include/cvc3/sound_exception.h > /usr/include/cvc3/statistics.h > /usr/include/cvc3/theorem.h > /usr/include/cvc3/theorem_manager.h > /usr/include/cvc3/theorem_producer.h > /usr/include/cvc3/theory.h > /usr/include/cvc3/theory_arith.h > /usr/include/cvc3/theory_arith3.h > /usr/include/cvc3/theory_arith_new.h > /usr/include/cvc3/theory_arith_old.h > /usr/include/cvc3/theory_array.h > /usr/include/cvc3/theory_bitvector.h > /usr/include/cvc3/theory_core.h > /usr/include/cvc3/theory_datatype.h > /usr/include/cvc3/theory_datatype_lazy.h > /usr/include/cvc3/theory_quant.h > /usr/include/cvc3/theory_records.h > /usr/include/cvc3/theory_simulate.h > /usr/include/cvc3/theory_uf.h > /usr/include/cvc3/translator.h > /usr/include/cvc3/type.h > /usr/include/cvc3/typecheck_exception.h > /usr/include/cvc3/variable.h > /usr/include/cvc3/vc.h > /usr/include/cvc3/vc_cmd.h > /usr/include/cvc3/vcl.h > /usr/lib/libcvc3.so > /usr/lib/pkgconfig/cvc3.pc > > -Ralf. > > PS: for more information about the detection of file overwrite errors > of this kind see http://edos.debian.net/file-overwrites/. > > >
