Back to coq-menhirlib PTS page

Accepted coq-menhirlib 20220210+ds-4 (source) into unstable



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