Accepted coq-extructures 0.3.1-1 (source amd64) into unstable, unstable

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

Format: 1.8
Date: Sat, 16 Jul 2022 14:29:31 +0200
Source: coq-extructures
Binary: libcoq-extructures
Architecture: source amd64
Version: 0.3.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-extructures - data structures with extensional reasoning for Coq
Closes: 1015021
Changes:
 coq-extructures (0.3.1-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1015021)
Checksums-Sha1:
 5615525a1d0be229382117fcdd25e7033bef6d5d 2161 coq-extructures_0.3.1-1.dsc
 24c4218103e6bbabf4f18a7e00ff7e63d25cb2c4 38296 coq-extructures_0.3.1.orig.tar.gz
 4d2305b012a12f7233bfe31f1fc3648f51797948 1916 coq-extructures_0.3.1-1.debian.tar.xz
 8655fc11ef9a1018b3bdc5f17f4e187b2f2c75f8 7214 coq-extructures_0.3.1-1_amd64.buildinfo
 aafc5389b93ec6700e52bb6d78bf5698003c6332 587200 libcoq-extructures_0.3.1-1_amd64.deb
Checksums-Sha256:
 e4593217b9ecc695c22893f8f70794ee12c849491b0956fdfe41325fa68e3aa0 2161 coq-extructures_0.3.1-1.dsc
 5280078a7b847efa8ee11feac792ea4d5c1556d5911c67c5fab93c56dcceb015 38296 coq-extructures_0.3.1.orig.tar.gz
 618e3dc2157b66d72b986cb205438bcbfb85841b70b9e8fa35e3fc0cc2e8b01f 1916 coq-extructures_0.3.1-1.debian.tar.xz
 cdcd929d58f041afa03a361d8b9340075807dfc463532bb0ec81a7e850ee275e 7214 coq-extructures_0.3.1-1_amd64.buildinfo
 1812af114c5a8d6624717f539dc6c1e670c26775372d3ad3c1e0953cea4a554e 587200 libcoq-extructures_0.3.1-1_amd64.deb
Files:
 ca2e2924539b09d4cfda373585aef7d3 2161 ocaml optional coq-extructures_0.3.1-1.dsc
 32bc923a3a383ede669fc9063cffa52d 38296 ocaml optional coq-extructures_0.3.1.orig.tar.gz
 d03d261d0145e2c2e0aed67d4555bd5c 1916 ocaml optional coq-extructures_0.3.1-1.debian.tar.xz
 dc04f3d13bc9016f4653a043fb3f5382 7214 ocaml optional coq-extructures_0.3.1-1_amd64.buildinfo
 10fa6f0e39187face9f5691feeaa7d11 587200 ocaml optional libcoq-extructures_0.3.1-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSsFcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLPsP/0boVeAbtRY3F77koqMqBbsIIsQYRu4A
e9FZL5pWl8hfITjJr2wM5jqxcdd+qwyUkiWNYChNgFRfWYbhpQk3A7cv0pjCa3ve
DNxv6FwmCTYnrLKY88FgK8OpUvG402hoywi/b9jJVvqrwwyJtoSMoRJf8Z0ejqNe
i+CdR1Lx5xkYptqfcSkt8m+Tr+cSkmtAHqvtP1ufEsBtRD8KXcKxeNYzAKgjkgxT
bzTQ67spQySg3ds0zRnnwXnXpl2oGW8QLFGYuqCrDl2TntgfPd2KXiDSAMhbFcTP
MWeFKlVfzEo7+J3CZQ9TPAzTHEswv8AQnG+7n7a9eN8r1EOFZcMx0EdXg3jlZYle
MB/jBp8/TURP83XJz7OLEVMhtbqGD4GQNYk12eH75LQNUvfaN+7qOmVtN9/6NL2e
7dvAlQYeC1ytsNhAnH0s7DRyzWgWt3RKSo/Ux0fXfdlr5oVhB9PQ6r/L5H2F4Vks
rHe/IdX7FxZvSZXYsKn5T2fFY+1t124T8KtgCLSq2E/V1WD1S77EuPqTGP6ndwSx
2AbBb4LGqdFjaP99Niwl/e15sL2vOxnv8hhrYyHQpE3RNbqjHFd4F0UW1I2FfFda
yrhZ1keAAFXrQh7s+cOD736klv4h1RgoueuWepQGaDnQaIl1gAnWvPXnj2tVY2Ud
p/VM2RDtJ1Ym
=s3/b
-----END PGP SIGNATURE-----