Accepted coq-extructures 0.5.0-6 (source) into unstable

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

Format: 1.8
Date: Wed, 12 Aug 2026 14:50:03 +0200
Source: coq-extructures
Architecture: source
Version: 0.5.0-6
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-extructures (0.5.0-6) unstable; urgency=medium
 .
   * Source-only upload.
Checksums-Sha1:
 897385bbe3608561a16c879f9ad782249f04d6e0 2185 coq-extructures_0.5.0-6.dsc
 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz
 17fcc6febe1359acad6b1ffb42d95778481b6ebf 3028 coq-extructures_0.5.0-6.debian.tar.xz
 9eb0147621f0102f6193f84dabce728fe20f51ec 7557 coq-extructures_0.5.0-6_amd64.buildinfo
Checksums-Sha256:
 f7e74eed4ae51994c01095352b8a7a91794f3057197c34f52c27ea5b7b53dc38 2185 coq-extructures_0.5.0-6.dsc
 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz
 6c5d8c27460cd27364d50585da8fedbd95dc4fae2c559db9dba4370858fbe1e8 3028 coq-extructures_0.5.0-6.debian.tar.xz
 854d12c28d4fdf327f7871e56dae71be512057ae35a8f071caee2bb96a6118d7 7557 coq-extructures_0.5.0-6_amd64.buildinfo
Files:
 dd7f35d380f0e5e550b2abcf238f658f 2185 ocaml optional coq-extructures_0.5.0-6.dsc
 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz
 ed87a53e54aab4127c7e4ce29452dbe4 3028 ocaml optional coq-extructures_0.5.0-6.debian.tar.xz
 67923e02a4baf485beefdf93ffa7a012 7557 ocaml optional coq-extructures_0.5.0-6_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bMUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdNhD/4xfJlYedmj4S0QVKP5V42d
+vPSQq+1YEU5PXKLTdySVi06cRNNj3VQW73Lq8CmNvrKyLi5Iy0St+GCDGap+xXc
jCtfurhHp8XBbVPDzkx6rrvM+6P2wbXFIoc494PtTQgOiA6YZGiz2H9OE26qvQ6i
hsOc3RMbR8q+AqRLNbQtzc7eH77fyCwJI/p/ItLIJMcgrpaEaZ/MU/4TDOPnjYIa
YvoIA6ZO3PBq3pxyeMtVWjga18vngrILmqw0h5gCiaOmM3sbAIwoA+E6jTnXKT4Z
bUnU5l1JjF4JbZGAj09w6CBg4J8/djoWn27jO9W0D1lpziu4NBR9MPbQTazETrHz
QA7OIstV/3ejXE3ZSLBXeaeWhHgXpWmoo/+E44BBr0YVhxlw+4b01n2l+Mskxi3H
rIRpJrRft9x9B5uguDtXC9aQPOnjTzwofaYlbj4r6fmULbW6gV8421vLK9pW4Emk
eTMLeRFik0pZVqZx7LM1N7XLBn2QMvYBNnqZPjopQtg7Wy0aiok40i1NcdVwr6qG
qgu5HZGpFQq0h6p3LUefExxwiVDohCx5Xn1KXefwBOm9wvjrsjqBfH50M+vUQYG3
0A16146KGQNSy9MCn44baiPtEqxuAqN9iqDpqGRksnJEryD0W6dyOFJLWQNsXsRD
WGC/9vbuvLPSMAUe5kJmcw==
=J65N
-----END PGP SIGNATURE-----