-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Aug 2026 07:03:32 +0200 Source: coq-hierarchy-builder Binary: libcoq-hierarchy-builder Architecture: source amd64 Version: 1.10.3-3 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq Changes: coq-hierarchy-builder (1.10.3-3) unstable; urgency=medium . * Re-upload after a binary rebuild broke all rdeps. Checksums-Sha1: bd9ce6ac9c98f4fc33a264350210f6ce081555ff 2177 coq-hierarchy-builder_1.10.3-3.dsc 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz ae81150dfc29aeff5ea21cedc859ae267768ed35 3092 coq-hierarchy-builder_1.10.3-3.debian.tar.xz 8c22a848b05efadd59bdbeb6fb07240e03a625ba 7190 coq-hierarchy-builder_1.10.3-3_amd64.buildinfo 458bc5eeb903b46586b917b35e04cfc587bc7373 830972 libcoq-hierarchy-builder_1.10.3-3_amd64.deb Checksums-Sha256: 7b6f4ba5898ff0caa385f8fa9816eae5366b9a38e38ae80bff68dd6b673f3216 2177 coq-hierarchy-builder_1.10.3-3.dsc 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz 4ae1531b07aede86136b24708b6cb5e4623306d7acb8925273a3f3369fa2a7fc 3092 coq-hierarchy-builder_1.10.3-3.debian.tar.xz 92c27e24fe03f6ad67b3cd943d6f9507bce48451c6380919d6bb32ddfef4e892 7190 coq-hierarchy-builder_1.10.3-3_amd64.buildinfo 8ae95e23b107d35644669d791c818d27c933395c14854acc98cb45aa61b77989 830972 libcoq-hierarchy-builder_1.10.3-3_amd64.deb Files: de19c9151df0028357c9c1b0d1e6809d 2177 ocaml optional coq-hierarchy-builder_1.10.3-3.dsc d34079e82bea60c8ec3b1638629cbc88 623811 ocaml optional coq-hierarchy-builder_1.10.3.orig.tar.gz 369030aa9afb31a8fc32c759526ab276 3092 ocaml optional coq-hierarchy-builder_1.10.3-3.debian.tar.xz 91212723e7d56f96083dfbec50825002 7190 ocaml optional coq-hierarchy-builder_1.10.3-3_amd64.buildinfo 9ebe62b748cf50f39c6e2b431bcad99e 830972 ocaml optional libcoq-hierarchy-builder_1.10.3-3_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp7dvkZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUen8D/9lP2Ywpv/FhgopeYrE+Lq5 7n/An12UTbEQfBGYvVmg2l7NZAicnO5wRFgRlu7+6dT/po/NppRDBuu8vLlc1OcA qqaiaKoiIK628w+yP0ryNwXhWhpPFnrOkAh7jQeRYGqN2XGcdKMiKWiz0OonU77M n2hNf8hpQmrKmSx/9f4CcfoS5YfZiydD0xX9Enbe8Ehhr9IGoraZHwAT3z6NkF1W 99Z8gdgAlYjby0QkWkeavq6E/94FUuRFPi7xpLRTeC/qv36sHUdwtC00L4QlBSQF dR5FjDtF1zSAuVce/YdSDImifSxPaW1ylFX6seq6KGmvPH8XpTfCZ2bIeOfcH9MX SKuZywNzSIAysgHUhRdtO3Dq4W1X82YVXdXhWqR4EeSC99XZHLs5fNNa/3/ZxPr2 N4p5LTH9ZgsnZmHlU5nwR8YG9MNWTY2PO6SdfP1yyT5/g7vV1b7CB9lRsc25MRO1 BtXhDGzT1xIhfjcwEiCqEZmpVv+tlov7A6/ffU5QNBlG6BebZDATxQFYTvrDECpo qwSMlRbkOtSYIjlOYzmbjhnOmZyopN7DXCeULLgSXOEsCuyjHS8dZvMQiXUFD/S3 /cOFp/s0+4fC2SuqNN8PI0HKfWZ1ugzqpfK9meQWsE96uAdp3QmX1p0fAPK9Qzcg rfpj5lDD1a0dDdthzCRuqQ== =md8m -----END PGP SIGNATURE-----
pgpjNX52O5J9r.pgp
Description: PGP signature
