Accepted coq-deriving 0.2.3-2 (source amd64) into unstable

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

Format: 1.8
Date: Thu, 23 Jul 2026 17:47:27 +0200
Source: coq-deriving
Binary: libcoq-deriving
Architecture: source amd64
Version: 0.2.3-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-deriving - deriving MathComp classes from inductive types
Changes:
 coq-deriving (0.2.3-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 41b25afe804233c9b8ffe208cfe6f5cb4dc209eb 2132 coq-deriving_0.2.3-2.dsc
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 d66f821387eb8b230d768dc6f90088986fbd1f34 2388 coq-deriving_0.2.3-2.debian.tar.xz
 598500501162271c11363a8d10fa0fe38404670b 7569 coq-deriving_0.2.3-2_amd64.buildinfo
 e40c454343de633cdce041ab2a76f7f2fa37b65a 491344 libcoq-deriving_0.2.3-2_amd64.deb
Checksums-Sha256:
 5e3b1376b8e876a775514b77f400b78a6587c7d4a44d6da2c26a7e80ada5bdee 2132 coq-deriving_0.2.3-2.dsc
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 e52e1d9e55db963f786b77025079c9c685ae1b8de8f419999622c3787c844a21 2388 coq-deriving_0.2.3-2.debian.tar.xz
 9815fb3288862e230eef82a9a36c7ffbcbf139c5bc3c256c906258d5606e443a 7569 coq-deriving_0.2.3-2_amd64.buildinfo
 589994edc252dcf9fbeeb1a17131f64a1bafd537a3e34aec8493b303d99f54b6 491344 libcoq-deriving_0.2.3-2_amd64.deb
Files:
 5b106b378e4da81a939b1938d8ce2152 2132 ocaml optional coq-deriving_0.2.3-2.dsc
 6dd97db71f1d8f37ab504409e8cc8201 45334 ocaml optional coq-deriving_0.2.3.orig.tar.gz
 61448e979cc1de6f714939a7f36e3793 2388 ocaml optional coq-deriving_0.2.3-2.debian.tar.xz
 d68a05c61861b5033560eae400c2c5b0 7569 ocaml optional coq-deriving_0.2.3-2_amd64.buildinfo
 f456fbe31bd01f41c955334805fc24bb 491344 ocaml optional libcoq-deriving_0.2.3-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppnkcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVf1D/9pnRnFtipfuJc/vDnvQdkz
mutzczhJkrhzTnCVtHOBSjYxRIsWaeqWjKrhhhmH+tdaCkVqER4ZDGu0yLIMCVvQ
B25BpuK55F/b8UzAkANTsEgaESdKfZPJtWe1uBQkbXVhFlgrLjKjuG7KDZy8A90i
0bxRxhAlA5V3R6mF5O9w+PAGSwSoz+JLGyq/R8wV7VfeFn8gvzx2UBThKFtQy12H
CEKhcOUYhQLqw1sy00z33M+LfWVKfgtzP1cmejea0sZNeAnLhWkaoVXXyJ2CQp66
uXJgRphARV/KqZ+kSkyVWf/nsYJPE9be8dJv86Hq1Tb2ia+fb63ZWx0zfyXq9pas
xt/uwElCM4au+q7vaoZ1tfM608ErVul296olhPP7qCK+Wb7ap8nUfj5L4sujWlwg
7P6I6+s1dZtUzm4mtxpbElfL1FYMbZfhuAOkT0qFDAsgDSj0JGU/faKAojbSQMkx
8i0AIK72eoQt3h5GkzPQU/aNxr0+xmRmBzOGHmg0CGFUejJdO6b5eqq+WsWyqVSM
jCN4t/WcfrK815RSnW/6k7oDr8BL+oAOGdSiT/j2uQ5lJ9ipFyppSFVM2xpeMChc
xLyKRAeyBRcu/1TQk1XmnLUs+9O5GAgi0lqRuSrL8asBzmdqzHBBSDTFiXnQev2O
Yo4NeCiyuMCsdpTDpnL2WA==
=WvBc
-----END PGP SIGNATURE-----