Accepted coq-hierarchy-builder 1.10.3-3 (source amd64) into unstable

-----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-----

-----BEGIN PGP SIGNATURE-----

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCant8yQAKCRCb9qggYcy5
ITqaAP4sqTfFpGWlladyLcCPf3s5b1oflwl9HVU6IAy4e2OJLwD+PnP6Xyq/Ca7U
p2TRyDvbtmTVFHm1GCoZ7ykOmeac1gk=
=wwsB
-----END PGP SIGNATURE-----