Accepted coq-hierarchy-builder 1.4.0-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 01 Oct 2022 22:10:53 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-hierarchy-builder (1.4.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 b8fa2758f5644f7a3d28565197503dc0911a8476 2225 coq-hierarchy-builder_1.4.0-1.dsc
 0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 276132f48e643657c900a77b46e43a89f6163f87 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
 1c68a178750743b5197454316ecadd39a8b6598b 7560 coq-hierarchy-builder_1.4.0-1_source.buildinfo
Checksums-Sha256:
 8ca25b112f1e33c6c2abb197bac1cb09f278e1faaaf80703501a582e1863e7c9 2225 coq-hierarchy-builder_1.4.0-1.dsc
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 fd1f6f91cc8aa8566c63874d548ec1d86df5109f9431cebb09bae4a6fdd0c653 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
 4cb619049be4c0e0a80bceafdbf0d4bbae099bbe28fcb5935b5783ac2f82db62 7560 coq-hierarchy-builder_1.4.0-1_source.buildinfo
Files:
 8d9e41e372f1e75d588bf1bdcab85aea 2225 ocaml optional coq-hierarchy-builder_1.4.0-1.dsc
 2fb08ce2debfe46a48593132aad748f0 201673 ocaml optional coq-hierarchy-builder_1.4.0.orig.tar.gz
 a87c5155f713e543acda9104ac9e9788 3104 ocaml optional coq-hierarchy-builder_1.4.0-1.debian.tar.xz
 dbd69a654a7b010c42557bdbcee07553 7560 ocaml optional coq-hierarchy-builder_1.4.0-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM4nvESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGy4QAKLf+k9hB/XPHoHSYOnBffcoF2GDrOBu
oIhvsIEugro1h96SqlZMNKpLOo8gtawpNoyhI9ta+kP0rsHDpgTD0tRW+Kd7uul2
N9BayuqfVEAnYpnzfEJ3cJw4vd80KJqH2v1+6R5yzoY6EfujBiU907uLFg3E4oV6
br5LhetQscaFLMrkVRhg6u+jT/to5vjKljAORj3Sf4c4s5rx8zOCblE3jKzFnyJ6
PzUsbHk2lXsjeEiTYZwhFDB3XfD+HQoluwbXc8Fs+ZXtyyh9pSBChAfYTu0R4JKG
imwa9wWZuMFUNAyrPUlGvSsveWdW12dE5KLQ2lUM5e3U2NccJlhUlfxsQyq/E9eU
eYrFCBeb7HpaneU59KhQ0KCemJmAnZuHJvAhZNzRTSnfIYhE44/CqRCFRD7uRQES
QAYDKdISCaTnvm94suU4iMU2YF1MjFiMNsCXxPfGesgZxElShRjuolWQ/KtoZfTy
lX48wFItHB/dl6rjbu7z1QMiYnClZkdqvVJpow3vPQIGnDzU6TzkJZNfo9nSEUbb
U+6eLmmXT0kj42ioldr2pFgwrZgcOZnDfdY8g5Ur3aFHtdfl/EXFW9knTIPcCpDq
BEx5viFuT5oeg9uEr8UcREfzaqr/3u35sB2GyKJ51gKpe4GgyF5filCD/YvY3rYB
ellgX97mI84C
=Ndy+
-----END PGP SIGNATURE-----