Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Thu, 25 Jan 2024 06:33:39 +0100
Source: coq-hierarchy-builder
Architecture: source
Version: 1.7.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.7.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
8aac30f775042e4d64a95aa6ee13e493492115ac 2151 coq-hierarchy-builder_1.7.0-1.dsc
4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
f8cad8a6fd9e480f54436dce285c13b84b44ffd1 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz
2acc5e6e4965def8538536983acd57b2f2cfda2a 8920 coq-hierarchy-builder_1.7.0-1_source.buildinfo
Checksums-Sha256:
e3ede31390305611739e3809a08d91c73b3269e0ff515c3fc8925fdb6913c3bf 2151 coq-hierarchy-builder_1.7.0-1.dsc
c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
67c6d596af8e7b0623b84450bc5bc09e7492e63bbbc407029c2b67f56d340757 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz
79a1a01cbcf5765ef79bafbe9da6b3fd380008615a0823925b650f1181877429 8920 coq-hierarchy-builder_1.7.0-1_source.buildinfo
Files:
c6a5f375b12d77abdf42b97498acf087 2151 ocaml optional coq-hierarchy-builder_1.7.0-1.dsc
ce0cc24816a0ce0ceb05cf819084b34e 206720 ocaml optional coq-hierarchy-builder_1.7.0.orig.tar.gz
9959daf08e496cd5b6d8478514eed487 2764 ocaml optional coq-hierarchy-builder_1.7.0-1.debian.tar.xz
58dce5434b85fadbb94c2c2df01d4d12 8920 ocaml optional coq-hierarchy-builder_1.7.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0+cSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIJ8P/jNrLh8sqafjo7cu1ZgcEabfsJR5PscJ d8TordEGQGVWBNe1WLjh7ZeL06EPpLffEEveKFMLJEKUYWyDqp0sKbU2rKAIpUXt MQc/elR/m9atL+5ABXV0AjUKvUa2aAnjofBG0C26Njq7MXu4SHc29eRVUxHGI1uJ 9b+LRmyDOeJtwfRF8gp41mlfeDo2VioYs62kSP3148xVfjZzll8mADXg1r8/ksgC MhHmtlRJT7lN5vpJRgLF6h4/rvN7bu3v2GIszBMGD44Ek1qWUegcAQTKX8SCTJZL EN1jwp+o9EUUQdDTzlgGrv/Wh4L3RBxRsfK73DMVy62TYpeH4EytNQbNnYh6DDwD 3TVNXKPpWw3/41bnm0axPrrTpVIV+ez4kNm3glybhCXVFhhqm/7wlYCnCwnJRZ8t 3QJU6LVcbxmY+paul0oZPolb5lIVhc4wOD9LECj+T8TDiuIUdj6WlNR1ygcinS9V yZA1ROogAWQ8oBvdrtMj3seOirdowS6SSR+yjUilY52EWeOxM+ZECavog7RXpVlw QNQaQfVJDzkDRm1n1m9Uzf6rgG6yBWM4k9K7uEckTdSk9jOiHuWkN40WKc9P1fTp 4Thc8EE9rHnYgpTLGQQHFXL92UQWtv4/CnSJtEYYnObv4Cf1Gk+2HLqvbv6yzDaz
rnfz2eIDtfYV
=I/lN
-----END PGP SIGNATURE-----


--==============w87836532161916210=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi5eugAKCRCb9qggYcy5 IbJ+AQCiyLrphAlSH49FCjSG2cEWnM1nb50YCYXN7HKLdh+OsQEAxGXYRi1LYDJU B3KcRcNxE5WTqx5KD3VnWIRw6AFSsgU=Ljw4
-----END PGP SIGNATURE-----

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