Accepted coq-simple-io 1.7.0-3 (source) into unstable

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

Format: 1.8
Date: Mon, 05 Sep 2022 22:33:01 +0200
Source: coq-simple-io
Architecture: source
Version: 1.7.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-simple-io (1.7.0-3) unstable; urgency=medium
 .
   * Fix for Coq 8.16.
Checksums-Sha1:
 41edab27f651a0955ef006854fa187747c232ec6 2146 coq-simple-io_1.7.0-3.dsc
 5baee55b2240ed61f79f8526d7d02a86616bd24e 1940 coq-simple-io_1.7.0-3.debian.tar.xz
 0229a759a0c92999127dadbec2d56cf59ab59d3a 7073 coq-simple-io_1.7.0-3_source.buildinfo
Checksums-Sha256:
 6f07377908bdfdc7ca4bb8aac80fb9d0d5ad954f910b4eb7d59b2231f0efe340 2146 coq-simple-io_1.7.0-3.dsc
 c28a8108e234536b417c9df234d000dd0eba76c321b4d6f80e9f3dcc190e9e1d 1940 coq-simple-io_1.7.0-3.debian.tar.xz
 f96cfdbe61b99f36ac6e394fc9e5bf1c218806422de164977bb855c25462cf27 7073 coq-simple-io_1.7.0-3_source.buildinfo
Files:
 ab4af42b6b800587cf3d40409780944a 2146 ocaml optional coq-simple-io_1.7.0-3.dsc
 21fc9d14e3f5a7622e5e68a7c658aa5f 1940 ocaml optional coq-simple-io_1.7.0-3.debian.tar.xz
 d0f48d200a3163bad5585a4fe0bed754 7073 ocaml optional coq-simple-io_1.7.0-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXRgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRiV0P/00U9sOowjLhO1jaUGKsjtB9WDnnE0Ju
YRXReqW8Z0BHARqM7EwVI1xdZWtYNHxPZBtCWuWnO7Z6lnlZs+53V1L6l4SUAJLn
UBnwO15FJkosU22Q82QP+iFgW1ktvftR3cf95Hu300blk8Q7GbaSHbhBZnrYk8oE
6evlC775Ea0aAInxw6+GyOfOg/RtbsQ5PxE9GAi4f8jyqf+4sPEULFpTur0wWu+m
PPiS8f9GMn8VKG5IWKHQUM/Dn0hy5rYqnt8E7+Vlu/CkkCsJedSbsOg2ZcoUdLtq
7dtc7S2B1h398WXF8h0S6u5155+dooVy8wC8AsnVLbRTfULAsmu7me2Vs5CUyv5C
Zvnc3pJ3wsFGmTTx7PUwdhWaeP4weteqw8cQRyRjDYnM5ggZSMgvFMj/pWIwzMOG
Pzs8h2kgiYPqAMQ7pbJi/zuZctaoujRgFsxlLCtB4zL8UllO2QboYnJepkAFmISY
/55y6lB6MY4Do8s/x+GM6SL5goOTX9d2452YKnK3eAYb279s3R46RCz9O026QubM
KHP2XeSJ5vCBs+SWx5EabeHNyr5EpFbAec4ejDUPj0Q6guxk1gqq7sV1QSVWHmdX
GRF7D09XH65RF7L6QKVkpo2BrpCLli+Eqj8bcg7Zc/r1c7x2/rKCpcIkJ8Y3N/nE
ieCPN27084Mw
=OZP5
-----END PGP SIGNATURE-----