-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:51:23 +0100 Source: coq-hierarchy-builder Binary: libcoq-hierarchy-builder Architecture: source amd64 Version: 1.10.1-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq Changes: coq-hierarchy-builder (1.10.1-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 07fb192af4c6602b299fc8831e898018eb70ed42 2170 coq-hierarchy-builder_1.10.1-1.dsc 9b12939eda12278bd400debb056c625df1f8b06e 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz 1a3a5d0d372b9a173cafd8a39e09e35891b193a9 2944 coq-hierarchy-builder_1.10.1-1.debian.tar.xz 01936984c3e776c115a7c994bc48c7a403dbde53 7369 coq-hierarchy-builder_1.10.1-1_amd64.buildinfo 33ed617312ab302d765923ad7f56225b3041ccd6 971868 libcoq-hierarchy-builder_1.10.1-1_amd64.deb Checksums-Sha256: be0c6adbedabaead015dd3b9f4cd6c0512e882a82b63de9a7ef193683a3b00f9 2170 coq-hierarchy-builder_1.10.1-1.dsc 9a9e8cee75cfe0edf501d13c9d4e2699830ec01dde0f0d6440a9aefe21bc1cd2 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz d03c414199d13be65b7a99dea3dd731ffa77270719cdb59c67b1810aa69f3809 2944 coq-hierarchy-builder_1.10.1-1.debian.tar.xz cecdc7d5e9715153d0daebb64fa0e0aa1ba9d8aba18c057f88cc2b4fae5c5549 7369 coq-hierarchy-builder_1.10.1-1_amd64.buildinfo 512480313c5c43ff0775c609459934ef936a28ddd1bc52a5c3c4930345d514e2 971868 libcoq-hierarchy-builder_1.10.1-1_amd64.deb Files: d3eccc1221afe82b4fd019d1b73ad05f 2170 ocaml optional coq-hierarchy-builder_1.10.1-1.dsc 3b0ec00a082c456578a067d5e2fc5cf4 218998 ocaml optional coq-hierarchy-builder_1.10.1.orig.tar.gz f5cde2b8fcf2e6599a28f8e277256eb1 2944 ocaml optional coq-hierarchy-builder_1.10.1-1.debian.tar.xz 7b215e567a0d2b7300ed3dd29ef9f7de 7369 ocaml optional coq-hierarchy-builder_1.10.1-1_amd64.buildinfo 0c2696708547df51a1eaf2079b603abb 971868 ocaml optional libcoq-hierarchy-builder_1.10.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB2TQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVAJEACbFtaYM600lkJOEGJM8zYV KL1+w6xSdvPW0xcKCYqWqvgjwLgnkyfS8s9SY92X96r0Hl7rrZLXc442i5ubHpZR sfSRzihfdTU5JLHIuwkSIsra5eewNhIs6t7usJm95SaQe20uLFcMr1Y8+7KepWDv ylaecY/QgQ3qMQtOgfT5RRMbAo6oT25y46sy9aqtFzn2VYkV/cO+DBaOypJCcxya eqI+bQPifKI8IPveKN1OVIE52tc1wC7ZzUaq/haKFVwBdkoFTXHLdlV+yfC5SUEQ mR/3Q0GMb4biKcwqYG6hXCARhoo1b8itbq+NU+DZrnmywxYH6e+gM3nSNksGsKej BATBnsXiYBOiEFTLYsIknTr451RI2SQNuLAw2XKwZ3/NtOP81m6rHRu/a0mRFUCR KTA5BLepP+Lk874CoOzMI5TekMGwoO17yleDxnP/VSOQTXjKTNNyUNEolbl6zapr +cFjCS81ku8mM+bnje3jzNzGnN1ICYk8qs3zB66nuhYCUQexVmSps2NfaZdH8IcI ne7KOh+4VFGoxLwqI8XpoZkKdL0DJzT1qx+D/9k+UHpyRHzdpB5yYRVcAZ5Wg6Xq YQyH/qvEfLK2aegAmxiRzOjxeBEt22lFsWu4n7qWt9Hup0HphFuEvidJZTd4q+PX y97zzRRIKEr2CFfSgrIVzA== =kktc -----END PGP SIGNATURE-----
