Accepted coq-stdpp 1.8.0-4 (source) into unstable

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

Format: 1.8
Date: Mon, 12 Jun 2023 19:33:38 +0200
Source: coq-stdpp
Architecture: source
Version: 1.8.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-stdpp (1.8.0-4) unstable; urgency=medium
 .
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 f93baa58360cea53521f562af7e595c09498ce57 2056 coq-stdpp_1.8.0-4.dsc
 9ec8e1c4cab463a419557ca6bd8fc639cdcfb526 2420 coq-stdpp_1.8.0-4.debian.tar.xz
 fc8fc28275bb93439005b432070252d51ea2c12a 7331 coq-stdpp_1.8.0-4_source.buildinfo
Checksums-Sha256:
 1e304a7b4dde54b73a0deca85d47a2714fdc6f4b6c11dae2307628eda6c6081b 2056 coq-stdpp_1.8.0-4.dsc
 e6e716d69c3555e30af226d68fb0b08a6bb5252f99a8f4f12e7e2b9d91842026 2420 coq-stdpp_1.8.0-4.debian.tar.xz
 249ee642bf504f18ce7232e8eab668b9b64a2551c186ee637c8597d5c7a33d1e 7331 coq-stdpp_1.8.0-4_source.buildinfo
Files:
 979e8f1b477fe387161f49f760ddb2be 2056 ocaml optional coq-stdpp_1.8.0-4.dsc
 eecbde6182a533ff1a80b7e5ce361814 2420 ocaml optional coq-stdpp_1.8.0-4.debian.tar.xz
 2b937b3aea00088d18dc6143d14aa9fc 7331 ocaml optional coq-stdpp_1.8.0-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVvoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDmgP/3RbC0NY0BIRRV2T/sJXX8xlOoAQkAqC
2/hv2m3cweZJP7SThg7xAISWk3ELT/eeghfKrzjQsKIb1BoiKKBW11Rmlw5dRN/7
xbCdLoiyRt0swUH/c5nffXBeZWG0tXoCEegQm5NVBtokb5YaBMut4shnWCdc0wn5
eruGd6jucB6RwpaEPjkE2a3GjCBvKGbMCt3/DfUPOQ2Ick4AZY218VxgqULX96Y+
WozEmlHauNBYgUBE76AMrU3q6rZmf6pAk/VOi8EElLUnxgNQ4gcZQHMYm3tJysu3
l48AaJtMQZdnfaejH1Ly5hFK9nkhBRL8qrHnDaZH4Xkc0mI6X1h6Z7mktKSKdhtC
xfM79b21EGgv889bP+f9tNUeqHjn9EpbLVmc5OUI2Bh2YxVA7CvgTGJikN5o6Pxg
dLFzWCXSzp6+QHyGYP4L1LFn6INl2GtqzDy3GwK40WXWaYjqZ0TLMcPf36sl01Bd
Oq1ysK8bIqqvcsQ48RWCnTgBRNMbnSYYRpGqcKX4aOkUtN5Pc+kP1s5DegwiV76o
vb6b/BQ/DKWQgHLuHXgM39BjM26ebofKzAFGCEAVJVqYVFgyZH2FlzqR+TSEhHEk
J1Fz5cbJa7BgHhHjZgx4G42d0vaUw6DiVnnDM/ZCJ1YUc9Yn6zyUvxQRZSEAJzD6
OGHH4wjLLule
=g3Uu
-----END PGP SIGNATURE-----