Accepted coq-menhirlib 20220210+ds-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-menhirlib 20220210+ds-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:51:21 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-menhirlib_20220210+ds-4_source.changes
- Debian-source: coq-menhirlib
- Debian-suite: unstable
- Debian-version: 20220210+ds-4
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=m64fyVkgI3758kFQ7f7X0IoR74KI70bHgFc74ENWzVA=; b=eHhR79B0XUy+mFt2E2W/3e1C2b 9Z4B5wsKc+TDhOYAbW4Ts6kKneCwhoKALyMgbCev0qjfMVwib4vMApidtlavCXHMOVwlLJpvliuJB FfFJsJKfl2eK0B+aXjJfx7TeoFENrusoQYbwRVrw7vTgSC2YZfDXnOOVPf+wvjKMurQsLpkwVVUTx 6RhdTYj/DOtkC5kN/gEHdeovtrmRvV37mNYcjme1FDBZP0GIR8+DdK8mMmY7r8BqWvuHLytFhyyJC v7qb67zTLx+ROyGnT1j80E7jugRF4l31VoDpPbhM7Usntc1TANXxKn42YUEjYryU6CrqjthWpv8cP or8iIErw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKaYz-002q7D-M2@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----