Your message dated Sat, 24 Aug 2013 09:33:04 +0000 with message-id <e1vdadq-0004ky...@franck.debian.org> and subject line Bug#718010: fixed in alt-ergo 0.95.1-3 has caused the Debian Bug report #718010, regarding libalt-ergo-ocaml-dev: fails to upgrade from 'wheezy' - trying to overwrite /usr/lib/ocaml/alt-ergo/META 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.) -- 718010: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718010 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: libalt-ergo-ocaml-dev Version: 0.95.1-2 Severity: serious User: debian...@lists.debian.org Usertags: piuparts Hi, during a test with piuparts I noticed your package fails to upgrade from 'wheezy'. It installed fine in 'wheezy', then the upgrade to 'jessie' fails because it tries to overwrite other packages files without declaring a Breaks+Replaces relation. See policy 7.6 at http://www.debian.org/doc/debian-policy/ch-relationships.html#s-replaces >From the attached log (scroll to the bottom...): Selecting previously unselected package libalt-ergo-ocaml-dev. Unpacking libalt-ergo-ocaml-dev (from .../libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb) ... dpkg: error processing /var/cache/apt/archives/libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb (--unpack): trying to overwrite '/usr/lib/ocaml/alt-ergo/META', which is also in package alt-ergo 0.94-2 dpkg-deb: error: subprocess paste was killed by signal (Broken pipe) Processing triggers for fontconfig ... Errors were encountered while processing: /var/cache/apt/archives/libalt-ergo-ocaml-dev_0.95.1-2_amd64.deb cheers, Andreas
alt-ergo=0.94-2_libalt-ergo-ocaml-dev=0.95.1-2.log.gz
Description: GNU Zip compressed data
--- End Message ---
--- Begin Message ---Source: alt-ergo Source-Version: 0.95.1-3 We believe that the bug you reported is fixed in the latest version of alt-ergo, 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 718...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen <trei...@debian.org> (supplier of updated alt-ergo 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...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 24 Aug 2013 10:56:21 +0200 Source: alt-ergo Binary: alt-ergo libalt-ergo-ocaml-dev Architecture: source amd64 Version: 0.95.1-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: alt-ergo - Automatic theorem prover dedicated to program verification libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries Closes: 718010 Changes: alt-ergo (0.95.1-3) unstable; urgency=low . * make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (<< 0.95.1-1) to resolve file conflict with versions of the package before the split into two binary packages (closes: #718010). Checksums-Sha1: 7bd8072a6901ce1586eb7319bad7c965e42d0aae 1573 alt-ergo_0.95.1-3.dsc 9a21c08fc07e7496fb7e34c7dcae50b530a699cf 14388 alt-ergo_0.95.1-3.debian.tar.gz 586cfc6ee8c6606c4c0a4142827edafbce3145ce 1051532 alt-ergo_0.95.1-3_amd64.deb a2fbcc36c83751ab223cd91d9252dcd491b09d30 439162 libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb Checksums-Sha256: 5266a20dcef3303e13554f25166119ebc54274bf90874cabc3bf226fe0d1ba68 1573 alt-ergo_0.95.1-3.dsc 8249b0682abb2a6f4a6f75f03545336320ffc493275f8143c5dd24a0474b98e4 14388 alt-ergo_0.95.1-3.debian.tar.gz f59398b998df42a2d2bcb6e93cc04127758bb43af875dc4ae3c5a3970fb7a04f 1051532 alt-ergo_0.95.1-3_amd64.deb ebc1611c3cd37206730fe9ea6d0f1dbfb6e88600007af32d83b0668b21de0fd7 439162 libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb Files: 013e8189685cde0f62127f45a0966c9e 1573 math optional alt-ergo_0.95.1-3.dsc beb6a54a3e8d645dad72d18dd7a61d8e 14388 math optional alt-ergo_0.95.1-3.debian.tar.gz a0d81563dbe0d713ede7f8ddaaa05932 1051532 math optional alt-ergo_0.95.1-3_amd64.deb a6d9a4767285b2c71f8a22c419109acf 439162 ocaml optional libalt-ergo-ocaml-dev_0.95.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (GNU/Linux) iEYEARECAAYFAlIYe2kACgkQtzWmSeC6BMErUQCgx45rcP0LjS7Ur0L9PvjcNNL/ INgAoMqxp6vIlbS0r0DAYGLGs3tdCLf3 =De1c -----END PGP SIGNATURE-----
--- End Message ---
