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

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

Format: 1.8
Date: Tue, 13 Dec 2022 10:47:06 +0100
Source: coq-interval
Architecture: source
Version: 4.6.1-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.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 c04f5d0bbac8113dfd52213878cf65ea099427ee 2182 coq-interval_4.6.1-1.dsc
 2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
 bba98d147a08c3de87f82827d410fa0e994010ce 8728 coq-interval_4.6.1-1.debian.tar.xz
 03aa523bd0450ec4758038869668df6350045c86 7748 coq-interval_4.6.1-1_source.buildinfo
Checksums-Sha256:
 83c5f4f4fd2849c2fd8de4089243b8d64833091ed5faedadf91341d8b88aa147 2182 coq-interval_4.6.1-1.dsc
 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
 6ff45bf7e07c21f51142c605462909d94a3fd9775d1400c8a0ebd049b8327492 8728 coq-interval_4.6.1-1.debian.tar.xz
 0df31607b71a655223524f935dceb99e540e0bd7ed5cf9051584428819b4c904 7748 coq-interval_4.6.1-1_source.buildinfo
Files:
 4c68b148d3177496fa8ea1f47be2f1e3 2182 ocaml optional coq-interval_4.6.1-1.dsc
 5d5f13150d2634408f0abde20508340f 259459 ocaml optional coq-interval_4.6.1.orig.tar.bz2
 06d3a515d7d801d25935d2c8be3a1662 8728 ocaml optional coq-interval_4.6.1-1.debian.tar.xz
 2a841cd4b0849fba3e50a0e661d920cf 7748 ocaml optional coq-interval_4.6.1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOYSjISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfvgQAJMFctsoRCdfh564d4o5FYNZ/ZUb6iRD
Ze9unfY5SwS/Y3UOFicuztcqR7s6iOjIzU2MGpRboIvo/apgo95R1fyksT8Hxz1O
sgsHZFKUKhPX4BPKLvsXHR93bXO+9wJB8jVDivkxIBzfVsHi7WYe3BWlOw0dEHPJ
jBuQm2f6+I7knQMpDzesxyeAf1+oSi+w9vAFqMWOwS7zN6Qz+w79vknPSXBiHRlj
YAfNetZy7WXiBZnbpvG08FCaN4H69TFOS1Qg/64Y2bfANNEAQAMO1YzQJoZ+BZP9
864gOlFz7DJpPoMTMRJ6j7jC0B8Uunpu+Hs2bsaoXbXf/g6KjlqIXWURqqHDQNb9
ldWRJ4R8tLvCi9OiVYsSKPiMQEJXVPov9dEu48NXoeh1cdgVxykGn49xf2wHdyAK
GYFacOeQEsTt+FBC1B/qIdET2QqJ4FEwHA2IVrB02sIcd6ijD8L1iY6sVot84E/J
SsIitcD/LB0hG6FNlcesR5wqiRQIH6rwrwp/67z2h9FFhGGf61GkjTflO8ritFR4
Nmac2GawlN+iJuvCZTR2LunXLj7X6B8NyVVKLXxyMalF3O5b9hrW2OZmIVebEs3V
WuTbV6QhEAESvbHPpJjEtpP5T4RBJkoELgTpcTw6oaPzNPe/0RzpU17v7RIYiAbU
dvFGlBF/I8w3
=jgS+
-----END PGP SIGNATURE-----