-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:39:08 +0200 Source: coq-hierarchy-builder Binary: libcoq-hierarchy-builder Architecture: source amd64 Version: 1.10.3-2 Distribution: unstable 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.3-2) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 9f3b78f4a29ed93e3b0b8ef1d1d4a99c88e4b2cf 2177 coq-hierarchy-builder_1.10.3-2.dsc 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz 9a9fd6a83115202cc9d9f6c94fccebf0c9933e3c 3060 coq-hierarchy-builder_1.10.3-2.debian.tar.xz 36f8f3481aeb7137f88b4baceee67ce16932f70f 7262 coq-hierarchy-builder_1.10.3-2_amd64.buildinfo f5d8051449c4f17d3440f7a8e617930dadc721df 830892 libcoq-hierarchy-builder_1.10.3-2_amd64.deb Checksums-Sha256: 10fe1895f9c7ba3f7c6404371d7f2f1d1d6798a5932de006d3320ecd9d27c2a5 2177 coq-hierarchy-builder_1.10.3-2.dsc 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz 4bdf74a374da210eb5bbbb9bfba0b5f5d908976fa9e90243154d3dfe0d364d63 3060 coq-hierarchy-builder_1.10.3-2.debian.tar.xz d7acc61be864dba1d2c912a04cc29b7c13393e448df3cacdd408bc0ab50ff88f 7262 coq-hierarchy-builder_1.10.3-2_amd64.buildinfo 53e20a544eca4ff3cd5fe60287f2965fd859bc4be45ad6be96a27aece8ee13ff 830892 libcoq-hierarchy-builder_1.10.3-2_amd64.deb Files: 03c7d1edbf0e8bbdaf5e136e840fd388 2177 ocaml optional coq-hierarchy-builder_1.10.3-2.dsc d34079e82bea60c8ec3b1638629cbc88 623811 ocaml optional coq-hierarchy-builder_1.10.3.orig.tar.gz 6e12cef82cc9894a9f3f814c819d6dbc 3060 ocaml optional coq-hierarchy-builder_1.10.3-2.debian.tar.xz 8ec6d03b234888456cb4bfbff6ba758e 7262 ocaml optional coq-hierarchy-builder_1.10.3-2_amd64.buildinfo 1a8eabdbb62e22718459140b42084d22 830892 ocaml optional libcoq-hierarchy-builder_1.10.3-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1Q8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeDlD/9IJD5vbfpkr4sgjTWNxwDF bw3Q/OlImf05JrJmOfeR3rUKfBlrhJnT3wUO9G222XYQ5NuDpFJh+vn5U+IMphuy h4AhxZrPHU4Sgx3ni6jL9YBbYjs8R3vqzSsuUsQvN69td6xDp38oylueFKG4Hxbo CMCeNEoXBCJJ2qKVpu7w6RgKQSEculDtfhU1URVQDkTKDrKxrFeEROWakyP3SglA kaa8Z1dzIkP5iuXVpRe+3nmnUqZyf3HKNBxeQlmLw/lm28CTTL7v2FcDK0/tiHw9 sA5BzsTym7AJD30xXhv3gaDK+ZI6suT1z+165ru+2kBTqqqh+txzxI5SSTII0wC3 mk9ZGX4i2FixdhqiRkJ+N7B2ipHDEJHm6lnWQUrZN1WNubBB5lhHitDSSHR2RTNl 0kDqF/V4TCDD4CkQv5x2wrwbVHkb0IKKDlm5IXineB2dt3ics/o0grYQV5msx4qL PkZ9py12OemrRT969DyGPFsH96RkVd0tWoio3Z5YgydQmNHn+XPwL4YoySY/mEVh zzufzIp1hz95PyhYLsFaPDoXaDdPjkYH7RBy6d4kV5k0eVhsFi/K9lAXd9G/f38O zpjF3TjHomwstjTzF6vZWd/xBNroDNUva1dZfAYWqxs8wIpRLC2UKt5aupC8+9hR F4NwNw0idjaJtx7pbcgGpQ== =+1GT -----END PGP SIGNATURE-----
