Accepted ott 0.32+ds-3 (source) into unstable

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

Format: 1.8
Date: Wed, 25 Jan 2023 09:49:04 +0100
Source: ott
Architecture: source
Version: 0.32+ds-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 ott (0.32+ds-3) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 79ff6cae12862250ea60ef2120eece6dda5359a1 2109 ott_0.32+ds-3.dsc
 c4dc45f38f5cf81f0d7d2fbe8fb8c2e9b584d189 6956 ott_0.32+ds-3.debian.tar.xz
 51d6671a1e4863c7b1c139a9938da736732ff298 10542 ott_0.32+ds-3_source.buildinfo
Checksums-Sha256:
 85e69b482d729ad10ec4f7c1f375c84dd3dea1e148a0bbf6764eff4c9241d15e 2109 ott_0.32+ds-3.dsc
 8287eeae1ee7dc2b45b127eba5d47259ae9e6e87a65a66745e7b0415dd0621e2 6956 ott_0.32+ds-3.debian.tar.xz
 b354dfbe4714649a8d0db4ad2f051ae85f32353899c1c69baf04336bcfae3938 10542 ott_0.32+ds-3_source.buildinfo
Files:
 39784bca3172c1e78a37159bc4690d74 2109 ocaml optional ott_0.32+ds-3.dsc
 43f7a333eb5a8e3785f80955b3df81c0 6956 ocaml optional ott_0.32+ds-3.debian.tar.xz
 c0c938579095dac962576da0dc81657d 10542 ocaml optional ott_0.32+ds-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ7RsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfwwP/1z/OgkB6luYBRlJ4m41wSXO7vP+DrpF
3ysRfcBiBMu15IWWZOlIPIcvE36eTgO9ijxNBAeM16j2xXV1fiSFYSRpcOhu9mPQ
MEBABF+bKOpxkn4Ts+pDEePv50yFw00FdfH5dvn2Ym2G+7/1LlSDL9ytdaVRhFZg
ZPOKrC4frJEGbbZSxSorRRY48yjvuFZrQFbIQS3OfYlj1LwPOZ53bniRxmRNTst9
6S62aOLEBBT5pprETKZ2vgzFwV2JAfoFU7kj8Zjr8nzdxqVbCuLUprUW4ZOARpDE
yANmXVpRwOgkNebeEcE+t2M1fTlqtu1fN++KrVvq4Z4N2zBJNz6GKsu5SvZxf2Zt
jtX/n9Yq3sxJmodPu8FgXGFKp3BkAgrdjVuib4/xOsEkHSP390V8tGz2ARSJaheZ
2nr8iqYAUk2BnoLjmo8MLC3HyRWr35f+8RU+ZFXzr5RPWdRH/WF5Msk5V/nDmsVr
Lplyhg2Xye6rp905DrhKpliqh6WpXxqSSFl3KfmdTcF0iIrIoiUPLC6+SVtWr+2Z
WgYX7F6GCb8itmZL1uFeVu2Xog1bN9FYT1Obbdz/CR4RxegkkZc6VRjIfHg6qudP
DZAFS2Z5Fvc2PRmvBEIIbuAQmdM6FqYawjrXymIOyEg/Ow8sMQjEDoxPs+bPYQus
wqO5fi/htR02
=oueC
-----END PGP SIGNATURE-----