Accepted coq-iris 4.2.0-2 (source) into unstable

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

Format: 1.8
Date: Mon, 10 Jun 2024 18:00:15 +0200
Source: coq-iris
Architecture: source
Version: 4.2.0-2
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.2.0-2) unstable; urgency=medium
 .
   * Add patch for longer timeouts (unbreaks riscv64).
Checksums-Sha1:
 788c024cdecb1e8fd238379eb30f78112800019f 2162 coq-iris_4.2.0-2.dsc
 11838b0df0e42f66dab3b0de14014766519143b2 12496 coq-iris_4.2.0-2.debian.tar.xz
 3cd20e06574fc006f0759b0dae326c6dfe49b0e4 14700 coq-iris_4.2.0-2_source.buildinfo
Checksums-Sha256:
 aceaa7f1ee26aa2fbe3dc53ea03759a55faa679acf7474658ab454bb75571b24 2162 coq-iris_4.2.0-2.dsc
 59584b59673fba3d33d64e971be4a0ee9bd26b5fb35ecbe57d487782bcb71970 12496 coq-iris_4.2.0-2.debian.tar.xz
 3e3fe80d62abec232cf88654ebdab9ee50049bf501de0e964e837fe6ccf5b8ba 14700 coq-iris_4.2.0-2_source.buildinfo
Files:
 74468abf0bef363ef93ae1d263bded99 2162 ocaml optional coq-iris_4.2.0-2.dsc
 896e1086d37be37837f13400e995d023 12496 ocaml optional coq-iris_4.2.0-2.debian.tar.xz
 f0f66b962c3d49d57a75a235c1eaa423 14700 ocaml optional coq-iris_4.2.0-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZnIy0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR01sP/iuxoy+eQODVHBNUiispnFjipN/3yt4O
YFbWbNjY+VBuWHdk/PSd8BydRfs2BuWSoSfmWnIPcq2kNobQMiBVoVgZR+LjxcU6
DaiyDCUxx36j9OsxfetU5gjJQr//LO2x1c3tvM0mNLKbGgjA2jKMbzNq+nhuhVCf
dSPnDOni3EnMb9DC++Gzx/63VRZXXStwiUg/mwlu3hX699ezsiSKTGiyRZ0WgRJy
UjNANkDUJYtVM1EPwZdckUXPrx1dU3vIB+KwnoWa8Y6Bo59Vvdukv4qOSmrT0nLM
zWKUMiTxRDGejJGfPUbzxDLGg4Fh+M2TSCoJ4US0k0O40G3hBuNFNlaNi1Svka+6
AgzjoiPTv2J3lCRgZ840FWrxXTuEZzJrP3QdCAbiap8nySYobURMnCN5+pgvz6xb
gwdi3M63su0PP/lnBgoH6+cBoDHcEXF6qqGA2Fk3kvCQI7nu8qd2e19oG/hzml1W
Q5GIMEMYeQZEoIHWbz95M0OHawQWxM4KSUqUyMW7XVY6DSYQvOf0Qobxf5f7xwJV
FFmBtAETWzqiQnDTLoOSHqrFz0AHREg1YR69/IpGDMC/8FG/vFW5cWa/esUV7Yc2
Q+8t8zCK8rjiXcVuxbtHdVZnOAftl6qlqPCGDTCcN1wkzoL1DF2NAgb9gbeU6d2g
1b/6QavOb+l/
=kK6H
-----END PGP SIGNATURE-----