Accepted coq-deriving 0.2.3-3 (source) into unstable

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

Format: 1.8
Date: Wed, 12 Aug 2026 08:42:07 +0200
Source: coq-deriving
Architecture: source
Version: 0.2.3-3
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-deriving (0.2.3-3) unstable; urgency=medium
 .
   * Source-only upload.
Checksums-Sha1:
 aeb0def6a8815631759745b7a2cebb469d850ef8 2132 coq-deriving_0.2.3-3.dsc
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 10f0f685749bed78dfddfea7e70c9c7ca066eb22 2408 coq-deriving_0.2.3-3.debian.tar.xz
 c5926f9f86da79208187123eceb1813d4ea915f2 7500 coq-deriving_0.2.3-3_amd64.buildinfo
Checksums-Sha256:
 292387d475d6c314eb95f18e7bad13fc3b8ebb5a8f3edfe8b1ceec9e5f7eb447 2132 coq-deriving_0.2.3-3.dsc
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 c844c079179932a38bcef132312eea55981c5bcbb0453949742e78df92bf0f39 2408 coq-deriving_0.2.3-3.debian.tar.xz
 4217b0b85ceee249cc2aed872a4bb90dade66faa7d58719247edc684af4f02e1 7500 coq-deriving_0.2.3-3_amd64.buildinfo
Files:
 77b3bce5a2dad56e79dacf9936e034c7 2132 ocaml optional coq-deriving_0.2.3-3.dsc
 6dd97db71f1d8f37ab504409e8cc8201 45334 ocaml optional coq-deriving_0.2.3.orig.tar.gz
 e4e3d0dd7968baa2ecffea386ee61b22 2408 ocaml optional coq-deriving_0.2.3-3.debian.tar.xz
 b4dc5849410e2077a0d3bfdd711d4cca 7500 ocaml optional coq-deriving_0.2.3-3_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8FvsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUA8D/99eah/j+CmTXt2gWYne+OB
6o/pqNfyIIwl9K/yGqff0oUjbg8i10zGva4Y4z0+MAofJ1I4tBIHD0hYcPuUgKrd
FZvs5uM99L2t7nB0+EKACGBqDgDS/dXh7THaIz1S2fR6MisXt7YoDZ5o8JU8CgGo
sYbwjBAYR2VvPJhhq81/QOS5uj0k3S9lSBhF2SNaoXhisVCfstTPXHeQPt91UxjA
xmZ0mmdsjZb+wW8tQSb5Z8X6ofd8OmAjyKmVP0WmP5RLRCQhtp3NI/OK48Prvqme
0xslp9BgEiqpCLyvLxPKv3iQOGeS9HSeXy9gLwFx76OttlWUXpiiinqLZP/zmpGc
WlsZhrM8YGflv7g9hWVKNfaObv5ASXvjLP+HzvvrDqShMzozaRv8dCRHRa5CteSY
FyhGCqfyROWVvydEATd4+Elmiy789u5o0gVrLDLg21DMk6A9BhChUqG7VE5Sr3xb
nE7tWKzfDHvC+SgpKTjLNyksWTKW4c6+E7HNu8A9vsYZkOkcx1Osr5GexV+Sj1oh
uJRI0uXb65IunKAbzSai+uKoFL/yuaijGFh/7hS9ra2Hm+UAvGmFFpBqGW2t9iCV
zSOrYr1iAojvK8UQKGr/Fep+6RXiUbOtE96PGEzUDOGBfI9Wnfbj0eIUUBRXKVYm
8Pm/p+yoaXDuT/pXjs/ixw==
=+OJa
-----END PGP SIGNATURE-----