Bug#1003797: marked as done (libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable)
Your message dated Tue, 18 Jan 2022 15:49:59 +0000
with message-id <E1n9qkB-0002Z8-Gk@fasolo.debian.org>
and subject line Bug#1003797: fixed in ssreflect 1.13.0-2
has caused the Debian Bug report #1003797,
regarding libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable
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.)
--
1003797: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003797
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libssreflect-coq
Version: 1.13.0-1
Severity: serious
The following packages have unmet dependencies:
libssreflect-coq : Depends: coq-8.14.0+4.11.1 but it is not installable
libssreflect-coq is binary-all, therefore requires a source upload.
--- End Message ---
--- Begin Message ---
Source: ssreflect
Source-Version: 1.13.0-2
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
ssreflect, 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 1003797@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated ssreflect 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: Mon, 17 Jan 2022 08:57:04 +0100
Source: ssreflect
Architecture: source
Version: 1.13.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1003797
Changes:
ssreflect (1.13.0-2) unstable; urgency=medium
.
* Source-only upload to trigger rebuild. (Closes: #1003797)
Checksums-Sha1:
13c900fae08ef15fe45e66e4ed145f6af21dfc27 2111 ssreflect_1.13.0-2.dsc
1cfdf8f9f0e8359140c14a612630bcf6739914f1 12140 ssreflect_1.13.0-2.debian.tar.xz
1daf0d96591a2da0ef36e214b0ef26762ed2d700 7377 ssreflect_1.13.0-2_source.buildinfo
Checksums-Sha256:
4b2e56a046ced98c9db735c0f477b8f73b3a6f52213bad949542e0c8482ef5af 2111 ssreflect_1.13.0-2.dsc
ffc2d39af00b107a5877c5a1174f310a9ad9bdb658d2f635449eee8db96de5ef 12140 ssreflect_1.13.0-2.debian.tar.xz
935ff24718d330d79b5b53f2ce821f03ab917e83d610edc56d01dff1e78b6c07 7377 ssreflect_1.13.0-2_source.buildinfo
Files:
25369e72c0cda917a9027174ca8af2fb 2111 math optional ssreflect_1.13.0-2.dsc
74c18c61db19ca08e51d86a77f104f6e 12140 math optional ssreflect_1.13.0-2.debian.tar.xz
08476ec206fbd520630f8370a41950dd 7377 math optional ssreflect_1.13.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHm298SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQ24P/12glSLHkxaIxShzmnQOKVZIUa3xse6z
2rCzyUHrxFc41ENGj3cVe6idIBh37dJu0IEksxfV+B8KmOdTiwk/AbSfPidoYKKY
6jTCMTUhUs860eleT1ZU85IhmmfQnwInT9Sx8yET8gpD2nZpck507BV99Dn8JTEb
1KGF3l2BvADyn0jePQruc5i/gIuM0r4KXoNHkc6pBmbrWfaj7OkZ2UafLiw4gFJ2
ffbpIj5+pqLW3aH/ZlcN2R3HWlAVny8kzUkJSAcIGBZkKFmbGmobztU8ZKV+Jxyl
S8XEDWUuG2cEK/koNB4tiG6DUIhlagONkDZmwh5qY0PRDHesCjf4xt3dWddSOmz2
kJT9hUkXpVZ3SHpfpIbEP5LsiOuODX2ygRjnq67TakGHDmbxewsYMavMUxQ+aEc6
pZKjXJCRy8oT2V6LCFhZc213GCBuHfAKMkGGMS3+2TtSxghy/4EGG+Jd4eDzeBvU
CS/Go/ALedov9ye8jtQmk0+etwSibu3eIDL/xCfFX58I8aydyePk00coefP6iEM+
qNI+n7UJUsAJDOQorvqILS7pNTK8g4VceTyFjC4MnYIJ0OQ4rqImMZBqaQnKPzLu
3jel8Sdgji0n3v/PzUnm21WQLMLDif9qsStUgwhVDVrGmCjKxCd/p3TdMSP/D98Z
iR278M2Tbi2M
=OLjF
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: