-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 18 Dec 2024 12:12:28 +0100 Source: coq-hierarchy-builder Architecture: source Version: 1.8.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-hierarchy-builder (1.8.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 0a75650939eba58ec1c0c03ef95f120cd52a0164 2163 coq-hierarchy-builder_1.8.0-1.dsc 521679db8ddf228783e1531bdec915076bb00906 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz d644f6b315788c3c7d340351efacde43e20f711e 2860 coq-hierarchy-builder_1.8.0-1.debian.tar.xz 1c7c7cb222f9c39da537747471ba2c2fbb988c5b 7553 coq-hierarchy-builder_1.8.0-1_amd64.buildinfo Checksums-Sha256: d36a1dad03a71a8e37bbe244cb31bce3f1373e2e9b8b072ba8eff0551bb1bb8b 2163 coq-hierarchy-builder_1.8.0-1.dsc c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz b8d3b0c566e77211108f10759b651e44296b50f0efc067e856b06603c8d829cc 2860 coq-hierarchy-builder_1.8.0-1.debian.tar.xz e60063a64952b1b54c76c052aa81a46cfa828f90a4987894d17b95502663682b 7553 coq-hierarchy-builder_1.8.0-1_amd64.buildinfo Files: e65f090439d8b606b6eeb4c7d4846b68 2163 ocaml optional coq-hierarchy-builder_1.8.0-1.dsc 49413dfb1393cffba70356e18a01c7c9 215632 ocaml optional coq-hierarchy-builder_1.8.0.orig.tar.gz 3e5816126e0d312f7c8dd0c77863bdf7 2860 ocaml optional coq-hierarchy-builder_1.8.0-1.debian.tar.xz 0d55945feae4e4719ec226b022e8d845 7553 ocaml optional coq-hierarchy-builder_1.8.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8HMZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeU/EACNXsjzWTgipmQM5yJKsaSn qsOeSPBB0YafCXwXScQrTRf9X2QO8wPFj+p3sC0YCImFcB5W59HBTXYtIzGBuhvx ff6Xg1KvYewzYH4J0AQplW5GX+eZlygv9sBS/d7v2u46xKxxaqcpA8DD80WfYDxo 3WOBghybcDjy3/d1U1coQOVeHRNzaWYvxm+ds4c0OZ0gadrEuBKl0QpBwyHZojKO Skp4+mitnJRg6mUpYtif9xSf54VcP++xk6w9Or7fgT6GOXM4e53Zc+bmb9J4Z68l D6v3I2cDLK0wSx3kVHdt/t8qzZ4z22xfqHVHDGO1f02WEqhzqay2ZZtiKp7UoPII qXwxfwKcvs92Lj4bj8WdKOtOTl65BT9B74CR5TiYJLvNLT5zE736QWSiQpN3/xyV aGMiD5e4cxj64NDfI4415J+lIQwqNwueBJdlJPebMl+T52dB5cyfyfmzwpVdaoq8 7hu+DsBg8IFY7knwlWqIXbEUxZWYsMhQ+nlbJZsIsazQPze4GDENmNk52uWc7AHT FN/z5V7oIZN9tpX5oazP78+5lMIInsKM2W5Te8Rs4zvlXA9afFVZMksvnt6DbkId VTRSxFdbXIOMNG947V8D5QlbaxGfHYkiNVmaGasbkOIUAEov9Yf+yTQf9gS+BcW5 6ZTTX7p457w/hwXPANPUuQ== =qSfg -----END PGP SIGNATURE-----
