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

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

Format: 1.8
Date: Wed, 25 Jan 2023 13:55:52 +0100
Source: coq-interval
Architecture: source
Version: 4.6.1-2
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-2) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 1125fec459600bdc1eff86cb2462dc9ff5efecfc 2187 coq-interval_4.6.1-2.dsc
 10effc2812f48a56c343928ef229ac004d0712dd 8788 coq-interval_4.6.1-2.debian.tar.xz
 0edd5ffdc209f5a63442a6a0ad17d79bfb0e933e 7530 coq-interval_4.6.1-2_source.buildinfo
Checksums-Sha256:
 4570dd8abe4af0e5824e08f2b4fbb806a76f7294984abea1c537c92175e512bf 2187 coq-interval_4.6.1-2.dsc
 ff8882a8d2bd92bbbb60e0ed71759d4b052d82566a2693f22ad78baf7cb18f6e 8788 coq-interval_4.6.1-2.debian.tar.xz
 9654030ea78f7e5a241a5c81b73c31cbae5979605c34824ed068ba1b613d9a55 7530 coq-interval_4.6.1-2_source.buildinfo
Files:
 1632dd57021f576883d1638b18b09d61 2187 ocaml optional coq-interval_4.6.1-2.dsc
 16c669c0830a043ba032671bbb78256d 8788 ocaml optional coq-interval_4.6.1-2.debian.tar.xz
 bbeb22f8cf59f4c3b11a973df63bf586 7530 ocaml optional coq-interval_4.6.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJuYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnkwP/31PFTdtuIk0WqUExqtl9NKRnwyXcmne
jk98dUOzLZye7w7cxGCjGGzxwO63NyVaLdlOEDeXFF8vCdybtmwjm+xAY1OPeaJG
U4U/yOx1XuTsrd05tEO3dp2/Kwh4o+IdnTpwjbgZT/+HT0U1LfLmRbey/RosDzTM
NWgJznv8IEfWXx0ATi4zEugsOIRP6gVwNh3UtPzbcaksarRLwBpRhobTHaNGiN3/
31bW42tumH4BYQdJ77UvgMMMkgBTCWHyDsr/gGwcd0mft29QDWkeNuzhfz9l2NJX
pp3RY+xfEddl7qP30aYzfaLX/WyLEYjaucZKpXEY+4pzUjAXDGUj47D72ZoD8puj
8shoniNsGle2rzAzCDvcaZw69qgQatWiyM+caYxNDY1k40nKLnhqCuFuNEcdjY9M
MubVQQQSj6aDBCZLCkdSeftzNfD8yhpNjsTYPlOgZnR4p6350r0lAHVs+DyfEKfu
vfEY/05tlgdY+R1dyyfcNaCaAPUe8yMDlNtXQVsGSFA7ifAIObv6Pr0tV3KG+ONI
q72Ip6oGSmYENpUDPyUqzn90jqVz8XW1ilJzsCfnP4l+szEMTyG8KJAtvNayxAES
IUrntkp/AiSmHFmvHcZ3uLL6d4rifApiO8TOB23t2dEcQV+Cn+JjGxC0nV8gm+us
+7PsKSfomf/b
=75PF
-----END PGP SIGNATURE-----