Accepted coq-interval 4.5.2-1 (source) into unstable

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

Format: 1.8
Date: Fri, 26 Aug 2022 09:28:48 +0200
Source: coq-interval
Architecture: source
Version: 4.5.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-interval (4.5.2-1) unstable; urgency=medium
 .
   * New upstream release.
   * Fix Vcs-* fields.
Checksums-Sha1:
 40e63b1fd8683e15c45928fea60f5bb2a8fc4a96 2182 coq-interval_4.5.2-1.dsc
 6f7c5b4771c9176212fe1fffed76f46757f61719 254669 coq-interval_4.5.2.orig.tar.bz2
 aade9efa732a30f398b7a40165341bf94e8639d8 8668 coq-interval_4.5.2-1.debian.tar.xz
 3fbdbb1213eb57116e9919125c87ca248aaf3da1 7577 coq-interval_4.5.2-1_source.buildinfo
Checksums-Sha256:
 188870c39639a3be09891ecacbbb8f1a43abb9d13ff460cc4ee3b50c714de6f8 2182 coq-interval_4.5.2-1.dsc
 d58ac42ef90d38d9cf283a4244c77c2d6d070d04c5c611568cad74ccf48ccc1e 254669 coq-interval_4.5.2.orig.tar.bz2
 40820a71b6ce7653dd86ab53f244ad087c56fa273b8b88e3eb2e33e9012fc34f 8668 coq-interval_4.5.2-1.debian.tar.xz
 ea919e4a704206c53248a3fde435e4c82ed3a66297ae43d6b2fbae8d2ec68f16 7577 coq-interval_4.5.2-1_source.buildinfo
Files:
 8652f5af8a593f138affdbf2863f76d8 2182 ocaml optional coq-interval_4.5.2-1.dsc
 6c4c6ef6b01069c6cfc9214046472092 254669 ocaml optional coq-interval_4.5.2.orig.tar.bz2
 0fadaafc77291ae21d03187695ad8d27 8668 ocaml optional coq-interval_4.5.2-1.debian.tar.xz
 79eab84b21710d447da71575f4ddc7ae 7577 ocaml optional coq-interval_4.5.2-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMIeNQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0zoP/2Ns/Zylt0ri5uToTI02iMvJl53FyVgx
3ZKEg23mWsMz3NJGKJpqJHWvkvx9jXXbkA670b8hJHtx9a41XQdRiJpypQos93Fs
gOI3i3b6/RWX8oCDXWxlSZBOlnPTydPX8n9giwMFoTSrvxJljOh4+HttqE90IS9O
8eQ2nXy82r4FTHBmG6oZ2ZJRYwEeuqjRofDrTsaahFnl46CkxCicEQcuN2roRU3r
VWlZUbmyb3YC4E91oxv4kDvGXidH12AVss+56lgvnARTRTkXXsbfZETT8pibdPI0
I+LTRvXWf9SrV6kmT8d6y9rwrPkDbCpNidIJtAfkMSoM91FwgEzp0QIi4P4rizfy
5GfLRYROT35tAfTZySi2vrdptJrtWGiyd9loViW3Nk/P5FaQABga+q37PYEaQksG
626d56tW+iFcDhNGB9nkmAo8uBemOdWvkD9Tyxw7HJnbvXOTz8EKNd8ogV/Ie87a
SJwnrJhqlqpT5e1XJUNGStxw/FkAHkbYGfMmd1Ov+zoF8uV5vnt3j3dIZRLE2082
/bHS03Pq/0GHFIGdHxtRNTyR/yM04F1r2LYHpmpTod+GRD9YJNW070VosEWdP2GT
BK3zi8aDDNtzH9ChescC7FFMRatu5N7kn3fkbbOwUwB4t2hjP/CPN1JsJ7Gasm6v
H7xaSFTupdDm
=RJ4r
-----END PGP SIGNATURE-----