Accepted coq-deriving 0.2.2-1 (source amd64) into experimental

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

Format: 1.8
Date: Thu, 30 Oct 2025 07:57:13 +0100
Source: coq-deriving
Binary: libcoq-deriving
Architecture: source amd64
Version: 0.2.2-1
Distribution: experimental
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.2-1) experimental; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.2.
Checksums-Sha1:
 5b7f9a508e45972e33aad674436cb4ec6d3e9d60 2125 coq-deriving_0.2.2-1.dsc
 aa75f47888d4da0728eabc6c1c3bda28406c48c3 31954 coq-deriving_0.2.2.orig.tar.gz
 5d7fc539418a4aa42e16a0bfc38a467e5778b4c5 2304 coq-deriving_0.2.2-1.debian.tar.xz
 35979d4751c6d556a725428ed5e58b2187056bdd 7411 coq-deriving_0.2.2-1_amd64.buildinfo
 fad16ef03745158743cce8051adf132673704ee9 522268 libcoq-deriving_0.2.2-1_amd64.deb
Checksums-Sha256:
 333301638713a9ed8fc64c49b3b3893bc379bbe4907de339e738286e1a73d2dd 2125 coq-deriving_0.2.2-1.dsc
 c9477a96631768c2c8ea647716554bba865e1c84cc52a2a7cea91295471e8f7d 31954 coq-deriving_0.2.2.orig.tar.gz
 f124c2e8facbfa4afb7d823acb5ce54c8a9b55246d4e0d7ab0e27bcac58342cc 2304 coq-deriving_0.2.2-1.debian.tar.xz
 6faaedfa0a917e18d6f94339996ae2481649ad65e3b1cc9421af1ef6a1f3101d 7411 coq-deriving_0.2.2-1_amd64.buildinfo
 fa68abf0708c0dedb0962a9f7d27dcd7745e0e88182004778e1b853702a8015b 522268 libcoq-deriving_0.2.2-1_amd64.deb
Files:
 7265bfbbba0fb08772da42462f1a5c94 2125 ocaml optional coq-deriving_0.2.2-1.dsc
 51ac066391bfdf5811dc213b125c1c66 31954 ocaml optional coq-deriving_0.2.2.orig.tar.gz
 e4e9990d83ecad54d566a9369f405676 2304 ocaml optional coq-deriving_0.2.2-1.debian.tar.xz
 b366c1174274ea55dca1a916806d7572 7411 ocaml optional coq-deriving_0.2.2-1_amd64.buildinfo
 062fe717e274e3cdf83e3fb95c9f3113 522268 ocaml optional libcoq-deriving_0.2.2-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDlEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTdBD/4jz6Qfdtc3ionBQVip3Hmy
Y4bqbiIWRRMMwaXOdG39GoWucDfo1C1YKTk5REHdsuhZqI5bLQ5s9J/vCmR1f7O/
A3XqBvtHlFO/KS/4vILQ9uuaLrLswxOjyW1Ba8i7k4CvqhBBHBj2zsEpKYrxTMKU
DR87+7m0rjsmIuRbIFORcv+4a1iR38W+5ZOHt5BVAVQVuFfWPvQkPk6nPMHDmylT
UNt1FLOz7HG8z9G/6vdGYiOD3tNzwY7pusqYadj4EzEC+BY39hUn854Sa3fIikte
h4QbAWMYWtP4Fh7gbcEga/iOIGuZ9zSzkIRbPVrpFfHNQ5W5L5ij9UdyAI7+wgCO
I3gDgJWn89s4EXMANZVq8X/3e2lzd2L7sBmh0mZxy1nMgONQ4U0FFIYAlNl2Tu4W
SSHTW8dKG+uM2MBnbLsHGRgcaWSQyOK68odEYpbb8wOeO19v8sq0OnuBfwLnj6zh
uo22TxWGaL3twp7FkiJ55f8/0xkGOZwu/h2iYFNF0R9R5R/OUgFsZwcdpyn7JBKV
Q95SQg7E2QMRemPTPNx2j0bA5E9dAErItvI8iNIdyDDQklkBkotV8TGar5t+4I3F
Ml6aF42eAWgaoije+00s67PdE3NMFlQNeG0RLiFl3CXt00lq911gn5PoSYxly/W9
gUHgqXs19TGX4XuvlRDBgw==
=R2En
-----END PGP SIGNATURE-----