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

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

Format: 1.8
Date: Thu, 27 Oct 2022 20:19:05 +0200
Source: coq-interval
Architecture: source
Version: 4.6.0-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.6.0-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 0a48d58068c9566cb5d2378c2aff5a74d24d55ed 2182 coq-interval_4.6.0-1.dsc
 ca1c5a5293a958c97634d7d90f892be97bd17a71 259268 coq-interval_4.6.0.orig.tar.bz2
 3971607ead1eb068d83bb264a89cacc0aa55480e 8720 coq-interval_4.6.0-1.debian.tar.xz
 bd78e1e96e81e5ac5712fd6943389d76a804515c 7647 coq-interval_4.6.0-1_source.buildinfo
Checksums-Sha256:
 ea5f1b6d573c40c21a4ba91444515d7689a89d921c6c174ba9529f9ba42dffcd 2182 coq-interval_4.6.0-1.dsc
 d42c8eda6ce2a7c52952fefeda269059646fe903d7cdfafc51c9f55004e0aa6a 259268 coq-interval_4.6.0.orig.tar.bz2
 634061b685630a082504e034e628d1d43c5dd1520432ef799828c601fe90ab48 8720 coq-interval_4.6.0-1.debian.tar.xz
 b4fd30f26dafecd6396fcd08cc5968dd13085d18985838047c6cd8522d79dd69 7647 coq-interval_4.6.0-1_source.buildinfo
Files:
 dc66f1c64df4cdbc17c105b0290e6a9c 2182 ocaml optional coq-interval_4.6.0-1.dsc
 7fca1f97a24a51983a28372e65042615 259268 ocaml optional coq-interval_4.6.0.orig.tar.bz2
 b29b68c942deb281492970522876c952 8720 ocaml optional coq-interval_4.6.0-1.debian.tar.xz
 8248addb0aa94f1e06a562a8be911a65 7647 ocaml optional coq-interval_4.6.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNay7gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR70AP/Roq4K8bDvWw6NhZtTFXMe509AxVEktE
mXmquviJLOIH6110qieUtsb24M+qoMTc0oU0V22KBxm9+DPX2cpp0E2fZJXTGQ5O
Opi4GrniMNfas5xuSMU+XAmb5tbFT8A9xnbGm7MnIK2gF3qvG6VI6VkJrkhDCJZZ
Gt8E4DfnmT1rrrlp268damsd+mN/SDIaLzaI477iLsS5G7T6Pu14BmWkeLwu6hLP
w9EJlFu/5yxquH4fl8hBYTTE+AB/1Qxq4x03ntdODdOA27uf0GnB/K54sfBk11NO
VbwURwxijvrB+/fAL0cucpK7hHMskiET07ZW7R1SpjwSGUUWhtYU4SGBHvsDHqU1
Jicd/DSRFvOziWsx/4jvxc2RMGB/xMSm7suJzl3eSfMgbPf8D4BgrcYQt5BOhhEp
kyGD2Ry5sMsusEeBixGgHTw8gWFe+JsXXQuLxexEloF0zkb7uKClKc5Zi6lfFkcP
SNv60YMcIW+ZMGKfCony1CJ3eO/VLghCY9bzgpcepHUdnHsl4oHyKw6x9cE1pVdx
KDv6KbS1UxsIjz8GF9ey+0Q7lDWZkNVdT0Fdb5EJgWi5dPiXzbumJJ6E1cyg8jss
BvKvogG5gk3XtS9c4IGOCqqgZxuQBbZm4MT487gPli0Mwv+haFy1uoWI0zQ6oUX/
ZGoNav3XXRW1
=qP43
-----END PGP SIGNATURE-----