Bug#935873: marked as done (Missing dependency on coq-$ABI)
Your message dated Tue, 27 Aug 2019 15:02:05 +0000
with message-id <E1i2cyz-000BE3-R8@fasolo.debian.org>
and subject line Bug#935873: fixed in menhir 20190626-6
has caused the Debian Bug report #935873,
regarding Missing dependency on coq-$ABI
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.)
--
935873: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935873
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libmenhir-coq
Version: 20190626-5
Severity: serious
Hello,
All libX-coq (e.g. libssreflect-coq) must have a dependency on
coq-$ABI. libmenhir-coq lacks one.
Cheers,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 5.2.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
libmenhir-coq depends on no packages.
Versions of packages libmenhir-coq recommends:
pn coq <none>
ii menhir 20190626-3
libmenhir-coq suggests no packages.
--- End Message ---
--- Begin Message ---
Source: menhir
Source-Version: 20190626-6
We believe that the bug you reported is fixed in the latest version of
menhir, 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 935873@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated menhir 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: SHA512
Format: 1.8
Date: Tue, 27 Aug 2019 15:43:33 +0200
Source: menhir
Architecture: source
Version: 20190626-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 935873
Changes:
menhir (20190626-6) unstable; urgency=medium
.
* Team upload
* libmenhir-coq: add dependency to Coq ABI (Closes: #935873)
Checksums-Sha1:
4c79a29158cc6dfc42577c237b8c32b851ee6c85 2050 menhir_20190626-6.dsc
4b69cf7c3d0ae02413086e36e891ac265aec5661 16308 menhir_20190626-6.debian.tar.xz
Checksums-Sha256:
98e2919ac8680d78138a5dfce5ae2ab0495485eaf6eb68b6f77fbc4e114dce96 2050 menhir_20190626-6.dsc
f7d14f637c70739615fffdf5b8797ac25003d2fdd2999ca720d1a8ea6c7de1b2 16308 menhir_20190626-6.debian.tar.xz
Files:
a5ff39799fb68c0e1888a738a7a27879 2050 ocaml optional menhir_20190626-6.dsc
595b0be434b9e15ef9949f28823716d2 16308 ocaml optional menhir_20190626-6.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1lNCkACgkQIbju8bGJ
MIGRDwf/QiGHNaBb71RQ7bZ6o7NIr26jBT13IiZGPz5wxJ+fClf6sIzv6lziWqEo
MMNvxLoqDbyiyiSGX048CMJ7x3oeFM/7bJ9M44V0TchuWvjc0tHSwc1DLuPfV+cn
cInc2Bda5VjaUC96ch/LGjEoV5+nzT2OCkVgEqcCbKAPgCwEWgc7jNrgLTYaMesp
2uBeXi8fBB6++dgiQQdejpyfAb0Fh5awKef4L1LC+i5zgtsfCouCRb3cBpobMXJd
sAqhzW+Fb9DXJeDrt0TGKLPN7FdrRemOgtZVumtpMQxp5wNN06nJqvyLw8raMGxG
Mj4LhiFySnE2mYFEOa5TjRL2ExHczQ==
=IIrR
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: