[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#718010: marked as done (libalt-ergo-ocaml-dev: fails to upgrade from 'wheezy' - trying to overwrite /usr/lib/ocaml/alt-ergo/META)



Your message dated Sat, 24 Aug 2013 09:33:04 +0000
with message-id <E1VDADQ-0004KY-8j@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 owner@bugs.debian.org
immediately.)


-- 
718010: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718010
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libalt-ergo-ocaml-dev
Version: 0.95.1-2
Severity: serious
User: debian-qa@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

Attachment: 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 718010@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ralf Treinen <treinen@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 ftpmaster@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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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 ---

Reply to: