-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 Jul 2026 18:33:30 +0200 Source: coq-stdpp Binary: libcoq-stdpp Architecture: source amd64 Version: 1.13.0-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-stdpp - Extended standard library for Coq Closes: 1045073 Changes: coq-stdpp (1.13.0-2) unstable; urgency=medium . * Fix building source after a successful build (Closes: #1045073). Checksums-Sha1: d14c161ef23da815a84cdc7001ae1083484447e9 2082 coq-stdpp_1.13.0-2.dsc f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz a388f5862999dbb1e073ab6e42991c2a1cbf85d9 2884 coq-stdpp_1.13.0-2.debian.tar.xz 30868b80b497767b81bd8e1ec3b9cdd0866e1178 6908 coq-stdpp_1.13.0-2_amd64.buildinfo 76c67bf7f034097b00312119d65f1abf06238c74 5282260 libcoq-stdpp_1.13.0-2_amd64.deb Checksums-Sha256: 00fce5cbe387e445166f1ad3ed6fbe84f2a2c1ab4caff84f6d0a23c7d1d812e7 2082 coq-stdpp_1.13.0-2.dsc f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz c37f459b02b82f559971f402cd4417c44b536253baacf5b697acfe3fe090e789 2884 coq-stdpp_1.13.0-2.debian.tar.xz ffca90eac72cffcee8eee4a18c3b415e2d5419fa7dd208255eb9c3b333f6f700 6908 coq-stdpp_1.13.0-2_amd64.buildinfo 96b134957f2a663ed9b8f6b25eba2ff4bad81e4eec11fdbf520e57377b6d58a5 5282260 libcoq-stdpp_1.13.0-2_amd64.deb Files: 535e252918ab93f3e449e855d4a84e33 2082 ocaml optional coq-stdpp_1.13.0-2.dsc 45ee699801c8697aa5a623694a55b1b0 342787 ocaml optional coq-stdpp_1.13.0.orig.tar.gz 93080b1a7cdde028f9f6909dafc654ad 2884 ocaml optional coq-stdpp_1.13.0-2.debian.tar.xz 79bbc3c21c484d0275db2fd818631e10 6908 ocaml optional coq-stdpp_1.13.0-2_amd64.buildinfo 5e6f07ec651de22ce657979cb8b082ef 5282260 ocaml optional libcoq-stdpp_1.13.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpodv4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUR86D/9sLT8oQIMqveFe4bs8I7gm dsROfnrKV3Y5XvVy+fPrhnwO+1qZgKkzq4rmNKI10PFh1u/VnWSKMuHjRN3j0SWl 0jxkhA1owVG32UQHRNgYNeyud3hXDPyQXT7Hhfbr3gGGS7O7vgN2zZVaO1CaStdo ieehgQrdWceEramCVYX5BsNJHF/afrRe9xFvmJaC1X7kBKtWWs5mNJHJrfjDl5R8 g4BDrDDDtOAPwQD1Pc4pGCCd+I4v+LZFUMSTT3otaLpv6jzN+0DreTiP5nj2gBYu cbpnJf6wn7xvzEy/0SJ7WjX4RFdBaHAk18DMQJiNe62m8mUWcmPsnFxqkR1uyAs5 YyDOBJDufZ2g2zM9wiBqfQkTrpUxBOHWBxh3uxlWNM+uHFS0k0ry+JEGoGcxgcns 68uonevyEqwRsLxSzFa2K3LjmWQM3joKPDdGUwCBrgGJ5AKQAWQIuZIfpmcdi+vY 7Z8h8lU9q7SU55v3u3xMa8lm95O6GHCUOuFkSRGPAyFrz9+VqE18e7sAiujIBlTo E5v61iHHPLP3xVDNYUp4VRmpw7jCtKNHNyWu9Xgd/dp3mK9t5tYxcAvgJ4fWKZz5 FACRzY+VWXQvse0GO4AwmJzlIxzngn9S12LxiWF/csxsxTJKUfEpCKvwtOQLRaYw 8Wd7pxR3BfZpcaq6A2aSTg== =hbqN -----END PGP SIGNATURE-----
