Accepted coq-iris 4.0.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-iris 4.0.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:49:50 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-iris_4.0.0-3_source.changes
- Debian-source: coq-iris
- Debian-suite: unstable
- Debian-version: 4.0.0-3
- 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=LcEC0SBteK0MPjPCqB0FMbcX3a5xXvCRTHvLJerynY0=; b=mHPRvFg4wwpEaU9B1xKbO0VPpv 3FPgIPJghHRoP5dREkXlq1EhrRP8SZ/ihy4vnwyMbgOd5PNjR2Y3M3d7P9m7qfiY7cpYp2f3LFm/S +I+Q/l8aMXNRvRL0dNKdlXZkqo6bgdLxw1WxmpmRxNLfMGxF5oisqkEOK2kE23VQIcTPWcN/wDec9 GAM8Fr6/P1c6BBMKB6wW5oJwj9nNh8W56WSoOKHyeBHLnt6IbGyjGbR6cH0u4rD90QNnURBPFu4Sv n9edGchfoTUTLisk12gGpxPQD9DOxIQ/zZNoopgeCAGiq5ASJvEESFxpnGBEq6taTyj7DuDTks79o VVc6A9mw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1hO-009ERj-BR@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 13:04:26 +0100
Source: coq-iris
Architecture: source
Version: 4.0.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-iris (4.0.0-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
52907d3b6964558220c45457e74d5488faaa9f71 2152 coq-iris_4.0.0-3.dsc
762ed99407d4fd856dde87cc309ff96553c44bba 11980 coq-iris_4.0.0-3.debian.tar.xz
84daef0cd25918d2671a489111fcd468d70e0fc6 13922 coq-iris_4.0.0-3_source.buildinfo
Checksums-Sha256:
b95568fc5d3983ee670518199cee4a9d8fe3c6d0b2494451d5e38f4b2d263df9 2152 coq-iris_4.0.0-3.dsc
e4187a51dad69875db3df02d196639a87d9c864d7b68d0dc94fa0cb19e09c1a9 11980 coq-iris_4.0.0-3.debian.tar.xz
f8c997d9fec0be1449512beb50aa8e8d67bbef2da797736fcc1dc5d518b4e534 13922 coq-iris_4.0.0-3_source.buildinfo
Files:
c1d4f26576620e4c8c3431e70ef90755 2152 ocaml optional coq-iris_4.0.0-3.dsc
880d0e1066bd11f2d5963692de85f6aa 11980 ocaml optional coq-iris_4.0.0-3.debian.tar.xz
ed85fbf8007470a50b12bd39dfdfc88a 13922 ocaml optional coq-iris_4.0.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGuISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReYwP/A719g0k7vFYIoldLLamWeBNSS8YVX3X
2Y6W+qbaGY3QzL+vIeJW3q25iU5xhWh/AORo2EILV5+fjEHugrRrknyiKwkbser1
OKjwfePzUC2DKo7V67ZG39XdrAy9dIqfzMmdugoPCaePsmDAh746Fnvks3DnbeMi
V64kwYpVGVrNU7ZbY+rnfV8FWTop5uZv5Rvlr2HeCcmUsZoDxO3pB6Dxs7utQOOJ
FeAGoJ5L4IUm9M32IA5V960wLNMxLRt7fQDdhgqZnCmuyzbeh6DUXOmtcfUSMldQ
56w4BkK+0gmC5q3adWKZnK8DLuXn2e02YT8xCOvfQ1+jzFY2BoPKf/a22PjHJ8LB
dwKoHHffPNcr3KUq4h3XIrBZy6m48tFQAg9703SgIr+DKMjUhtX+hScng8olDIee
+fe15XrGBfxRb62GS3JYPF2mctltDNE9cWp2CDdu7T9WA7CFURYnnilpfsIw4taI
e/igHKlwscdz/EyyLaeLIRvjnM9oSwTIV3RgPALjAKQcH75QPgxie/3uk1XCyURs
cMufG0XIbv8ppTj8tDKjU+2+mqiII5pMrSupwVKOXrWbranWm/xYeV13USa7xo4M
tyOlexr+vmmBoBXk0MKXvB0syV21G2zUGbhEQxFH6frPXUO9FaiHveSQwv4pec3u
0OT1fVy3t8iu
=Myey
-----END PGP SIGNATURE-----