-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 16:58:58 +0100 Source: coq-hierarchy-builder Architecture: source Version: 1.6.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044275 Changes: coq-hierarchy-builder (1.6.0-1) unstable; urgency=medium . [ Debian Janitor ] * debian/copyright: use spaces rather than tabs to start continuation lines. . [ Julien Puydt ] * Fix d/rules clean target (Closes: #1044275). * New upstream release. * Drop all patches. Checksums-Sha1: 41c8f59936126373f214d5e51442048496ff9cc5 2225 coq-hierarchy-builder_1.6.0-1.dsc 16339cebe64b37a98e60db99261d0f29a2ccd3e4 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz d82f833a10d00dca7f1b177e2c47f341142eb7e1 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz ac244ae3b4d048f2594f4095b9fa09e208d07244 8419 coq-hierarchy-builder_1.6.0-1_source.buildinfo Checksums-Sha256: 1ea62dba88ebf9907e5565bf7e34862728d5db0489765b14aabac8c0dec4cd7f 2225 coq-hierarchy-builder_1.6.0-1.dsc 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz 0a0df2e54ed3f0ceff913416daa0bc3ba5f14e99b42f411301da5c7f68b4fad4 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz 188d8cc7dc9ae08b304e34fd477ced8b63a72684f58c6461b35fc108582588f9 8419 coq-hierarchy-builder_1.6.0-1_source.buildinfo Files: a7c9f34a9fca3630f3b4b4d23ec0b7bd 2225 ocaml optional coq-hierarchy-builder_1.6.0-1.dsc cf7c99cfa85c6efbeb69a232fd1012b7 202232 ocaml optional coq-hierarchy-builder_1.6.0.orig.tar.gz fe0a85877e84d5ffe15d693ec267e97e 3420 ocaml optional coq-hierarchy-builder_1.6.0-1.debian.tar.xz 0d8494d4afdd91a17ec4276f02dc6683 8419 ocaml optional coq-hierarchy-builder_1.6.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYNUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVREWIQAKewtzAizKFi416rTL1+JeH48eJXz6lx 2GNlfy1i5Tglhk0dnx/D1xCRldQwNS1r5Jg8A3LehcKGJZAq0Q2AQVOyjVaJC065 82duHZaVtI3UfgA4iYUVUXbO08ysL5qwX6+1a0ALaH4MOf+HDSgBDt6gCqRN2uak fm2Oi464QOiVJsEPgtvaYKoDCS4d6WusSazwilmgGtqf4LIMglaK9MoWJiWNWhkW 0eBdrdvxKALgAkuTz8Jw6eFlZ4B3bMxu05GKGVTj18IWgT89XF9ZFBq2JvQJeDnn ZtMm7SdhEl2iHOUPXsPxwIHmQxM4KKSguKdFQ40yMrZ5Hm9GwZ34R6JegDor7DRv ewa1B8fwQAgQwkiR6YkxbuvnOB3cp9iYmzDbzXInc1tDH1RlFJb44ABY5SMd2WYo cSFLejjOIfUBUOT4+j+yiHZ/rwyyvzs/ICC9EJwCuJU9MF+uBTxfEwwKiijbJv67 5MHmoCidSEJOVCYkpXQxWzbyMGLajDlufru91VzMMNKCuzyEx9dU3+PcVtURrP1E Q48Zd/tZ5tVlOgZyGHK/5bhzaQUt7/0JPb/LY3YhJfmeiGM4EFiskV41Uv9c0S3x lS9s+q6S806GAn/0lhAYW9zN7k/OiciHOLIs+r6ho5o9VyQNMh7Vv5XDDeP1Mebg sVHbK35BPfoL =BtyS -----END PGP SIGNATURE-----
