Bug#559261: matita-standard-library and matita: error when trying to install together
Package: matita,matita-standard-library
Version: matita/0.5.8-1
Version: matita-standard-library/0.5.7-2
Severity: serious
User: treinen@debian.org
Usertags: edos-file-overwrite
Date: 2009-12-03
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!
x11-common libmagic1 file libpcre3 libsqlite3-0 libxml2 ucf defoma libexpat1
libfreetype6 ttf-dejavu-core ttf-dejavu-extra ttf-dejavu fontconfig-config
libfontconfig1 fontconfig libglib2.0-0 libatk1.0-0 libavahi-common-data
libavahi-common3 libdbus-1-3 libavahi-client3 libsysfs2 tsconf libts-0.0-0
libdirectfb-1.2-0 libpixman-1-0 libpng12-0 libxau6 libxdmcp6 libxcb1
libx11-data libx11-6 libxcb-render0 libxcb-render-util0 libxrender1
libcairo2 libcups2 libdatrie1 libgdome2-0 libgdome2-cpp-smart0c2a
libgtk2.0-common libjpeg62 libjasper1 libpango1.0-common libthai-data
libthai0 libxft2 libpango1.0-0 libtiff4 libxext6 libxfixes3 libxcomposite1
libxcursor1 libxdamage1 libxi6 libxinerama1 libxrandr2 shared-mime-info
libgtk2.0-0 libglade2-0 libt1-5 libgtkmathview0c2a
libgtksourceview2.0-common libgtksourceview2.0-0 mysql-common
libmysqlclient16 matita matita-standard-library
W: cowdancer: unsupported operation flock, read-only open and fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5406850
W: cowdancer: unsupported operation flock, read-only open and fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
W: cowdancer: unsupported operation flock, read-only open and fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5406754
Extracting templates from packages: 43%
Extracting templates from packages: 86%
Extracting templates from packages: 100%
Preconfiguring packages ...
Authentication warning overridden.
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously deselected package x11-common.
(Reading database ... 10438 files and directories currently installed.)
Unpacking x11-common (from .../x11-common_1%3a7.4+4_all.deb) ...
W: cowdancer: unsupported operation flock, read-only open and fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Selecting previously deselected package libmagic1.
Unpacking libmagic1 (from .../libmagic1_5.03-3_amd64.deb) ...
Selecting previously deselected package file.
Unpacking file (from .../archives/file_5.03-3_amd64.deb) ...
Selecting previously deselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_7.8-3_amd64.deb) ...
Selecting previously deselected package libsqlite3-0.
Unpacking libsqlite3-0 (from .../libsqlite3-0_3.6.20-1_amd64.deb) ...
Selecting previously deselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-1_amd64.deb) ...
Selecting previously deselected package ucf.
Unpacking ucf (from .../archives/ucf_3.0025_all.deb) ...
Moving old data out of the way
Selecting previously deselected package defoma.
Unpacking defoma (from .../defoma_0.11.10-3_all.deb) ...
Selecting previously deselected package libexpat1.
Unpacking libexpat1 (from .../libexpat1_2.0.1-5_amd64.deb) ...
Selecting previously deselected package libfreetype6.
Unpacking libfreetype6 (from .../libfreetype6_2.3.11-1_amd64.deb) ...
Selecting previously deselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.30-1_all.deb) ...
Selecting previously deselected package ttf-dejavu-extra.
Unpacking ttf-dejavu-extra (from .../ttf-dejavu-extra_2.30-1_all.deb) ...
Selecting previously deselected package ttf-dejavu.
Unpacking ttf-dejavu (from .../ttf-dejavu_2.30-1_all.deb) ...
Selecting previously deselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.6.0-4_all.deb) ...
Selecting previously deselected package libfontconfig1.
Unpacking libfontconfig1 (from .../libfontconfig1_2.6.0-4_amd64.deb) ...
Selecting previously deselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.6.0-4_amd64.deb) ...
Selecting previously deselected package libglib2.0-0.
Unpacking libglib2.0-0 (from .../libglib2.0-0_2.22.3-1_amd64.deb) ...
Selecting previously deselected package libatk1.0-0.
Unpacking libatk1.0-0 (from .../libatk1.0-0_1.28.0-1_amd64.deb) ...
Selecting previously deselected package libavahi-common-data.
Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.25-2_amd64.deb) ...
Selecting previously deselected package libavahi-common3.
Unpacking libavahi-common3 (from .../libavahi-common3_0.6.25-2_amd64.deb) ...
Selecting previously deselected package libdbus-1-3.
Unpacking libdbus-1-3 (from .../libdbus-1-3_1.2.16-2_amd64.deb) ...
Selecting previously deselected package libavahi-client3.
Unpacking libavahi-client3 (from .../libavahi-client3_0.6.25-2_amd64.deb) ...
Selecting previously deselected package libsysfs2.
Unpacking libsysfs2 (from .../libsysfs2_2.1.0-6_amd64.deb) ...
Selecting previously deselected package tsconf.
Unpacking tsconf (from .../archives/tsconf_1.0-7_all.deb) ...
Selecting previously deselected package libts-0.0-0.
Unpacking libts-0.0-0 (from .../libts-0.0-0_1.0-7_amd64.deb) ...
Selecting previously deselected package libdirectfb-1.2-0.
Unpacking libdirectfb-1.2-0 (from .../libdirectfb-1.2-0_1.2.8-5_amd64.deb) ...
Selecting previously deselected package libpixman-1-0.
Unpacking libpixman-1-0 (from .../libpixman-1-0_0.16.2-1_amd64.deb) ...
Selecting previously deselected package libpng12-0.
Unpacking libpng12-0 (from .../libpng12-0_1.2.40-1_amd64.deb) ...
Selecting previously deselected package libxau6.
Unpacking libxau6 (from .../libxau6_1%3a1.0.5-1_amd64.deb) ...
Selecting previously deselected package libxdmcp6.
Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-1_amd64.deb) ...
Selecting previously deselected package libxcb1.
Unpacking libxcb1 (from .../libxcb1_1.4-1_amd64.deb) ...
Selecting previously deselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.3.2-1_all.deb) ...
Selecting previously deselected package libx11-6.
Unpacking libx11-6 (from .../libx11-6_2%3a1.3.2-1_amd64.deb) ...
Selecting previously deselected package libxcb-render0.
Unpacking libxcb-render0 (from .../libxcb-render0_1.4-1_amd64.deb) ...
Selecting previously deselected package libxcb-render-util0.
Unpacking libxcb-render-util0 (from .../libxcb-render-util0_0.3.6-1_amd64.deb) ...
Selecting previously deselected package libxrender1.
Unpacking libxrender1 (from .../libxrender1_1%3a0.9.5-1_amd64.deb) ...
Selecting previously deselected package libcairo2.
Unpacking libcairo2 (from .../libcairo2_1.8.8-2_amd64.deb) ...
Selecting previously deselected package libcups2.
Unpacking libcups2 (from .../libcups2_1.4.2-4_amd64.deb) ...
Selecting previously deselected package libdatrie1.
Unpacking libdatrie1 (from .../libdatrie1_0.2.2-1_amd64.deb) ...
Selecting previously deselected package libgdome2-0.
Unpacking libgdome2-0 (from .../libgdome2-0_0.8.1+debian-4_amd64.deb) ...
Selecting previously deselected package libgdome2-cpp-smart0c2a.
Unpacking libgdome2-cpp-smart0c2a (from .../libgdome2-cpp-smart0c2a_0.2.6-3+b1_amd64.deb) ...
Selecting previously deselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.18.4-1_all.deb) ...
Selecting previously deselected package libjpeg62.
Unpacking libjpeg62 (from .../libjpeg62_6b-15_amd64.deb) ...
Selecting previously deselected package libjasper1.
Unpacking libjasper1 (from .../libjasper1_1.900.1-6.1_amd64.deb) ...
Selecting previously deselected package libpango1.0-common.
Unpacking libpango1.0-common (from .../libpango1.0-common_1.26.1-1_all.deb) ...
Selecting previously deselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.12-1_all.deb) ...
Selecting previously deselected package libthai0.
Unpacking libthai0 (from .../libthai0_0.1.12-1_amd64.deb) ...
Selecting previously deselected package libxft2.
Unpacking libxft2 (from .../libxft2_2.1.13-3_amd64.deb) ...
Selecting previously deselected package libpango1.0-0.
Unpacking libpango1.0-0 (from .../libpango1.0-0_1.26.1-1_amd64.deb) ...
Selecting previously deselected package libtiff4.
Unpacking libtiff4 (from .../libtiff4_3.9.2-1_amd64.deb) ...
Selecting previously deselected package libxext6.
Unpacking libxext6 (from .../libxext6_2%3a1.0.4-1_amd64.deb) ...
Selecting previously deselected package libxfixes3.
Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.4-1_amd64.deb) ...
Selecting previously deselected package libxcomposite1.
Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.1-1_amd64.deb) ...
Selecting previously deselected package libxcursor1.
Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-1_amd64.deb) ...
Selecting previously deselected package libxdamage1.
Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.2-1_amd64.deb) ...
Selecting previously deselected package libxi6.
Unpacking libxi6 (from .../libxi6_2%3a1.2.1-2_amd64.deb) ...
Selecting previously deselected package libxinerama1.
Unpacking libxinerama1 (from .../libxinerama1_2%3a1.0.3-2_amd64.deb) ...
Selecting previously deselected package libxrandr2.
Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-2_amd64.deb) ...
Selecting previously deselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_0.70-1_amd64.deb) ...
Selecting previously deselected package libgtk2.0-0.
Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.18.4-1_amd64.deb) ...
Selecting previously deselected package libglade2-0.
Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_amd64.deb) ...
Selecting previously deselected package libt1-5.
Unpacking libt1-5 (from .../libt1-5_5.1.2-3_amd64.deb) ...
Selecting previously deselected package libgtkmathview0c2a.
Unpacking libgtkmathview0c2a (from .../libgtkmathview0c2a_0.8.0-3_amd64.deb) ...
Selecting previously deselected package libgtksourceview2.0-common.
Unpacking libgtksourceview2.0-common (from .../libgtksourceview2.0-common_2.8.1-1_all.deb) ...
Selecting previously deselected package libgtksourceview2.0-0.
Unpacking libgtksourceview2.0-0 (from .../libgtksourceview2.0-0_2.8.1-1_amd64.deb) ...
Selecting previously deselected package mysql-common.
Unpacking mysql-common (from .../mysql-common_5.1.41-3_all.deb) ...
Selecting previously deselected package libmysqlclient16.
Unpacking libmysqlclient16 (from .../libmysqlclient16_5.1.41-3_amd64.deb) ...
Selecting previously deselected package matita.
Unpacking matita (from .../matita_0.5.8-1_amd64.deb) ...
Selecting previously deselected package matita-standard-library.
Unpacking matita-standard-library (from .../matita-standard-library_0.5.7-2_all.deb) ...
dpkg: error processing /var/cache/apt/archives/matita-standard-library_0.5.7-2_all.deb (--unpack):
trying to overwrite '/usr/share/matita/ma/standard-library/root', which is also in package matita 0:0.5.8-1
dpkg-deb: subprocess paste killed by signal (Broken pipe)
Processing triggers for man-db ...
W: cowdancer: unsupported operation flock, read-only open and fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Errors were encountered while processing:
/var/cache/apt/archives/matita-standard-library_0.5.7-2_all.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)
cow-shell unlink .ilist: No such file or directory
This is a serious bug as it makes installation fail, and violate
section 7.6.1 of the policy. Possible solutions are to have the two
packages conflict, to rename the common file in one of the two
packages, or to remove the file from one package and have this package
depend on the other package. File diversions or a Replace relation are
another possibility.
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/share/matita/ma/standard-library/Makefile
usr/share/matita/ma/standard-library/Q/Qaxioms.ma
usr/share/matita/ma/standard-library/Q/frac.ma
usr/share/matita/ma/standard-library/Q/fraction/finv.ma
usr/share/matita/ma/standard-library/Q/fraction/fraction.ma
usr/share/matita/ma/standard-library/Q/fraction/ftimes.ma
usr/share/matita/ma/standard-library/Q/fraction/numerator_denominator.ma
usr/share/matita/ma/standard-library/Q/inv.ma
usr/share/matita/ma/standard-library/Q/nat_fact/times.ma
usr/share/matita/ma/standard-library/Q/q.ma
usr/share/matita/ma/standard-library/Q/q/q.ma
usr/share/matita/ma/standard-library/Q/q/qinv.ma
usr/share/matita/ma/standard-library/Q/q/qplus.ma
usr/share/matita/ma/standard-library/Q/q/qtimes.ma
usr/share/matita/ma/standard-library/Q/ratio/ratio.ma
usr/share/matita/ma/standard-library/Q/ratio/rinv.ma
usr/share/matita/ma/standard-library/Q/ratio/rtimes.ma
usr/share/matita/ma/standard-library/R/Rexp.ma
usr/share/matita/ma/standard-library/R/Rlog.ma
usr/share/matita/ma/standard-library/R/r.ma
usr/share/matita/ma/standard-library/R/root.ma
usr/share/matita/ma/standard-library/Z/compare.ma
usr/share/matita/ma/standard-library/Z/dirichlet_product.ma
usr/share/matita/ma/standard-library/Z/inversion.ma
usr/share/matita/ma/standard-library/Z/moebius.ma
usr/share/matita/ma/standard-library/Z/orders.ma
usr/share/matita/ma/standard-library/Z/plus.ma
usr/share/matita/ma/standard-library/Z/sigma_p.ma
usr/share/matita/ma/standard-library/Z/times.ma
usr/share/matita/ma/standard-library/Z/z.ma
usr/share/matita/ma/standard-library/algebra/finite_groups.ma
usr/share/matita/ma/standard-library/algebra/groups.ma
usr/share/matita/ma/standard-library/algebra/monoids.ma
usr/share/matita/ma/standard-library/algebra/semigroups.ma
usr/share/matita/ma/standard-library/dama/bishop_set.ma
usr/share/matita/ma/standard-library/dama/bishop_set_rewrite.ma
usr/share/matita/ma/standard-library/dama/lebesgue.ma
usr/share/matita/ma/standard-library/dama/models/discrete_uniformity.ma
usr/share/matita/ma/standard-library/dama/models/increasing_supremum_stabilizes.ma
usr/share/matita/ma/standard-library/dama/models/nat_lebesgue.ma
usr/share/matita/ma/standard-library/dama/models/nat_order_continuous.ma
usr/share/matita/ma/standard-library/dama/models/nat_ordered_uniform.ma
usr/share/matita/ma/standard-library/dama/models/nat_uniform.ma
usr/share/matita/ma/standard-library/dama/nat_ordered_set.ma
usr/share/matita/ma/standard-library/dama/ordered_set.ma
usr/share/matita/ma/standard-library/dama/ordered_uniform.ma
usr/share/matita/ma/standard-library/dama/property_exhaustivity.ma
usr/share/matita/ma/standard-library/dama/property_sigma.ma
usr/share/matita/ma/standard-library/dama/russell_support.ma
usr/share/matita/ma/standard-library/dama/sandwich.ma
usr/share/matita/ma/standard-library/dama/sequence.ma
usr/share/matita/ma/standard-library/dama/supremum.ma
usr/share/matita/ma/standard-library/dama/uniform.ma
usr/share/matita/ma/standard-library/datatypes/bool.ma
usr/share/matita/ma/standard-library/datatypes/categories.ma
usr/share/matita/ma/standard-library/datatypes/compare.ma
usr/share/matita/ma/standard-library/datatypes/constructors.ma
usr/share/matita/ma/standard-library/datatypes/subsets.ma
usr/share/matita/ma/standard-library/decidable_kit/decidable.ma
usr/share/matita/ma/standard-library/decidable_kit/eqtype.ma
usr/share/matita/ma/standard-library/decidable_kit/fgraph.ma
usr/share/matita/ma/standard-library/decidable_kit/fintype.ma
usr/share/matita/ma/standard-library/decidable_kit/list_aux.ma
usr/share/matita/ma/standard-library/decidable_kit/streicher.ma
usr/share/matita/ma/standard-library/demo/cantor.ma
usr/share/matita/ma/standard-library/demo/formal_topology.ma
usr/share/matita/ma/standard-library/demo/natural_deduction.ma
usr/share/matita/ma/standard-library/demo/power_derivative.ma
usr/share/matita/ma/standard-library/demo/propositional_sequent_calculus.ma
usr/share/matita/ma/standard-library/demo/realisability.ma
usr/share/matita/ma/standard-library/demo/toolbox.ma
usr/share/matita/ma/standard-library/depends
usr/share/matita/ma/standard-library/didactic/exercises/Makefile
usr/share/matita/ma/standard-library/didactic/exercises/duality.ma
usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction.ma
usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction1.ma
usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_fst_order.ma
usr/share/matita/ma/standard-library/didactic/exercises/natural_deduction_theories.ma
usr/share/matita/ma/standard-library/didactic/exercises/shannon.ma
usr/share/matita/ma/standard-library/didactic/exercises/substitution.ma
usr/share/matita/ma/standard-library/didactic/support/natural_deduction.ma
usr/share/matita/ma/standard-library/formal_topology/basic_pairs.ma.dontcompile
usr/share/matita/ma/standard-library/formal_topology/basic_topologies.ma.dontcompile
usr/share/matita/ma/standard-library/formal_topology/concrete_spaces.ma.dontcompile
usr/share/matita/ma/standard-library/formal_topology/formal_topologies.ma.dontcompile
usr/share/matita/ma/standard-library/formal_topology/relations.ma.dontcompile
usr/share/matita/ma/standard-library/formal_topology/saturations_reductions.ma.dontcompile
usr/share/matita/ma/standard-library/higher_order_defs/functions.ma
usr/share/matita/ma/standard-library/higher_order_defs/ordering.ma
usr/share/matita/ma/standard-library/higher_order_defs/relations.ma
usr/share/matita/ma/standard-library/list/in.ma
usr/share/matita/ma/standard-library/list/list.ma
usr/share/matita/ma/standard-library/list/sort.ma
usr/share/matita/ma/standard-library/logic/coimplication.ma
usr/share/matita/ma/standard-library/logic/connectives.ma
usr/share/matita/ma/standard-library/logic/connectives2.ma
usr/share/matita/ma/standard-library/logic/cprop_connectives.ma
usr/share/matita/ma/standard-library/logic/equality.ma
usr/share/matita/ma/standard-library/nat/bertrand.ma
usr/share/matita/ma/standard-library/nat/binomial.ma
usr/share/matita/ma/standard-library/nat/chebyshev.ma
usr/share/matita/ma/standard-library/nat/chebyshev_teta.ma
usr/share/matita/ma/standard-library/nat/chebyshev_thm.ma
usr/share/matita/ma/standard-library/nat/chinese_reminder.ma
usr/share/matita/ma/standard-library/nat/compare.ma
usr/share/matita/ma/standard-library/nat/congruence.ma
usr/share/matita/ma/standard-library/nat/count.ma
usr/share/matita/ma/standard-library/nat/div_and_mod.ma
usr/share/matita/ma/standard-library/nat/div_and_mod_diseq.ma
usr/share/matita/ma/standard-library/nat/div_and_mod_new.ma.dontcompile
usr/share/matita/ma/standard-library/nat/euler_theorem.ma
usr/share/matita/ma/standard-library/nat/exp.ma
usr/share/matita/ma/standard-library/nat/factorial.ma
usr/share/matita/ma/standard-library/nat/factorial2.ma
usr/share/matita/ma/standard-library/nat/factorization.ma
usr/share/matita/ma/standard-library/nat/factorization2.ma
usr/share/matita/ma/standard-library/nat/fermat_little_theorem.ma
usr/share/matita/ma/standard-library/nat/gcd.ma
usr/share/matita/ma/standard-library/nat/gcd_properties1.ma
usr/share/matita/ma/standard-library/nat/generic_iter_p.ma
usr/share/matita/ma/standard-library/nat/iteration2.ma
usr/share/matita/ma/standard-library/nat/le_arith.ma
usr/share/matita/ma/standard-library/nat/log.ma
usr/share/matita/ma/standard-library/nat/lt_arith.ma
usr/share/matita/ma/standard-library/nat/map_iter_p.ma
usr/share/matita/ma/standard-library/nat/minimization.ma
usr/share/matita/ma/standard-library/nat/minus.ma
usr/share/matita/ma/standard-library/nat/nat.ma
usr/share/matita/ma/standard-library/nat/neper.ma
usr/share/matita/ma/standard-library/nat/nth_prime.ma
usr/share/matita/ma/standard-library/nat/o.ma
usr/share/matita/ma/standard-library/nat/ord.ma
usr/share/matita/ma/standard-library/nat/orders.ma
usr/share/matita/ma/standard-library/nat/permutation.ma
usr/share/matita/ma/standard-library/nat/pi_p.ma
usr/share/matita/ma/standard-library/nat/plus.ma
usr/share/matita/ma/standard-library/nat/primes.ma
usr/share/matita/ma/standard-library/nat/relevant_equations.ma
usr/share/matita/ma/standard-library/nat/sieve.ma
usr/share/matita/ma/standard-library/nat/sigma_and_pi.ma
usr/share/matita/ma/standard-library/nat/sqrt.ma
usr/share/matita/ma/standard-library/nat/times.ma
usr/share/matita/ma/standard-library/nat/totient.ma
usr/share/matita/ma/standard-library/nat/totient1.ma
usr/share/matita/ma/standard-library/root
usr/share/matita/ma/standard-library/technicalities/setoids.ma
This bug is assigned to both packages. If you, the maintainers of
the two packages in question, have agreed on which of the packages will
resolve the problem please reassign the bug to that package.
-Ralf.
PS: for more information about the detection of file overwrite errors
of this kind see http://edos.debian.net/file-overwrites/.
Reply to: