Your message dated Sat, 04 Aug 2012 12:32:16 +0000 with message-id <e1sxdwi-0007ms...@franck.debian.org> and subject line Bug#662200: fixed in cvc3 2.4.1-3 has caused the Debian Bug report #662200, regarding libcvc3-5-jni and libcvc3-2-jni: 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.) -- 662200: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=662200 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: libcvc3-2-jni,libcvc3-5-jni Version: libcvc3-2-jni/2.2-13.1 Version: libcvc3-5-jni/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! libkeyutils1 libkrb5support0 libk5crypto3 libkrb5-3 libgssapi-krb5-2 libavahi-common-data libavahi-common3 libdbus-1-3 libavahi-client3 libcups2 libfreetype6 libgmp10 libjpeg8 libnspr4-0d libnss3-1d openjdk-6-jre-lib openssl ca-certificates java-common default-jre-headless ca-certificates-java tzdata-java openjdk-6-jre-headless libcvc3-2 libcvc3-2-jni libcvc3-5 libcvc3-5-jni Preconfiguring packages ... Authentication warning overridden. Can not write log, openpty() failed (/dev/pts not mounted?) Selecting previously unselected package libkeyutils1. (Reading database ... 10548 files and directories currently installed.) Unpacking libkeyutils1 (from .../libkeyutils1_1.5.2-2_amd64.deb) ... Selecting previously unselected package libkrb5support0. Unpacking libkrb5support0 (from .../libkrb5support0_1.10+dfsg~beta1-2_amd64.deb) ... Selecting previously unselected package libk5crypto3. Unpacking libk5crypto3 (from .../libk5crypto3_1.10+dfsg~beta1-2_amd64.deb) ... Selecting previously unselected package libkrb5-3. Unpacking libkrb5-3 (from .../libkrb5-3_1.10+dfsg~beta1-2_amd64.deb) ... Selecting previously unselected package libgssapi-krb5-2. Unpacking libgssapi-krb5-2 (from .../libgssapi-krb5-2_1.10+dfsg~beta1-2_amd64.deb) ... Selecting previously unselected package libavahi-common-data. Unpacking libavahi-common-data (from .../libavahi-common-data_0.6.31-1_amd64.deb) ... Selecting previously unselected package libavahi-common3. Unpacking libavahi-common3 (from .../libavahi-common3_0.6.31-1_amd64.deb) ... Selecting previously unselected package libdbus-1-3. Unpacking libdbus-1-3 (from .../libdbus-1-3_1.4.18-1_amd64.deb) ... Selecting previously unselected package libavahi-client3. Unpacking libavahi-client3 (from .../libavahi-client3_0.6.31-1_amd64.deb) ... Selecting previously unselected package libcups2. Unpacking libcups2 (from .../libcups2_1.5.2-5_amd64.deb) ... Selecting previously unselected package libfreetype6. Unpacking libfreetype6 (from .../libfreetype6_2.4.8-1_amd64.deb) ... Selecting previously unselected package libgmp10. Unpacking libgmp10 (from .../libgmp10_2%3a5.0.4+dfsg-1_amd64.deb) ... Selecting previously unselected package libjpeg8. Unpacking libjpeg8 (from .../libjpeg8_8d-1_amd64.deb) ... Selecting previously unselected package libnspr4-0d. Unpacking libnspr4-0d (from .../libnspr4-0d_4.9-1_amd64.deb) ... Selecting previously unselected package libnss3-1d. Unpacking libnss3-1d (from .../libnss3-1d_3.13.3-1_amd64.deb) ... Selecting previously unselected package openjdk-6-jre-lib. Unpacking openjdk-6-jre-lib (from .../openjdk-6-jre-lib_6b24-1.11.1-3_all.deb) ... Selecting previously unselected package openssl. Unpacking openssl (from .../openssl_1.0.0g-1_amd64.deb) ... Selecting previously unselected package ca-certificates. Unpacking ca-certificates (from .../ca-certificates_20120212_all.deb) ... Selecting previously unselected package java-common. Unpacking java-common (from .../java-common_0.47_all.deb) ... Selecting previously unselected package default-jre-headless. Unpacking default-jre-headless (from .../default-jre-headless_1%3a1.6-47_amd64.deb) ... Selecting previously unselected package ca-certificates-java. Unpacking ca-certificates-java (from .../ca-certificates-java_20120225_all.deb) ... Selecting previously unselected package tzdata-java. Unpacking tzdata-java (from .../tzdata-java_2011n-2_all.deb) ... Selecting previously unselected package openjdk-6-jre-headless. Unpacking openjdk-6-jre-headless (from .../openjdk-6-jre-headless_6b24-1.11.1-3_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-jni. Unpacking libcvc3-2-jni (from .../libcvc3-2-jni_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-jni. Unpacking libcvc3-5-jni (from .../libcvc3-5-jni_2.4.1-2_amd64.deb) ... dpkg: error processing /var/cache/apt/archives/libcvc3-5-jni_2.4.1-2_amd64.deb (--unpack): trying to overwrite '/usr/lib/jni/libcvc3jni.so', which is also in package libcvc3-2-jni 2.2-13.1 configured to not write apport reports Processing triggers for man-db ... Errors were encountered while processing: /var/cache/apt/archives/libcvc3-5-jni_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/lib/jni/libcvc3jni.so -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 ---Source: cvc3 Source-Version: 2.4.1-3 We believe that the bug you reported is fixed in the latest version of cvc3, which is due to be installed in the Debian FTP archive. 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 662...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Christopher L. Conway <ccon...@cs.nyu.edu> (supplier of updated cvc3 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 ftpmas...@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 16 Apr 2012 22:23:39 -0400 Source: cvc3 Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el Architecture: source all amd64 Version: 2.4.1-3 Distribution: unstable Urgency: low Maintainer: Christopher L. Conway <ccon...@cs.nyu.edu> Changed-By: Christopher L. Conway <ccon...@cs.nyu.edu> Description: cvc3 - Automatic theorem prover for SMT problems cvc3-el - Emacs mode for CVC3 libcvc3-5 - Automatic theorem prover library for SMT problems libcvc3-5-java - Java bindings for CVC3 (bytecode library) libcvc3-5-jni - Java bindings for CVC3 (native library) libcvc3-dev - Automatic theorem prover library for SMT problems (development fi Closes: 662198 662200 665319 668685 668688 Changes: cvc3 (2.4.1-3) unstable; urgency=low . * Create new package libcvc3-dev to replace libcvc3-5-dev and libcvc3-2-dev (Closes: #662198) * Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni (Closes: #662200) * Leave .el files in site-lisp directory when installing cvc3-el to enable source lookup (Closes: #665319) * Remove cvc-mode autoload from site-start.d on cvc3-el removal (Closes: #668688) * Bring cvc3-el.emacsen-startup in line with Debian policy (Closes: #668685) Checksums-Sha1: ed977560be32da7fb99fdc47e4c5f77cc550da45 2110 cvc3_2.4.1-3.dsc 216abd30fe9a1f1cf38cabb20f9e10620e1f0e8c 9092 cvc3_2.4.1-3.debian.tar.gz 6daadaa76f974fcfce9182d946699eb646bc8d53 71382 libcvc3-5-java_2.4.1-3_all.deb e748d54a4f8beb480638e562d946138c3313a4e6 14454 cvc3-el_2.4.1-3_all.deb 96ba9aa79462663cf41007b8901046b1f2d202a8 23352 cvc3_2.4.1-3_amd64.deb 8c34005d9e6b24ff8c388b6dbc91e77b2a5bfea2 2414182 libcvc3-5_2.4.1-3_amd64.deb ba9783c63e6064486be44ab621f9b7e5ab0150b1 193118 libcvc3-dev_2.4.1-3_amd64.deb 6ba29472d51078bed5379153759b2bc5e98663fb 81258 libcvc3-5-jni_2.4.1-3_amd64.deb Checksums-Sha256: 8beb0a54449fb72721606d986770fe76ce35a8a7d943bf0535747cabc09dd624 2110 cvc3_2.4.1-3.dsc 2e81c79cf1526b65f4a6cf565601afbe97650e8cffb67c475db17c47d0ef1641 9092 cvc3_2.4.1-3.debian.tar.gz 3e1cbb8aa8ab033e5c91d76e794d66f1a6e83bd26bc3b30dc7852daba686d3a7 71382 libcvc3-5-java_2.4.1-3_all.deb 6cf8c1353fd6302ffd0170e1a4ea1fcf3b0311c4486aa37b768e8a0559308ba6 14454 cvc3-el_2.4.1-3_all.deb ecef069750564711a0a2cb9321eac0e74bebae7d3933e21b653db160299532c1 23352 cvc3_2.4.1-3_amd64.deb 5b0334bf3a83d8302fade3bda0bbde8ffcefcae9860557c3a0eaae7b1463870f 2414182 libcvc3-5_2.4.1-3_amd64.deb c3663640a76f1a10c3ac574ad4b818d743a9f8df30b42bf4d67dcb35fd86e5ab 193118 libcvc3-dev_2.4.1-3_amd64.deb f9fe7c5de0081a47a0322e1367989eb2449b207cddea2c25fc8348b8c452f039 81258 libcvc3-5-jni_2.4.1-3_amd64.deb Files: d25ec160f2c0dbe8d92745c26da31139 2110 math extra cvc3_2.4.1-3.dsc abb264f4f3f1fdadb68dbc668e775c95 9092 math extra cvc3_2.4.1-3.debian.tar.gz 3c97397d6aa0970a355b5b0f1d357428 71382 java extra libcvc3-5-java_2.4.1-3_all.deb 89d991aa08c06658ba1d11f662911e0a 14454 math extra cvc3-el_2.4.1-3_all.deb a5d6a2bb02b62c6cb2ec72fcf7fd7bf5 23352 math extra cvc3_2.4.1-3_amd64.deb 9a6263356318a13d036dcf967c47445d 2414182 libs extra libcvc3-5_2.4.1-3_amd64.deb cba325cfa74f86dfa466e83583a40fba 193118 libdevel extra libcvc3-dev_2.4.1-3_amd64.deb 53af728d275def6c53a8a62f372936af 81258 java extra libcvc3-5-jni_2.4.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJQHODLAAoJEDEBgAUJBeQMO1UQANQsZZUIk1qcokE5/d0I0vjR JUkB60qp6eiNUs+rxZTsaNLBVS9yvws/5qzMP7phFgPiNy1V1+Wh9oigocEQUUV3 /lHW0LihfHfQ1Sc/DgayzyBYHY+EIYLsnxN8xxZ77ZZedygQWiO7M13m6hYbl9R1 1ThKkWQFFKf3ycPjzp/TPjc69hkEHBp+UxL86fjHoFCyezs3ERztRM4DzCa3DFqd EoRnQ9d2CJgqgNcpmzVMWFCgq0ErBrK+bXDM5kL0cxf/VFagq7cL/4NcaY+jVMq/ 6sLuOAgHWXKuGeMono7iOcpi4b+djeihy/mhQt1ctpAsmPcAvkSg2mnwq2qUiy+M 60cNv8Hm2Z3RTVS5oMyUST0fN62qayrXrDIEKNu1dIA4rLPzpEDhzKu/CQo3Ore6 aH92ibWYTLJ61y3m3NDuB/2zhYZ6jwAPyFF89heMVJKojrGMdmKYVPGTQxF4zNoB TzRynvZJGe9Gg8eijnSdDpi3SJopIYbynUS8g8AagYo9iqQik3010XSgqRvJQLs3 22+wTVKIZDi/t6vyYfddIcaf8ol0tKqm+yZ1KE2XwtiG7mAgbqQezXmwAq2oo3MM w3aZdAuHylVq4Q3mQ2VdeSjTCkhK3AKVj97id4RN4FVaiMArMVW23JbjGLnZR5mL +0hv68TlgsVMcDNPMn4l =4U4f -----END PGP SIGNATURE-----
--- End Message ---
