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

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

Format: 1.8
Date: Thu, 05 May 2022 22:34:34 +0200
Source: mathcomp-finmap
Architecture: source
Version: 1.5.1-3
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-3) unstable; urgency=medium
 .
   * Depend on a proper Coq ABI.
Checksums-Sha1:
 bdb0c5ce429bf5c68116b6c225c952b611627688 2071 mathcomp-finmap_1.5.1-3.dsc
 da39970ecc1905fb13a190179ce220f82e5ea53c 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
 931fdd6828caaea3582ef9e5334ae7ce806ec9f6 6676 mathcomp-finmap_1.5.1-3_source.buildinfo
Checksums-Sha256:
 3e4bca26399abc8dd457a0527c584cdc6130894355922c1b206d61aa962aa5e8 2071 mathcomp-finmap_1.5.1-3.dsc
 0317a644b81295ef714e2ac22ef84052c3274b80570b49bc62f4ed2bb520e4d5 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
 0a8c580e315ff3808217a8d33d10079632b111e0c258e4c7fbbac1307168561e 6676 mathcomp-finmap_1.5.1-3_source.buildinfo
Files:
 4292fa23a9451d82f398f13e6f7fc2cd 2071 ocaml optional mathcomp-finmap_1.5.1-3.dsc
 09e26e8873d0c4b323f45186bad369e7 8464 ocaml optional mathcomp-finmap_1.5.1-3.debian.tar.xz
 e4b709eaa8d174f67650cfa33342456c 6676 ocaml optional mathcomp-finmap_1.5.1-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NU0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZQMP/3D18A/7qadS6iIpfxnRN0RdjtnqxXeN
xZLyjrYjFhNbgTZLguyHTO9mcoCPXlKoZTyYhx3KEqI5nx18b8hsJsiQ6BeyOLbv
Bcp7tBEBUG6Jvuyy+GZjQJZRMgmt3X9e5VwTSaSZqAJoeOfipqzSs+l/hOau7h8Q
HnRBV6NWcVFWUR2Ka35mBw0TYXKqJMETPTwdoBPPRho8CrxnwbukTymfaBWIch7Y
9UJx8t/AakQFno4pYvp1LHXU1PYmC6K2WtmsDLtQQxAllLXbpOnG/Z5oyFczhVhZ
cJjezncOA2Vb+QBiRstsNYNQfvbnTO/4ZgmUB5/lw5weGo99rGxxaiTPJO/Vdwj/
9E+OTYbWLBu9NbIE0vHm3KZPoCsaNv7z84JgPRUKKF8zUXwMq/b0K+0Fi68I4oM6
aPsANSt4qhMQN78I1WOvBHhLnRZ0i29v9FzBsbDXFDSCTEXvPRHi6Q+0yZ2Kz6Qq
d8i3FUY8h2Hm6TWT9SBUe8F2oqmwSj3yagJUHi/f59fBtl7eS0ijYdA+gkysDmwV
6udO1Fulvihbz94zVV3xxqrb1yJ+yE4yGPvQYxbgq03mfFcfC6gnwXlhvXGgS7Zs
6ON386OHjuj77UhKXqxYVGzwFiPPn/kSC2zZjNdMwnHYPLcZXlC5qViWieh1KSQp
SnJI6eVusYsi
=cpid
-----END PGP SIGNATURE-----