Accepted coqeal 2.0.0-1 (source) into unstable

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

Format: 1.8
Date: Fri, 22 Dec 2023 11:43:09 +0100
Source: coqeal
Architecture: source
Version: 2.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044296
Changes:
 coqeal (2.0.0-1) unstable; urgency=medium
 .
   [ Stéphane Glondu ]
   * Fix Vcs-*
 .
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044296).
   * New upstream release.
Checksums-Sha1:
 7e5435d398362893b7ff09c637aacb686ed015aa 2171 coqeal_2.0.0-1.dsc
 e46bc4ba50883dda06dd04407c7c26689da900ae 216540 coqeal_2.0.0.orig.tar.gz
 f419d0740de25d5146a6e7582d6a489c7da564c2 2284 coqeal_2.0.0-1.debian.tar.xz
 d825e72dfa1f786ce163e9da2361dac7a6173534 8808 coqeal_2.0.0-1_source.buildinfo
Checksums-Sha256:
 93c9b7da6f4274ed86291617b9077bca7f644a203cff647199800b536bf1a872 2171 coqeal_2.0.0-1.dsc
 5b96ff30de465747c0f560ca11ef870e03022647ffef411aad7ee79d62865a76 216540 coqeal_2.0.0.orig.tar.gz
 bc69c61d992102839ab2b16d81e69dd4afeb637ad47174bd3056056e1fe03752 2284 coqeal_2.0.0-1.debian.tar.xz
 14d569a0ffad0cea474c17bfb264e2d6b797ecb0c36cefdc9dca2c179d4b1bc6 8808 coqeal_2.0.0-1_source.buildinfo
Files:
 ff28c79f207ae3dea8f0430b922f11fb 2171 ocaml optional coqeal_2.0.0-1.dsc
 d6ece55e77b260ae0d9078224c44eed8 216540 ocaml optional coqeal_2.0.0.orig.tar.gz
 71231580147b6c5ad947977c77877853 2284 ocaml optional coqeal_2.0.0-1.debian.tar.xz
 38a8a20bb9a3b78ac4f243adec8f1aa6 8808 ocaml optional coqeal_2.0.0-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFaKQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxakQAI/8OAFel7roaS5knJSsrhyDabBaLGWW
yGIOU91LrDFw0k15fCVYjFzlOapqVI5nQol2iYMqhVfwyggLiPfvaqqgLUBi/eHl
VLyD85CLTi5I4wR3EbaKAJsDltsFW5xpQ+vTzHpL2xVgliywVXi+MXcX587wEFsT
jeuSjDIQF0TFEbeV7rOLeHiWMY5ECpmMLTB0WvBhXAvUSGPj67qFos8eNIrqM10C
3zvvE3LbLQXQ+D46Mlmc8fsk09smeU0xUtex6Eq2UYF6PJJ9/EY6LJiRqetUkIKj
NhDSHvdc1iYWMaCbpthir6qECRp188gIBzK5S9me77TCAMVDyEHSJ1Z6XKhoHG8M
RJa1vXUvDr7dLzdHAMRl02tlRBQA16aLqVV2Q1vX3qeVn9/1NULCWJrszRltutgA
6hPKvD1c4GmmGch85UXE4Vo9w3/AwanHzUA8VbEyHpeE5ZTZLXprCDZG6eERnFiq
/5mBq74Rh+pBymVC3SjZKDw35RkPzhNfXqjkKW40QwKVcxrdL+wxkuzGhXZJ1OCe
8F8bzWbTxIIlAMbuN9pTvu6WfsSs2E2+vJBEKgTLCafy4+l2XZuf5kj9Z8FBy5CX
m9T96mWL8pVxiVnn8arjgUg1vc0EGd0GQKBkzKZteK9agLunB92Mi7x2jHEKQlpc
Z/buxNgU9c1K
=aKda
-----END PGP SIGNATURE-----