Bug#1041869: marked as done (libcoq-paramcoq no longer depends on libcoq-stdlib-*)
Your message dated Tue, 25 Jul 2023 08:38:21 +0000
with message-id <E1qODYj-00FuSd-OH@fasolo.debian.org>
and subject line Bug#1041869: fixed in paramcoq 1.1.3+coq8.17-2
has caused the Debian Bug report #1041869,
regarding libcoq-paramcoq no longer depends on libcoq-stdlib-*
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.)
--
1041869: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041869
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: libcoq-paramcoq
Version: 1.1.3+coq8.17-1
Severity: serious
Tags: ftbfs
Control: affects -1 src:coqeal
Package: libcoq-paramcoq
Version: 1.1.3+coq8.17-1+b1
Depends: libcoq-stdlib (>= 8.17)
Package: libcoq-paramcoq
Version: 1.1.3+coq8.16-3+b1
Depends: libcoq-stdlib-ewsr6
This was likely the root cause of
https://buildd.debian.org/status/fetch.php?pkg=coqeal&arch=amd64&ver=1.1.3-1%2Bb1&stamp=1690189656&raw=0
--- End Message ---
--- Begin Message ---
Source: paramcoq
Source-Version: 1.1.3+coq8.17-2
Done: Julien Puydt <jpuydt@debian.org>
We believe that the bug you reported is fixed in the latest version of
paramcoq, 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 1041869@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 paramcoq 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, 25 Jul 2023 10:02:50 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.17-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1041869
Changes:
paramcoq (1.1.3+coq8.17-2) unstable; urgency=medium
.
* Make the package depend on abi-versioned libcoq-stdlib (Closes: #1041869).
Checksums-Sha1:
d36f46ba53a01d9115a3d21f6912df3d4c2b3ecb 2111 paramcoq_1.1.3+coq8.17-2.dsc
5d9ba4871a0e4d1e33bab5109018d9032910bd1d 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz
604df9c23bf462199f12510ff6599109e46faee6 7632 paramcoq_1.1.3+coq8.17-2_source.buildinfo
Checksums-Sha256:
b0f3ad117032324225398bc18cf63eb395d9dd7f1b2a79d228bd83f8621ea09e 2111 paramcoq_1.1.3+coq8.17-2.dsc
43e2688be32c9467f395578daec3914d6c30267fb420e44fc5cdbe348ccd4f9d 3048 paramcoq_1.1.3+coq8.17-2.debian.tar.xz
af10960d14504674e7c125ce0896d4ab3c1b51cd2fe6c50312162079af454341 7632 paramcoq_1.1.3+coq8.17-2_source.buildinfo
Files:
dc5581576913a736873e950e6086e6d3 2111 ocaml optional paramcoq_1.1.3+coq8.17-2.dsc
f77b28ced5d3037ee6ded490c30c1014 3048 ocaml optional paramcoq_1.1.3+coq8.17-2.debian.tar.xz
12c0db54b25d1dca9fd6089535ad469e 7632 ocaml optional paramcoq_1.1.3+coq8.17-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmS/ggESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcsIP/3iiNpIK5IJ79We+zpgQMAKg/PmvqUbv
aIK/ebl7jg89BAE18NEbJccwBATW/0CfsWm+nZNgzmv/VTwFJbRyKzU9ScCAX+Y2
ZVnXh/IRUSd9QJMttiy5R6/DqWFEv8E1Vf/CkU+kJGzEvXNTfzaKwQNdDVhWYoAp
fPujpVWJg2fio0jVLbV/+fVnKOI3riNFiy+gaUIvyF2TQQiUf39G6Vfv0sEPSTej
KE0+MlDugocudTvjMbHnnyhE6tkA7XdVhqzEUlgTFxwhZ7iHt+OTvktyykL6VVZn
4TqrpPFoQNYXNp6/wF8Vc4XBid8yBeIrC1CmCVh4sKCaRMMt57WLG0k1oonoSlTj
civIPZDOj+dLNRLP6PzQV69AWy5YpAbA3hQlQFRg4knenNmcaaOMgiuYgagMeVPs
fcqNd+6R5pyezwChnCJR1GFXux2hTXGQRJOGv9JXPCSEV01G34I4C+mzpwIqon8N
Gapbr0pZwVYTSXz1YoVKQ3uvTPDF3QyESETeDMax8I3bjrNGn2zou58bwGitLWFg
T0fn+x8GVhRMeyBxu4pG7iLsJY88hsFEDf2IfgU1GnMYNJYMs2EgtXflP+oeggcB
Kmwg7V4roUvr/se2+M4H2CenY/xmDKq7euK1xAXdJLdlKHWW9Sv9voYwigy3JbaL
v/6MsqoCoc8l
=4ug+
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: