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

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

Format: 1.8
Date: Wed, 23 Mar 2022 22:33:42 +0100
Source: mathcomp-finmap
Architecture: source
Version: 1.5.1-2
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-2) unstable; urgency=medium
 .
   * Trigger rebuild to depend on newer coq.
Checksums-Sha1:
 b1317b10450fef8691cf8d24811d087e15c58218 2071 mathcomp-finmap_1.5.1-2.dsc
 d7f317ef5848f945240d1d7754b0e82bca4b23f4 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz
 edd9bdb6d8226aa592d56376ff5fbda92ae8ceb9 6595 mathcomp-finmap_1.5.1-2_source.buildinfo
Checksums-Sha256:
 4da99e9905110882bef2f4a565a950893973616797b1cd3655c6539a3b3d0af3 2071 mathcomp-finmap_1.5.1-2.dsc
 3dde0a9232e7811a760bd287dc6ab5dc9fd45d163ed45e12d862fe0d2a7ec0b6 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz
 ed5b0fc0ee5ed6c7e12f289d9a172dcf831fdd2638e026947cd0e662be38d5df 6595 mathcomp-finmap_1.5.1-2_source.buildinfo
Files:
 24bb3343fc7c3a712841eba57e1c96bc 2071 ocaml optional mathcomp-finmap_1.5.1-2.dsc
 8630b8a6139725d4519b87e4c828e075 8388 ocaml optional mathcomp-finmap_1.5.1-2.debian.tar.xz
 a79d5c00467272fbce885b3c80b033e0 6595 ocaml optional mathcomp-finmap_1.5.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7km8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR++cP/RfNB9cA0SE5Kjueda/Gj8dmy9VBx2nj
uxabVPm55RbAMSDcB6WNtLYfmGREVrDrj9OgjfcOGNrv7EpdyiKsTpwsWiQ0zJt8
F3jnaY6ZcHNgAoURAkrqqVqbZI24l3UbDIZDZavVTAL+eQ0QRSKGdtl0ZkVN7SdM
FySoeWA/p/s6yDCHYg327M6KAG3xd9il2VGYmU1xBgdnmMnIw0cEg4ooV16o7Tf0
4ZwbDIu6vJHzVGOEkSGZR8YnFykwCgkPGQ/j6NAsNw7MlqpQWhGbHuE3+0Hycvhn
ILIA/LxwQt6lPJNlojE5IjFXyBi5GKh2jNebZ3xIHXzRGZAecDJuUrySnG/krkZV
uBFDprRjrWWAFe8iF227ujEHv5SLDYDfU82RTsLa1u3zzlrcBe3VDevhuIORdzRs
iT3MKY8VLXJ77a2vCjRKqFSUHAFTO/QtxWPeFBBE/CHLoZ3aMHno890vnqGaZczK
dDRlHBkTHgnzC/sTkEIXv8aKJNXTomGNgwsVaNOCUQL1K8JwyoHSIX3jD3B3lNd4
AcDp1yM168k0ITyF27kEB6StPBepzrube9TAbqfbFQ+YdJEh6BXbxZgUHU9K3N/w
7tsI45Gzafp8dA55CQ9Y+MsFFzbSVJ4/idsoBu+QCgNk9Q/DQfR/iVxgGOrWBelZ
7MVGII5OhR9M
=YoR2
-----END PGP SIGNATURE-----