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

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

Format: 1.8
Date: Wed, 15 Jul 2026 15:00:46 +0200
Source: coq-deriving
Binary: libcoq-deriving
Architecture: source amd64
Version: 0.2.3-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.3-1) experimental; urgency=medium
 .
   * Rewrite d/watch.
   * Bump standards-version to 4.7.4.
   * New upstream release.
Checksums-Sha1:
 4fed8871edcde14f031a1cdead14b9b85b4794dc 2132 coq-deriving_0.2.3-1.dsc
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 872f02852b1b1e6d72a298879bcf7e76c0af12f6 2360 coq-deriving_0.2.3-1.debian.tar.xz
 76af091529ddddf75416b0c5feedbd3ebf567006 7638 coq-deriving_0.2.3-1_amd64.buildinfo
 fbf67103f49a5be3e5fdbb888a3ee47dea31e177 491304 libcoq-deriving_0.2.3-1_amd64.deb
Checksums-Sha256:
 3cdd1004c692926ad0d1c3ba6614dc3c0a7f57be18fdceea20e32663ab1cbdb0 2132 coq-deriving_0.2.3-1.dsc
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 2b6ed5db2ec75abb78f6b201af7052beab20022eb45e7cf7d1c4d596facf27cf 2360 coq-deriving_0.2.3-1.debian.tar.xz
 8fabc5348a3ac6c9388a2307215966006b20eda16b6ac32142ab7501033cf6e7 7638 coq-deriving_0.2.3-1_amd64.buildinfo
 3ea70f2379c9f9c0f707de19232ae9bf7fc3083dabb71c03b3d8723de086f5a3 491304 libcoq-deriving_0.2.3-1_amd64.deb
Files:
 3c157d3a2eeef6de0cd3407c3ebf5b1a 2132 ocaml optional coq-deriving_0.2.3-1.dsc
 6dd97db71f1d8f37ab504409e8cc8201 45334 ocaml optional coq-deriving_0.2.3.orig.tar.gz
 478776c4fe0a0af7708a547fee7a46fa 2360 ocaml optional coq-deriving_0.2.3-1.debian.tar.xz
 0ffaabf2ca61563db841e56dd39d5de3 7638 ocaml optional coq-deriving_0.2.3-1_amd64.buildinfo
 e7e578307c732b53763af314b30a21af 491304 ocaml optional libcoq-deriving_0.2.3-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpee1AZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUU7hD/0c8W21GoVI7VcGXGMkdLHY
hzZyPfJretLB5dG0fXITUvL93lB3bQubV4W2z2s4FQsac1FZGU0RXmfaBe8NCzZY
g3BQVkaafUXW/dR30eqhyLPQhDsBM71WUxcuGfslJMMST6n++76FJmSTOVEuVC3u
jQJXn0Qu9XDCMKTcSx3xMEXBysJJ7LsWI2j4Jugy3zj0OMbhQQcaltENEcVLjKWY
Llei6h+hzD+UHvGh9NiDr4/04xxJhhPs0n3jUBl8M8KqYiIEZcKkWbjrs1xq6eed
oNYJEE4CTtZQMsImKxG5KxUJ3kocqeOoL4g+yxXt4PhkDLhJ9lvGa5J7iZGeVE95
/FajZq9io5npH1mT/fp8f26UlBd0TK8hXVhyek7RMmrrXjHaNMqqBYZgbPYJPdJv
VX/VxeFXkITP/1yUGgv22+iPk5R0aF0oW51JbLI8R6eqtwywPB+UfbTKyy087wRj
euWU+saPI9g+RFo0fb3HhDXTQN3R9p6+5RXHXtMXdqZ3rDDkUJTqS5v2YJ/8sJxY
nTL2H2Lv2lO5+4dzgAZcTajLOKYxSPdt/3BxflsxJUqDUs7GLc+0FiB9RH2Wf5Af
ncir938qIDB3upWwbxHiN4bqsjdPXDheRafPtqtbY4ZZVUrb5Gs8vy3zXYt8i3Po
vvbghXz66op0RIFIYfagrQ==
=7+TL
-----END PGP SIGNATURE-----