Thank you for your contribution to Debian.



Accepted:

-----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 <[email protected]> Changed-By: Julien Puydt <[email protected]>
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-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)