-----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-----
