Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 25 Jan 2023 08:19:27 +0100
Source: coq-menhirlib
Architecture: source
Version: 20220210+ds-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-menhirlib (20220210+ds-4) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1:
b49d749f995329c26de407aa7b34daa17561ad78 2145 coq-menhirlib_20220210+ds-4.dsc
0b97d58019223bf77296d5c67f1f4f2b0fa48c97 1756 coq-menhirlib_20220210+ds-4.debian.tar.xz
62eba831fabe2cd79b566c55e970d6adbff646e6 7419 coq-menhirlib_20220210+ds-4_source.buildinfo
Checksums-Sha256:
81caadee17fc028cb1f634a85a2989d5d438443986139fd86f35d248b9c392aa 2145 coq-menhirlib_20220210+ds-4.dsc
a02b65737b30e5ea82fdf17db5f086ec4a52137b36d8cd9c3140c7c17431a56a 1756 coq-menhirlib_20220210+ds-4.debian.tar.xz
a6e6a22abd6d9a13e8c29de451aa9ad9f171b9103330710a0f01130ded624ed6 7419 coq-menhirlib_20220210+ds-4_source.buildinfo
Files:
621f990360a61bcbc469035ae4baf6dd 2145 ocaml optional coq-menhirlib_20220210+ds-4.dsc
200fec8283bec1c2fa2dd874d2a0bdb5 1756 ocaml optional coq-menhirlib_20220210+ds-4.debian.tar.xz
ef84776cba428cbf5403eb8915282a95 7419 ocaml optional coq-menhirlib_20220210+ds-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ2BkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXh4QAI2P/xYngW29QlOW3gm+hu4bbNoUzE8+ CKQnT3yqNuzzPgaRbURWCY62C7GvAxXEnAz71UAAYBPhYzwgOOUEnbkwHpPCdVCI b4aJUQxWbcbO+Gcvoj9UMez42Jh2EAXpJhpM7ipRDXdZx7w4UGMVXQ/ZjOTO4Yi1 KlgSLVlbSEieXT8TZbAZALp90v6HAbhkxISjXk7rAxdMHxBJ08eQxgmjrubYKRS9 M9Zp2VhQxBnOiztgAGpfhMmwdOIgwve+D5YIbH1nZ9cgQIrMVVgW6EPeCqP+eSAg zdBnEJM8xikViwEkTK21xevSL9bOp6zJepoGvnXOPi65iJ6BnLU16MXdcLtRGe3E HEMJPAALHFEInLU4TfVbzTE3NZTsT30V6P4SGbvLry4nVnVttlt/IQnDkGIfEDzj 99qKUW//NcGN4+34lcHkAL4et8fvp4xCN5wkxKQeQGPyVu9HSOZvcssxFed1eJhW h5Bkgg5A6vkAzGF/vQy/TT1yMlY73PHBf1bmftVNpYTVHNuZi2HHMwvQkcpZDrBI Oz3odQ0Xizrwk0f0TvFDV/TtoGENpWcT3PZxLGdSRJZ4ijXMf32Zh5wKfAWge/Rv mYeh/Qruytg9PIdor1nOvRz4y0i57z6BjzfwZvMHUFjWzlCxVgmi+76sD9/MclS/
dfGRm40h98gk
=H6dT
-----END PGP SIGNATURE-----

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