Accepted coq-iris 4.0.0-4 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 13 Jun 2023 07:07:39 +0200
Source: coq-iris
Architecture: source
Version: 4.0.0-4
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-4) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 dd8ce528c5b4530db5f58dbe9e602dfabac0afe3 2152 coq-iris_4.0.0-4.dsc
 eb934d26fe056eb732012cd34a568b96feb18284 12004 coq-iris_4.0.0-4.debian.tar.xz
 f7209d0987feb939a076bea926943974ed10d91c 13880 coq-iris_4.0.0-4_source.buildinfo
Checksums-Sha256:
 9cd5cf3599ece3bcc28c440c4674bdbca858dae821944c5046ad033526e5d126 2152 coq-iris_4.0.0-4.dsc
 567980964464781f364bdc76e53751b95618f2b6f513e69b5b843a9d29429e41 12004 coq-iris_4.0.0-4.debian.tar.xz
 25b6e030571ccd3c111f582f98ad5968bcf8c01ba889c58673c66b41f804814d 13880 coq-iris_4.0.0-4_source.buildinfo
Files:
 b422187c8c71dcd9e415c907d6f840e2 2152 ocaml optional coq-iris_4.0.0-4.dsc
 53838352c2e5c49c877ff19e54fc7983 12004 ocaml optional coq-iris_4.0.0-4.debian.tar.xz
 d90473f6d2a0c16f4769b2aa785f5544 13880 ocaml optional coq-iris_4.0.0-4_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+aMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGOwQAJlmvO9/0uxQoZ6BKerHBB84uqY9/UYX
13B3pDT8EYObGdNKJSvMEh1OgzDIqqsdQRaaQrvOVkpcdRgf5UDFRAnJr5FFaT9c
IwF5sjXrMCsplyKF5ODld2ehAONmXdbXUYreveWJ/u365v9fxzKPmi4jT5BM62Dn
IoImOOtEqitVF11fQU+3oJfRbbNW6/3dHNtuopHMuJ4xm44NDNZoE1cgU4TqTEqW
qvOaAomOp5h1IYcWTKagI7dWUOR63XHtWx8vzzh+923zH65CIeqXWrLkQWUK2vt3
bc/yTr57AdbTXmAaEPrhVz0epI8p3bfOq3CVV5+A4ltYkCKjEyX0q74vsuz55NIM
ZMDw3ez//IyfaQ7ILq8H7DIAwH+K25zQ25CEse+BFZDlmWwyNwiSZc+LXYVbDIs1
kkuke9MnOMQSoEoxF8T3c0SZgfUsHvW17f2cnCDQvJrA6fTN0NG2RF51Cp4r4gCu
QirEJDHbRL4T68iK2ksxj1Uc6k14scRzF+QV2RlDapedEupOh2txXF9fF+Srwu3i
6uVio/Wh3rPTtk5frnfN3jMZXTxvMUYbt4k23HMgI5ZUvf7xjsJlK7kyeH/ec6zd
Z4cG2GB2mbzozMKKttiRxMw42AemlaI4KZ5FEroFXX0Z3JE3AaTEjWm4oKenyMoC
K11oRsS5xXPa
=CW5f
-----END PGP SIGNATURE-----