-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:54:10 +0200 Source: coq-hierarchy-builder Binary: libcoq-hierarchy-builder Architecture: source amd64 Version: 1.10.3-1 Distribution: experimental 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-1) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * New upstream release. Checksums-Sha1: 83536b548269823dbef5d25fb1c3140fdc96e159 2177 coq-hierarchy-builder_1.10.3-1.dsc 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz e725bd7b3a03eae8e543124c520ccf0533b1d5e3 3036 coq-hierarchy-builder_1.10.3-1.debian.tar.xz 7d64a53efed1231a50bb052bb95e677dae88e36c 7750 coq-hierarchy-builder_1.10.3-1_amd64.buildinfo 720289e9dbdca79e9946fb12540b290ae931fe65 802208 libcoq-hierarchy-builder_1.10.3-1_amd64.deb Checksums-Sha256: e77420e5d6f24135e3f37480dd77e25cf00379f595f8a5bf95d9ffc2c35cf9bf 2177 coq-hierarchy-builder_1.10.3-1.dsc 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz a67f2fbd753b6add2b5eda150962d35e16f4ca8615f1c2a5b6c0660e5daa770c 3036 coq-hierarchy-builder_1.10.3-1.debian.tar.xz 72f432de62bb0f246a082272c0817d1ee32fb40c78adee6a0b48aec01cff2807 7750 coq-hierarchy-builder_1.10.3-1_amd64.buildinfo c15f2a517967142071af751e78cabe6bbb0be5c320f35837aef0588a38363ec2 802208 libcoq-hierarchy-builder_1.10.3-1_amd64.deb Files: 2269b1fb26d23cc23f90927321f6fd4a 2177 ocaml optional coq-hierarchy-builder_1.10.3-1.dsc d34079e82bea60c8ec3b1638629cbc88 623811 ocaml optional coq-hierarchy-builder_1.10.3.orig.tar.gz 92a10924ffeebe941b3903bc7ce6e9e1 3036 ocaml optional coq-hierarchy-builder_1.10.3-1.debian.tar.xz 8361ce017200f51c67484d4c32b7a8c0 7750 ocaml optional coq-hierarchy-builder_1.10.3-1_amd64.buildinfo 19d35d1a8c1becf4949f381099874951 802208 ocaml optional libcoq-hierarchy-builder_1.10.3-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRF4IZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUckpD/43DEK47cN/PQhQvX9h40IG dg60sB4ERUZyybnAIXsBMi3j+BBxwAR5nTAX2L8OD8Rx+WlccU72MXooJQoFUUfM AK9mSFDckGjwCZtlwX1zGptNhY8UTRogB3O5Ljf+8fsGhPCOKmY22HLmApyV+FzH mN9BVx00AgYK4J4DW9svvOejXoHdYp6pDobVB0rcgo6RsA3SnBq1lQ82IauRI3kY rS3DDH/zX0QQEuhzrHx3G152mOE6lyoFg6JnGBQcEbDlqNyoGHA6DG0VxsxlV0js htq8xw4qzjCYn8zwwOERi+rWzICpzmnUIdKu9QK7hh3Hqk7CYEBfqxAP9pHb38H9 pckAb+qoPgcVznd9PvLZ+vdVo9IFoJYkm0gLntM1QsgrzGQejTMbOVxSKxWt2mE1 1u1eKueDfW+MUP7oo4E88OEenYbizEX9M5j1SyDnUIMRXEk8/WaO3rez9a0y0qZA cuAV1nv1COUtQ7ha0jU99ttjRJw8VkT251/QCNx3KE+hvGhwSE5rrVQhkg4EODOs 3rTdBjCuCEqRTaaYHO4VDvpESkclVrTyU7zDbXV8GhRlbIJqTrmSFg5XYPXiENKi b2HLfJeJcSrc4UJX/lR0TfxrUWcIUnqojCMkZCNqSp6lV8aZy3wn6bAiQNBuBUJH VTbaNXsG5kOQNycUa78hTw== =OJvl -----END PGP SIGNATURE-----
pgpd1tm01EiNT.pgp
Description: PGP signature
