Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)