Your message dated Sun, 16 Feb 2020 16:34:26 +0000
with message-id <e1j3mse-000c3p...@fasolo.debian.org>
and subject line Bug#948859: fixed in coccinelle 1.0.4.deb-5
has caused the Debian Bug report #948859,
regarding coccinelle: Package is uninstallable
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.)
--
948859: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=948859
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: coccinelle
Version: 1.0.4.deb-4
Severity: grave
Justification: renders package unusable
Dear Maintainer,
The coccinelle package has been uninstallable for many weeks in unstable:
root@f3:~# apt install coccinelle
Reading package lists... Done
Building dependency tree
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
coccinelle : Depends: libpcre-ocaml-2h5n2 but it is not installable
Depends: ocaml-base-nox-4.05.0 but it is not installable
E: Unable to correct problems, you have held broken packages.
-- System Information:
Debian Release: bullseye/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.4.0-1-amd64 (SMP w/8 CPU cores)
Kernel taint flags: TAINT_WARN, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8),
LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
--- End Message ---
--- Begin Message ---
Source: coccinelle
Source-Version: 1.0.4.deb-5
Done: =?utf-8?q?St=C3=A9phane_Glondu?= <glo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
coccinelle, 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 948...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glo...@debian.org> (supplier of updated coccinelle 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: SHA512
Format: 1.8
Date: Sun, 16 Feb 2020 17:13:10 +0100
Source: coccinelle
Architecture: source
Version: 1.0.4.deb-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Closes: 948859
Changes:
coccinelle (1.0.4.deb-5) unstable; urgency=medium
.
* Team upload
* Add libnum-ocaml-dev to Build-Depends
* Fix compilation with OCaml 4.08.0 (Closes: #948859)
Checksums-Sha1:
aa3ae663e45e936d3f6cf20e68f5000fd77c7434 2286 coccinelle_1.0.4.deb-5.dsc
c763d2e8508e6445c36873ef09b1d4177f52b645 17200
coccinelle_1.0.4.deb-5.debian.tar.xz
Checksums-Sha256:
e5e81a8abafa52d008b3d0e1ab09ba10ec96de7d8428be13a630286aa5720f17 2286
coccinelle_1.0.4.deb-5.dsc
2f16d4781d88fbbf2b8a33c4e5d4221576ed3167bdbba75522fdb74809b79df6 17200
coccinelle_1.0.4.deb-5.debian.tar.xz
Files:
ec2cffe160d19e29ad5222439dae2141 2286 devel optional coccinelle_1.0.4.deb-5.dsc
0081b07475498ded040bfe965057baa1 17200 devel optional
coccinelle_1.0.4.deb-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl5Ja4ISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBo30IAK0nSZl0MhWjzefxQHdPPmQ15kvAVNfc
2EfT2p3mwYXdminxAUDnPTGUM23AMqAk6J1u/dLXHUdsMvR0x4OeCUdEvVmkbSpN
hvPS6g81g1PWhbN6ntWBVJtxAGHdQ1za5gmnie2dQ9yOtJjqqwqIPMnu59/2Ey34
xpBVyClyn1kDkZxWkiU6tNd2WMGPolUTLgL5qQSbTVY2EHMOkvmCqtGFHZcIPISF
Y8O10rZKHlv7c0PU4ff5XMzEr1FaOQJljG0BMoB1sNKXO2MOwnMliscWcbkGo3PZ
YYE1zNluOCqK5CqsEDBf7lciJXV/XTZnQorosmx5m4vqKERygAeSwKw=
=/25x
-----END PGP SIGNATURE-----
--- End Message ---