coq-iris_4.0.0-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: