-----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-----
