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

Bug#1012479: libcoq-paramcoq-ocaml: missing Breaks+Replaces: libcoq-paramcoq (<< 1.1.3-5)



Package: libcoq-paramcoq-ocaml
Version: 1.1.3-5
Severity: serious
User: debian-qa@lists.debian.org
Usertags: piuparts

Hi,

during a test with piuparts I noticed your package fails to upgrade from
'testing'.
It installed fine in 'testing', then the upgrade to 'sid' fails
because it tries to overwrite other packages files without declaring a
Breaks+Replaces relation.

See policy 7.6 at
https://www.debian.org/doc/debian-policy/ch-relationships.html#overwriting-files-and-replacing-packages-replaces

>From the attached log (scroll to the bottom...):

  Preparing to unpack .../libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb ...
  Unpacking libcoq-paramcoq-ocaml (1.1.3-5+b1) ...
  dpkg: error processing archive /var/cache/apt/archives/libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb (--unpack):
   trying to overwrite '/usr/lib/ocaml/coq/user-contrib/Param/paramcoq.cmxs', which is also in package libcoq-paramcoq 1.1.3-3
  dpkg-deb: error: paste subprocess was killed by signal (Broken pipe)
  Errors were encountered while processing:
   /var/cache/apt/archives/libcoq-paramcoq-ocaml_1.1.3-5+b1_amd64.deb


cheers,

Andreas

Attachment: libcoq-paramcoq=1.1.3-3_libcoq-paramcoq-ocaml=1.1.3-5+b1.log.gz
Description: application/gzip


Reply to: