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

Bug#949975: marked as done (coq,coqide: both ship /usr/bin/coqidetop{,.opt})

Your message dated Wed, 29 Jan 2020 07:49:25 +0000
with message-id <E1iwi6H-000EJZ-Dz@fasolo.debian.org>
and subject line Bug#949975: fixed in coq 8.9.1-5
has caused the Debian Bug report #949975,
regarding coq,coqide: both ship /usr/bin/coqidetop{,.opt}
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.)


-- 
949975: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=949975
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: coq,coqide
Version: 8.9.1-4
Severity: serious
User: debian-qa@lists.debian.org
Usertags: piuparts

Hi,

during a test with piuparts I noticed your package failed to install
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 .../120-coqide_8.9.1-4_amd64.deb ...
  Unpacking coqide (8.9.1-4) ...
  dpkg: error processing archive /tmp/apt-dpkg-install-XoXXFb/120-coqide_8.9.1-4_amd64.deb (--unpack):
   trying to overwrite '/usr/bin/coqidetop', which is also in package coq 8.9.1-4
  dpkg-deb: error: paste subprocess was killed by signal (Broken pipe)
  Errors were encountered while processing:
   /tmp/apt-dpkg-install-XoXXFb/120-coqide_8.9.1-4_amd64.deb


cheers,

Andreas

Attachment: coqide=8.9.1-4_coq=8.9.1-4.log.gz
Description: application/gzip


--- End Message ---
--- Begin Message --- 
Source: coq
Source-Version: 8.9.1-5

We believe that the bug you reported is fixed in the latest version of
coq, 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 949975@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 coq 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: SHA256

Format: 1.8
Date: Tue, 28 Jan 2020 20:23:39 +0100
Source: coq
Architecture: source
Version: 8.9.1-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 949975
Changes:
 coq (8.9.1-5) unstable; urgency=medium
 .
   * Be more precise in install files to avoid that usr/bin/coqidetop.{opt,byte}
     gets installed in both the coq and coqide packages (closes: #949975)
   * Add an as-installed test for the compiler and the toplevel.
   * Build-Conflicts with libcoq-ocaml. This seems to be necessary to avoid
     that coq depends on two versions of libcoq-ocaml: the one being build,
     and the one that is installed on the system.
Checksums-Sha1:
 87645aef961b0954ed7c59372038d07c87869a16 2491 coq_8.9.1-5.dsc
 fe6146d2fbd0862db90eb77dd03d4f6d6fd67a7b 32048 coq_8.9.1-5.debian.tar.xz
 7afc363ff2c4872969876c712da564869b24eeb9 13798 coq_8.9.1-5_source.buildinfo
Checksums-Sha256:
 32b49a253f22755a4ba29fb0704ab46d4dcbff7e68708ae86f10a53d53313145 2491 coq_8.9.1-5.dsc
 bf7a6e32e7eaa918553fc93a357ec11543f71e8676571557e8a7ebe1287ef350 32048 coq_8.9.1-5.debian.tar.xz
 217ee234f123b4d765d3862c4508dd859a5f37320c28b1a6adf4747c67cfc154 13798 coq_8.9.1-5_source.buildinfo
Files:
 4801c82576a070b9a8189149d4f4a1e3 2491 math optional coq_8.9.1-5.dsc
 14f749cb308946e31d8c36ed559ee631 32048 math optional coq_8.9.1-5.debian.tar.xz
 fc81625a7cde632b25e125ff8144f7d2 13798 math optional coq_8.9.1-5_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4wqGUACgkQdFxHZtTK
zf+dTw//UIVQEq/PSnwXIf1XTQszj3R+oN/U4/sGdvceEQ2kMrAYSNQoNnGLh06X
/8cJUL27hgvC8nZBfq3bJdmkiYmCsOqdi46X6zmJQhvgxZTC9uGfYeRSScLOaNeh
v2yhDBUjLwDp76sVBr1lSjGqFgj4ppEoREni0eL5quuyOeVpfmmR0Hf3RH8Km4Bx
70D3uVfNKoJk9oHksUR4TSlVfGOXmthVQ/gRxRoefAegjBDbq4dbwduC35ozWHP6
I2CviOfDEsdjfcoCdoon79C7SLk6qXZs312DTlCqeu5ZxKVmEL1u1dfvPyJY58ue
MeAZqqHcnh60SbGwzt0re7nFIy8j/qEWVJEnCyM8FEKlGLLkZKWY1INx+8mfyVDO
oRiJEfFD+mHZRs7O4NefhingXeBI+c/jp7wH32UZ5jc9e+dzvAyKq9XLw4fuf8G3
xZ5LZ2MvIbFeW51VojZuceyzb2lFzZtLRpMApn7v6j6PlXVVHAzAqM0F2v+vM/QY
tjmjuGF+/EUp5LvsBYy2No2+S7fO1XNR7wa0MkDFWnBFLCb5bj3xf1cNfRSnVyMm
aeMN8ODROmLX/rkxtxF2UpMMyH2dZ5fuhk9i7kh5H7egrQv8F1+0x7li9V/oPwWj
cJDd355vCyd6Y/LtJeThkNDk8gU4JjRY+gT9ZapdiIjt9Irwmrw=
=/HyR
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: