Accepted mathcomp-finmap 1.5.1-7 (source) into unstable

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

Format: 1.8
Date: Sun, 12 Jun 2022 14:12:25 +0200
Source: mathcomp-finmap
Architecture: source
Version: 1.5.1-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 mathcomp-finmap (1.5.1-7) unstable; urgency=medium
 .
   * Use dh-coq.
Checksums-Sha1:
 54c47059cef47734aff1467fd0960fca337254a5 2079 mathcomp-finmap_1.5.1-7.dsc
 503033b8a90a8865a5b10afe0d17dd4267803bc0 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
 6bf5c431e51649c2c103370d2b911aeb3ccc3d95 6635 mathcomp-finmap_1.5.1-7_source.buildinfo
Checksums-Sha256:
 6c4bdd6cda04b5e4abcf489b729fec69d974ff2a56894099eecda5ff61154feb 2079 mathcomp-finmap_1.5.1-7.dsc
 480e55ac7a45f1c910049f75dc6e12973b627ddff401e348e6cd1c5f460cbe6b 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
 55ec958a71642eea69caa4895d76abe3cefb9209cde648ff7986554e648c3af3 6635 mathcomp-finmap_1.5.1-7_source.buildinfo
Files:
 39f95bc9e4488656090d11a8a49eadc6 2079 ocaml optional mathcomp-finmap_1.5.1-7.dsc
 d737f9870b63a87644f8b3f1db795be9 8540 ocaml optional mathcomp-finmap_1.5.1-7.debian.tar.xz
 97d5665bfa4b55548b6e964259cbb30b 6635 ocaml optional mathcomp-finmap_1.5.1-7_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqtIQAIvD8oqimgWIaDOWlhLyLYOJF5mK2fii
q0SBLz3l6Ofp+sVXn3x8+FUE8ooi7JjMlCEo+UZKtkOmR1oJHZtpkASWtNRYnYN9
K8XgN8tcfr0eCDIMs2mhzt7YI3eID0iVP0ieXvsVk0KIencedwEuqibCXHOI3hDC
ii2mhOgNoDb1cG50jQjnq2MH7JxKofRR1FgM60GlImBTqRAXWoIlMEJbansT6Ma0
bGalgbmi5DsBru7piyOe/fpo1j7/m1EPOY+b0OBfL+H8YqsIzRUVFMFbcC0LMyxX
kxNkVCR/VQ7HHIRrzEGYyJkYz7Y48sfql9goZ7Cl7EOnfPy9A/EkiibYLRTEJtAp
AWoNvpITXO//D7+aZ+bWDwKwWo6BJWVenfdxUl/qqWxaFCmPV17TVgH2TMdt4gRs
iL0mtUYWZ67POzB7nOI2HVqCokelFMrCXUXRYDUoixMFSM7zyajktm9sc/6lOvVX
QmhctnbIBEySXbcRKlueLCra08/kkBPoANEq55liM0jitJ5iBNwuo919qXX8ArQj
jYmIZ7OAyPuDlqrYA/FqGP9RAP1sflBP5EgKVtzjAgOJ+wYMBAvw8HZcbF5kqOo/
kwczTio+ZiPmd5IKJyAC1EJMF8u65i9Ja2LvWUwJOidZLIqUhaIrxcHyGnxDa9yW
mDng/iN9+lPv
=okwV
-----END PGP SIGNATURE-----