-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:28:40 +0100 Source: coq-stdpp Binary: libcoq-stdpp Architecture: source amd64 Version: 1.12.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.12.0-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: bdbfb15cb2913318afe725dbeb25c80e91396ec2 2078 coq-stdpp_1.12.0-1.dsc 43969f14e6cd3f39ea1b602c7f17b78e7253aa9d 259049 coq-stdpp_1.12.0.orig.tar.bz2 392d42df95c14d9a219b5b71ebb9f0184e2acf5f 2844 coq-stdpp_1.12.0-1.debian.tar.xz 728a60d555ffeb33645ae4f094741b88ed3198cb 6800 coq-stdpp_1.12.0-1_amd64.buildinfo a635f2e4f70043fbc58cc57e35f87d1772ef294d 4989340 libcoq-stdpp_1.12.0-1_amd64.deb Checksums-Sha256: 57e854a9329df6e8d90ab1d4fa6eac82bcbc0ac4d430dcd0edc6f51f2b38a04f 2078 coq-stdpp_1.12.0-1.dsc c80e6bd7f1447018e7ffbcee95bece1a083cff7adce5f5c9ea44fe70ae70952b 259049 coq-stdpp_1.12.0.orig.tar.bz2 9f5d8eed029d02cf4b8258b101ffc6285d07c0e598cb7b00d4bcbe5a659cebe0 2844 coq-stdpp_1.12.0-1.debian.tar.xz 58d502697e46139a2bba124f6cee204040359c3fe0ec152d5b6f6499fcf746e2 6800 coq-stdpp_1.12.0-1_amd64.buildinfo 498d384fcb0ba61fb3ac8f28e62750b0662e28d35a510598a9c9a45890797305 4989340 libcoq-stdpp_1.12.0-1_amd64.deb Files: f2b2b0d36439dfcf54fe6d79c81edfc6 2078 ocaml optional coq-stdpp_1.12.0-1.dsc 94d5932bf53e8c842445b3c1a28f4867 259049 ocaml optional coq-stdpp_1.12.0.orig.tar.bz2 d2f1100c868caa0e412f57f314689988 2844 ocaml optional coq-stdpp_1.12.0-1.debian.tar.xz a0b173ee2a995d4d1512192bc7ce731b 6800 ocaml optional coq-stdpp_1.12.0-1_amd64.buildinfo 532468e0a2bd516aed40d08b1e35cac8 4989340 ocaml optional libcoq-stdpp_1.12.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB0UIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQfOD/9ertgzjcoYL7YBeY0OEji/ CpBgVWp4zwWEaWm5ev+7U2BADywlg4DqxL9uGlD/K9p9OsXFvTz5JT9tTTUbmRNP QyLxT6MJ+jQLLQVB5ck3798lNfg6g1zpt5TdfI7Viy5pbdQag2GLL1sSteAF6Pcz xPfEixtdhkdDcdOo9ZF4CBsmFUL0KpPr3A3uDlSVjiaMq03vVVrN4P13MuzXFKEb tNIG4yzitAU1lk07nYzskLzC3SKhlmd58Cy8l3lMqAylk2hRQPWQ4vqKPmkTFXaw OUAHvvVFZkgWQL9PbXvwgohj07Es/8VLYYEFjA9WkDH485+q4X04osXvEb33Lwni PQkaSF/3VSC0RwqjBPTKS1L74P/N010z0eA3hVsxKMpFri1KRQ4k14j7LeoYnREo N1XDgCVzf7oY0mMV6rpBQ0Sa6qvM5GPmyS7aeqG2FXRG4s8Lfsj/uTuw1Hr5zT2u 2Pkt7xOfXFc756v9zySShcGoGledADKBViHXqJwL/WhWpEi9ppiTDX+KaGj6lVWQ gpCnZwar3eUQ3ZN0gj4leG8ZTNeKhvDdMNwD8RHHuyKnfZMHbg3Rxbawns0UJSIL KgSEKCwgGmgATv4T+cbFwzJn2MuuYaOmACSbPa3Uqkm+QzJxB9yi102oBvUKxsYl ywcVHYJi9+4LL6QzWnmq1Q== =SrEp -----END PGP SIGNATURE-----
pgp6PSsVRMI8n.pgp
Description: PGP signature
