Accepted coqeal 2.0.1-1 (source) into unstable

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

Format: 1.8
Date: Sat, 20 Jan 2024 20:40:33 +0100
Source: coqeal
Architecture: source
Version: 2.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coqeal (2.0.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 c0dbeee739d4d0d47aceb9cc3d8300aa3d6fdc7d 2171 coqeal_2.0.1-1.dsc
 e6eb31d3e47d2477602571503e607ef8df4f73bc 216810 coqeal_2.0.1.orig.tar.gz
 49d0e51d498b66e326723c3eab4f5daeaa58895e 2292 coqeal_2.0.1-1.debian.tar.xz
 d1f0cd64c1a5189af2e89b75cd4a54b72801ea20 8879 coqeal_2.0.1-1_source.buildinfo
Checksums-Sha256:
 01f509eb0c4e17732af6a0a7c5cbbef0174f130b1bdb1208c8fc11f2ea050e02 2171 coqeal_2.0.1-1.dsc
 89bfa95165541042756c0bfdc82c9733b777b7129072b06624bbd2df7d1e4385 216810 coqeal_2.0.1.orig.tar.gz
 2ab15003ffeb64f8322c1146dff08f8d397a4a9146e54d63b4a4b36bb8ca0ce2 2292 coqeal_2.0.1-1.debian.tar.xz
 7e1859d3684c4fd1c635735fe6ed03adcd54471b06ab207a968bfb8fa82b722d 8879 coqeal_2.0.1-1_source.buildinfo
Files:
 3745ae3ce18abd7f50ba89acb44c0901 2171 ocaml optional coqeal_2.0.1-1.dsc
 41a4c791dd853a36f1a74a60f7a1b776 216810 ocaml optional coqeal_2.0.1.orig.tar.gz
 82aa11d4a2d33114cbc09b20b3da8d30 2292 ocaml optional coqeal_2.0.1-1.debian.tar.xz
 7048f9b2b1fc54d798f12dfac180783e 8879 ocaml optional coqeal_2.0.1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsIcoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhWEP/jxEhXrqTFWrHSTJWA8PeCuIxODs7rL1
bIk7bJUZOCwTU5TpLXpNSGoU88ggCzrIp9M0+7pWLf0WUUmQosWed8Pnqe/P6s+i
/8GH/w3gVpEo4fg+W9pAAlX3JngrcIx9uhu5e52GgJHeLTtVLWgIy80m8inGNfCj
yC3IXHfrLPVPh92Q511dcHU33KXvvZMzW3YPCWdzTyyYBAqsSSNYJG4hrgSVDmY8
CBZ5QN5+eLUGcE4ABak8WwJ16GISHO9mNYNom9PuyWTjPh8LLItVMu1w4vOshV4C
U7VcEtDnvzgIhWrUmH8EaLA+nfCflJ+60pb9Hj5Tvd2RGGyhrhObuLUHTExubCWx
i10NALzeX9F1a/2x1/FSJLx17NtelZ5rypMmWmoCfsVw9daQpvttcgF8/l3ZxL/4
zFg2ux5//3bdCrthI6y9cB97NRj3zHnfiKWRYCCRXjraQ2fIMrhCgGUqC96npJos
aRLq5BkDm3R6oXQww3nOg2xOPEmaXDOh84a758bQaqX44aTH2x1e/dQRU5YkUf5M
p1EVPfI5s5Kni2Nlq9Aa5SvryFAeB1SZy+kbsfiqCYOcId6nsXoi7VBGIZey7VNC
E2vk+kIVfsH6GPkchwjZpS7Gv9Dpcz/PvKAPCTcAACkkvTORe3SX6ghimtvF9oMw
27ZIhtdeRuXU
=ckus
-----END PGP SIGNATURE-----