Accepted coq-deriving 0.2.1-1 (source) into unstable

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

Format: 1.8
Date: Wed, 04 Dec 2024 14:30:14 +0100
Source: coq-deriving
Architecture: source
Version: 0.2.1-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-deriving (0.2.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 8eb6035e8bd7d3d52c98bd5e3eb703f5b344376a 2125 coq-deriving_0.2.1-1.dsc
 856a8f0126e761eb35b39896fcbda6b5bd78e7c3 31849 coq-deriving_0.2.1.orig.tar.gz
 064ab6f041f9bbc85b6dee62afac487df735ec46 2220 coq-deriving_0.2.1-1.debian.tar.xz
 22955bce254083bd10dabd198c972137ec9e819b 7797 coq-deriving_0.2.1-1_amd64.buildinfo
Checksums-Sha256:
 b9d90652f9dd70d56e6257ff71d2cb6a289460473e8202b7ae5ac2c8a51036c7 2125 coq-deriving_0.2.1-1.dsc
 7eb22f28a9e6a640afcc48a25e57e5921cc18128a94409b1ffce57b63758e5a1 31849 coq-deriving_0.2.1.orig.tar.gz
 aaab0805a3d31ee7bf7a5dd482f9dfaa373f4503577bfe3b334a077962f58d75 2220 coq-deriving_0.2.1-1.debian.tar.xz
 240fa617e6ec25b0ea4f78359c32946516eb16d91705727735e7537a538789f9 7797 coq-deriving_0.2.1-1_amd64.buildinfo
Files:
 47799c3cc87bfe5b707df61ac39e8943 2125 ocaml optional coq-deriving_0.2.1-1.dsc
 f3e719683702edbc50fd725d683119c1 31849 ocaml optional coq-deriving_0.2.1.orig.tar.gz
 861630091d3145a73116c4dd4f82b42b 2220 ocaml optional coq-deriving_0.2.1-1.debian.tar.xz
 76863134ef0835abb266fbf697fa1ace 7797 ocaml optional coq-deriving_0.2.1-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8KAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYEhD/4zVYP00nWg6MvXqefw0tuM
QVPuLh8GcjgaslSEkhfQ1xsyyWThw9uYR1Bo3u/yn9Da9EOaJwWj4i6+lkg7ZpJp
dJZMCQiiftyGYVJx1TSmAWXOKE6H4/EfwZIWz5ys/JyP9HtCyZjYrb2q6T/GkoS0
urP6fHH4qn2IVI2HtUKeLN/tHXZF1rEZHvdisuoJBMkGtWuUKcj6sL+ZNyv2IbTC
1Az+g0w1PnWPp50WsHPRQx41yV/WkKtjFcCHJBZi7HE1rY9PAkkGHy5L51qTb45t
SL3Ha7UG6mRet4vW7Yl7fo5pEHfnB8hdb1PPJQCKo9IiNp9qzdHSVCbo5W4QTXIF
fae2iE8GTwsANgjY0QR6Y+9LcV47BNjkW9536w4UFAQzpKBqktxGcmk1zUJ6pXs0
QCIZ9sA64gj05CZUNYG6QfEXdXB3T6V0BXJYpoDdmj2nmkzjRr9PUvrdUXepkz4O
514OeZmERm+rVmiwvvLsMFGSOayco3DBMGb/vYWOpN2TqvHtzmFq/xaMlMnlYDm2
5/uIuXPcEYXIazP88Xdx7lN+nuEMbV+DuMptzko60RIDvtQH6B96d0r4v6JSi3Jm
Qg7tAKDRYhL+9SU6r4R/lyyE1AnvTpOGgQgu4L7ajV3yE/1drnCwQToSIqCDV31/
dT2YBNjEilLqnqgDQ9Xd8A==
=FTy7
-----END PGP SIGNATURE-----