Accepted flocq 4.1.0-3 (source) into unstable

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

Format: 1.8
Date: Wed, 25 Jan 2023 09:40:01 +0100
Source: flocq
Architecture: source
Version: 4.1.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 flocq (4.1.0-3) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 f1b6e1cf362afd0193ee8221bc0940d018ffaec8 2021 flocq_4.1.0-3.dsc
 bc9bc2ef19b29d27649b3b5e5234df7e90ed3c4c 1540 flocq_4.1.0-3.debian.tar.xz
 462ed8d42b7c7169462673c858ebc2ad0c70ee18 7363 flocq_4.1.0-3_source.buildinfo
Checksums-Sha256:
 18bb5db34b97ce20bec30599413c1065fa3c4848964a20cbc8f69238cc457f5c 2021 flocq_4.1.0-3.dsc
 98568873a5d739dbd1acc8fc31664fdc72782568ead76c65b3a5e1e53b1eedf2 1540 flocq_4.1.0-3.debian.tar.xz
 013738ee016e6b0b5234824ba18349d40beb3a93a184cebfe7aae18d38c60cc6 7363 flocq_4.1.0-3_source.buildinfo
Files:
 35bb6523733ea3b454fe9641bd54eaf4 2021 ocaml optional flocq_4.1.0-3.dsc
 5f08abb4e61ccea5adcf9c08c4880e85 1540 ocaml optional flocq_4.1.0-3.debian.tar.xz
 cd7d37d13631c8ed5d5b5371d5317656 7363 ocaml optional flocq_4.1.0-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ6vkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+lIQAI1nvm+QHrkWTmyLNzZrRYKh2XeXnyg9
Tv1PTBWfJm8m3jZIUcF29HJ2VoSaAMatdgheF6pOzUKTXiW+Syk6vM0ZI1s6ujI4
p4otV5uvgxN+F62N/Ysp3oXRGjce5Lby3LyYvDYKU2B1h0TSsNZfQ6GzjQmnSLLT
R6jaCekOPlAtzzTS4d4Aw9Sg0N0wLjdSlFHzGak8U1Q0aYb3WdlnPOzp+sDXqeSW
pdYJN4BhhuWxugW8J1uHq7oElgTbRCr01hUJ5QrPvvFr3xHCxfjVlEc0WvmlJhk3
Ks3KLTa45vA99h/5nL2PdXS77/dU+cJVI6GpzvO3TLBj+kFO38InXh9SjWoYOPMF
RTljPhZIZue8mVdmxUogvw9owPRYbUd/AVkWVpiICB7SZqbTe4jpl4FVKnv5zVIl
30U9DOoIMbMWuWVFLl1ylQRH79gp1PRmaY1J+8rI/1e5Awji7/v6BiPhZu1CgH8Q
+sbDrqKsLmEGSFICM898MIAJZb0N9MV4Jpm1RXLsD02+BhzJNR0T+ryWEbgw/Tha
LR9//84i/46UhrTt/TjCQSVYNrrRH2i3LmOty+EVe62BMe8A3j2hG/G7Jo/fdKQy
DzXPRSJjgTRjRWImjnp3lsbSC8nN3vsFgYIhoKoxv3FukfPI3qUj3lchY06/S6un
rQi8kbIhsJA6
=NiHI
-----END PGP SIGNATURE-----