-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:16:06 +0100 Source: coq-hierarchy-builder Binary: libcoq-hierarchy-builder Architecture: source amd64 Version: 1.10.1-2 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-2) experimental; urgency=medium . * Strenghten depends on coq/rocq. * Add patch to avoid a name collision with elpi 3.4.3. Checksums-Sha1: b56ab5ebfff1c861c1e69348f4b2ef2dbd268670 2177 coq-hierarchy-builder_1.10.1-2.dsc ba7bb103975aa31fd66ea2d8fb5dcbbf2e415254 5308 coq-hierarchy-builder_1.10.1-2.debian.tar.xz aeb2b08739d4f4566cda410380a78b862af315c0 7151 coq-hierarchy-builder_1.10.1-2_amd64.buildinfo f8c5866bc4aaef8461732ea80453364d2c3d4b10 982456 libcoq-hierarchy-builder_1.10.1-2_amd64.deb Checksums-Sha256: 253055037935ae24dd5ffc02efe931517ecda6a3872d76b047f56fc7c263e698 2177 coq-hierarchy-builder_1.10.1-2.dsc f8849484cfbb8af250cd74db0860d32a79c588500ae47220aad590fd9ae879c6 5308 coq-hierarchy-builder_1.10.1-2.debian.tar.xz 81b476ed797927310969bdaa5e3a19db7104a38d2a7bdf1b1cad2c7bc9a00ddb 7151 coq-hierarchy-builder_1.10.1-2_amd64.buildinfo d01e71c5538f4e7e531fd4dc6b4a58dc46a4e6722279e2995b63eb7d33ab68ce 982456 libcoq-hierarchy-builder_1.10.1-2_amd64.deb Files: 248ddce0fa6c9e20ec9b7706719bd88d 2177 ocaml optional coq-hierarchy-builder_1.10.1-2.dsc eb0b55ebd9b66a3f578403df4ba02e4b 5308 ocaml optional coq-hierarchy-builder_1.10.1-2.debian.tar.xz 0b901843a5362f27f1a5dd534bc421a6 7151 ocaml optional coq-hierarchy-builder_1.10.1-2_amd64.buildinfo c736ba9081446ef539559bae01fbab8b 982456 ocaml optional libcoq-hierarchy-builder_1.10.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTf2gZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfp+D/9lP5geLKjMnYamwuU4lt4z YjrRGdV3112sriD8nWFunvVAM4g+NvpdN6Rnjhr+UFdccSJpzXjxuFWIPtWEfh1L vt1ZB/SevghXLcZLBS3Qrp4emzT/JWbZY/hSTiJSB1faJw0bb5ZF9b+r+w2IKxTc zukCBA+yP06Tf+cdLAli/0ER2PR5U8K/kFkIOltw5mdBZC7lU5l0p94M43czTEOS 3WNPL9IEsqp/4/YK/mm4Sgiyhmhjkkboc08IymoGsopuQu/iYny8O+u3atlTRYed 2+ADvVgzUjZMaIFsYOz9WarmXCNSIdpH+KaF4pFxPsKCe/nkApcz9YB/OEjcM4du lw1wO8hU376Utrdcy8Ax4XWHNJXKh+FIzM+7+j67aorfTmKZlV/1wfGk1SVywURj uCBu773xrhq8TfZrDNvYMsLBnSctn/FeC55zDvNHjWjX0wOgdU8CE8c7de/v9acg pHSsvtAcYW4GNMYO2HsCKezzktwO4v0qdSfXmrCuulce7KBbY7awq3HRv0H7t++w 067NVF7A5XwcuBmWsJ9ojynfkT6xbj4m12p8OxeKCA/puETDDkzRinQduSU33F0p sWUFxRGo6OMAb+mKgaNrq+rxXhdq2k8j9AEsaJYqUzCE/BztOgbJfl1igg8AgD7B wKkNrquZJtmisNm/Tc6XCQ== =rAjd -----END PGP SIGNATURE-----
