Your message dated Tue, 24 Jul 2012 12:52:12 +0200
with message-id <500e7e5c.9020...@abeckmann.de>
and subject line closing, fixed long ago in 2.4.1-3
has caused the Debian Bug report #662198,
regarding libcvc3-5-dev and libcvc3-2-dev: error when trying to install together
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 this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
662198: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=662198
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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/.
--- End Message ---
--- Begin Message ---
Version: 2.4.1-3
These bugs should have been closed after the 2.4.1-3 release.
Doing this now.
Andreas
--- End Message ---
