Accepted coq-extructures 0.3.1-2 (source) into unstable

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

Format: 1.8
Date: Sun, 31 Jul 2022 12:35:53 +0200
Source: coq-extructures
Architecture: source
Version: 0.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-extructures (0.3.1-2) unstable; urgency=medium
 .
   * Source-only upload for testing transition.
Checksums-Sha1:
 cff5cbfb49f78cf182f09da444c24ffa5c54053d 2161 coq-extructures_0.3.1-2.dsc
 9f2e53d4b1527d3a9f3ce3a33c20251ba091dce2 1964 coq-extructures_0.3.1-2.debian.tar.xz
 35636daa3848f76d3297d50c061716eb200424b6 7015 coq-extructures_0.3.1-2_source.buildinfo
Checksums-Sha256:
 4817d74891c0af5ec72677b2d6b86202e2606035e3e6f80c78c297c7b32e8594 2161 coq-extructures_0.3.1-2.dsc
 2e196070a5e0390ef4055189b309a83a4b135a5919e646939de0e1af3faaac32 1964 coq-extructures_0.3.1-2.debian.tar.xz
 4fe46fd125bdc5eba68b3d95868004bec6787ec93b966a4b0280e935c8a674bf 7015 coq-extructures_0.3.1-2_source.buildinfo
Files:
 0b1d0d8092f6d2a7d518697947dce571 2161 ocaml optional coq-extructures_0.3.1-2.dsc
 8e5dbe0f1a6ce359515c7d8a5a54d85a 1964 ocaml optional coq-extructures_0.3.1-2.debian.tar.xz
 a2b8cd16f1e48c715c92d19d54814531 7015 ocaml optional coq-extructures_0.3.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLmW0gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRKAYQAJe6F0r3vwYMSdM9i65ijUIt4iflBcts
eF247qTGZtTdROX8/+W7X2tNShUMOfqnDLrwiTmjZ1PaCCaB2GozSetXkuvP+cJN
qrtgEmLB7RFx9ygzCon1NvB8G2wDs1l1Y5+J2e03y4D6LEaGcO//oxnzY/7YFV4g
SbSUtR5cKOgY923joIslNHEpxP5mnrGujcdrpEQgbaCPVfN0I/c8tfx7UNTiDt/j
epRfYpuvc/6+IGeSsvF4w3wjVcMEKSi6mv+IPtmrYWx9RhaOgWOES9SFPiD9ji6D
5HbINh4TkoyDdXXYS9UqbLGS/rGkPe3Ez2dhRhjjv+DAneynhYxERLFHMe7C2HuR
ZqgB47rEOH/naI+43Qj0A7f/VYTRsCxhegBi0zfpXMkrSA7ec/VlzJag/mScwxQc
VPI50n3hdzYN8/tpQYY7EPaMWFuXdWUVXPWzoQz//rmmKbEKR35Lg1EBpd8v+x/w
rIVbOuNVh83dlKRiP5g7yVas7YKBFv9oErpGi7/13dc+DKnHvkmGXG5ie6a7BK38
ClFlpL3Ar3SNprlOtv1I4wrY6QF2kbE+KmfOj6b1PXQj3/wlgTSo1PPrBIZhsQ23
1uJDXW6Zc3z1efYjRfu/N6Vc71v5LIa3sVBLWzLiq9enejvZRdKbzcsFXyjz5XVf
KnmLzUv3qPUh
=/oa2
-----END PGP SIGNATURE-----