Accepted coq-ext-lib 0.11.7-1 (source) into unstable

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

Format: 1.8
Date: Sat, 13 Aug 2022 23:40:35 +0200
Source: coq-ext-lib
Architecture: source
Version: 0.11.7-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-ext-lib (0.11.7-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 e7b3f215557dc9cd4893816255bd9aec94398921 2084 coq-ext-lib_0.11.7-1.dsc
 bedf3d0560c3cda2301d65bcd05bd7a4cf1d07cc 82956 coq-ext-lib_0.11.7.orig.tar.gz
 dfefff7db578ab70bb72bf8a69b24496cb11c8dc 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
 2d2bad74e32116616a0e812b610de71e88404810 6954 coq-ext-lib_0.11.7-1_source.buildinfo
Checksums-Sha256:
 f208503ce8eac129e73fbafb6503623a9cd333e8694c823e0c1ed181e7a62fa5 2084 coq-ext-lib_0.11.7-1.dsc
 5c86f149455f828d30a56594a28d576b3569b69e9ad440b6e0780c15e5416fb1 82956 coq-ext-lib_0.11.7.orig.tar.gz
 2d089c82ae38b8eeee9ea09800ce19c48cd089990955de76fee7e3e87ec4f691 1988 coq-ext-lib_0.11.7-1.debian.tar.xz
 3edd05eec23af12d7ba7e5671b90b7d3a5d191057998cce7d4412a8793502fb4 6954 coq-ext-lib_0.11.7-1_source.buildinfo
Files:
 f8be01bb6e4ce89467c78dac2488583e 2084 ocaml optional coq-ext-lib_0.11.7-1.dsc
 a71175b8e2b9c005d4e333a25ace42ba 82956 ocaml optional coq-ext-lib_0.11.7.orig.tar.gz
 2cbf19b5e9a481fd1f74ac53dafeaef7 1988 ocaml optional coq-ext-lib_0.11.7-1.debian.tar.xz
 f178bca7f5dfd1822649ecfa06f60e39 6954 ocaml optional coq-ext-lib_0.11.7-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4GngSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIlQQAJXxtl+zdMaRGxJKJzX0g08OMTXFgA2B
C23v924NMF8icYTrvqiJO40sQyrmvySc8NaCW8Tn9LEVjmxm2B3cgAR0ae4IZDl+
5NN+0QaP68ERaMfgiGpkNOqJT1GanP19YPDAb03aR6pjWEKSCLwibObz1vICzMLA
7HPDsskUdh3+OYlB6LX4nOo4GME09MA+hZRWzWchnZ89JAmNdR0gZHz63+dMQhzr
mNLdJEuLosJnagCGa1550vwWzjFbTTkKdEOqP9jvcK5nlXZjvfRq4UG+sbL60HqF
xcngFJTdJ4CnfEwr05dUOPvdncAnuTxcgmNAQC0O2ytf2MR4dY1LaKckFSiEfjjY
Dn+S8V8clntkKBRcpuYWbMIqsBZisMdQOEn9ilutIKdtdi0caUGGuj65xMT5VlJ0
NYsDTdnL4Q3NKCwGC7koobXpiXhkC3mViR46aq7Wkpm9+UQN0G7DoM7ek2A8y+WN
CzbaB3TijDoyEi1Oq8Ku5gIQRzrX5Gm/u+sxXN19rVpevfYsahxi8bH939h7gWex
73IMicD1otwswaQ7sTB2y7rzAegMs/mLH2qtN7LH9S8rFANyBF/YVogU7T8y6oZ/
CydFjITtBsCr6vwVkJO13K1BomxpyLvqzTPd9Yh0VNMO3BFZBve/0s+zHuoI4Qq4
KoSvJnenyWqt
=Czrd
-----END PGP SIGNATURE-----