• coq-menhirlib_20220210+ds-4_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jan 25 09:10:01 2023
    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)