Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 05 Jul 2023 10:07:24 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.4.0-5
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-5) unstable; urgency=medium
.
* Fix abi issue.
Checksums-Sha1:
de0c8a1f71d448db02bcd80880d31ade7c08fc43 2225 coq-hierarchy-builder_1.4.0-5.dsc
f3ceeb791c9b0e19621effedce52e98fb6b7d626 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz
8b26c23dce83713c8eab831a7eb8cc4f75f8841d 8074 coq-hierarchy-builder_1.4.0-5_source.buildinfo
Checksums-Sha256:
91c4b8ebebf93d546d4e667f0f511108c20af7bfadaebf484c19f50a5dd7c6ec 2225 coq-hierarchy-builder_1.4.0-5.dsc
1afbf37d79907e732948cec6fcd59ca648a6859e1fd24e9dcc922ce319b61d21 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz
31a0fb36de2b3cd3e79f30571109d1d02d5ac483a1a50fe48454ab77f7d399f2 8074 coq-hierarchy-builder_1.4.0-5_source.buildinfo
Files:
815f5bb41ab1e36decb8c8694f37a6db 2225 ocaml optional coq-hierarchy-builder_1.4.0-5.dsc
4e90c6e72b01d3025150d7ef979af3ec 3744 ocaml optional coq-hierarchy-builder_1.4.0-5.debian.tar.xz
5cbf75a0c6aa67f87f92450ac84bba1e 8074 ocaml optional coq-hierarchy-builder_1.4.0-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlJNsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRklUP/AjYZEaq4X2rjxmWKR21758bVNa4qp4T 4LVk31TqEXXyXvZebvWae4nWmBqTqzFi0PW/kEYLjay7wrBSZOvCh5uu3nDGaroL Mdvg4D09yVpTzADtEQwesGIatIx+uu0bcmMOxudUZ7WGPm7YSiCIASm0YOLkqJD4 nJTfmAF3+gvIVEYPpUcuODSG3MMVBpdo5KFz8ZsyESzRPb5WBttAvMZ5pWeq1HmN 2rj2OeX7QF2PlfOQziInLmZWHgi1pDQCrWfepKALkLTeMF7GiinrCEXA6tfcRXwh bpMvSu0J+JAAE6cs00JLVAf41G9n6oX3FoM0rk3uInYiWcKXhuwJGcDXs14ffzMt yYNmWrSqy1LUSD5FmsCxVH+eaPoD/U9Ot2ypJM9pd7dcBa3Cxf6rvj3PnHY+TRFK 4lXILWc7wh1RTV+haqvD6HOf9X3TsM8LWKheV1oL68Ti3pDQwS1fQsUDNPZGRR33 uh/TPqQ+N4tDleLSyFjLefqN+7rCadZ6f4xcTByJe4RjnVNxZYiBboVEWS41x9dl k4T3wTC/mbrLbVxaONPW8Iai6nD83wcrT50W5dv5e0fGSqo8zgreiO2tNwbDc7kE a8xNJyAxiPuoC9leJD/gfcrSFpLzdkLERsIdnCgS9/nGFff0uOa+9QTpSBZxHsbd
AmRGEAX8Zq9H
=BUsE
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)