-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:20:48 +0200 Source: coq-stdpp Binary: libcoq-stdpp Architecture: source amd64 Version: 1.13.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-stdpp - Extended standard library for Coq Changes: coq-stdpp (1.13.0-1) experimental; urgency=medium . * Rewrite d/watch. * New upstream release. * Bump standards-version to 4.7.4. Checksums-Sha1: fcae604df05865a8404700d732c6d81213e7f4a1 2082 coq-stdpp_1.13.0-1.dsc f7858a70cf82cb2868495b032d67c2a5610c6947 342787 coq-stdpp_1.13.0.orig.tar.gz 9f5d0ed19eb4d9239cad102c1c47896d39b4aae7 2828 coq-stdpp_1.13.0-1.debian.tar.xz b1ccc873020d4eddbd8b03abf0052afd2b6cbd90 7393 coq-stdpp_1.13.0-1_amd64.buildinfo 2840be65c7c19590f7fb10cbad25228601816edc 5282608 libcoq-stdpp_1.13.0-1_amd64.deb Checksums-Sha256: 2a80c43f444bada66e6319c2cc090dc4cc776aa1b2bef906afe9c2c0e75693e3 2082 coq-stdpp_1.13.0-1.dsc f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz 245d2d9cfefed350a67bd4440594c4c69c64538111e08928f390c2a88a8aaec8 2828 coq-stdpp_1.13.0-1.debian.tar.xz ffb55ceaa4008ec30e8dfb51f56c64937d6fd7949e7d58edd3da56afcc257c44 7393 coq-stdpp_1.13.0-1_amd64.buildinfo de0446ca94559c7c1655f3d80817ca7159bf35204c0766b5093588ffde23e11c 5282608 libcoq-stdpp_1.13.0-1_amd64.deb Files: 4421b6cd748c69d78412bf829b028df0 2082 ocaml optional coq-stdpp_1.13.0-1.dsc 45ee699801c8697aa5a623694a55b1b0 342787 ocaml optional coq-stdpp_1.13.0.orig.tar.gz 95e9f6f3d372a7f211eba70185700fb2 2828 ocaml optional coq-stdpp_1.13.0-1.debian.tar.xz ad4b4dfa15e0039a1cf0a4477a81ca23 7393 ocaml optional coq-stdpp_1.13.0-1_amd64.buildinfo ada04d95ac018ff648289c680cfd0842 5282608 ocaml optional libcoq-stdpp_1.13.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpREtgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSTUD/49v8TrEK2yU8Z2KQzYH6Hf SjNXclQUblNZkBhW9jFMkasiK2hEsK+W8GtxeztjI1Pf/hPHPoJoHtU7HRdSq3sl PYQ2fmcr2l2AvThyBAc55W2Xz3fNjIxP9CwXF9SIl5IIoxGTAu1gfrzWXKz/iFa3 rDfubef9FcULX2dPClCWfRP7KP/KrS/C9Kll6sV/lT1mqLAHLl/Q8lQVY6Nc8GPx JL75QvWc988+f+Un3j9/ny9I5pujtVccy9J/yEHssUQy4maD8MiMJj7+hF+3ra3V b8Pm6x6Aby2nAA554AGP2BMTlwlOREFj+N51SINr5y2c1VpYOoWj73Yv0S2tFXqo SXbihpaFykWHORjLm36wBdL/dkrk1Fp2foGuV2gYWp56xWOiylqF5vtBPjRCZVY9 OEnhNOakYxmHt9cKnX+ROxh/N3raFgzBW/5DLztk136T6Wn0qjYn2scc+jqIEAsM g7LpHokcTFYG3krA4JFZ4hmwXBHSjXf0x2HMQxzuKOB1yxxbcu9OP78gUUkfKkP5 zZAOfuGZQE0OT+UQMzT0gLMQPNFtY5Kg3KbTmgnZ4sFyv3ejhvLYfndeV5Vvwb6p s+eG54T5lZnRPuvuIb5MVOX6Q3+4Ghnp781iNUConpIUlPDfud4tAJFlMIyX0I3B 80gphqBiLRc9Pv1K5OwqlQ== =pyqe -----END PGP SIGNATURE-----
pgpJKrsjEwidq.pgp
Description: PGP signature
