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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/finmap
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-finmap
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 da39970ecc1905fb13a190179ce220f82e5ea53c 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 0317a644b81295ef714e2ac22ef84052c3274b80570b49bc62f4ed2bb520e4d5 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 09e26e8873d0c4b323f45186bad369e7 8464 mathcomp-finmap_1.5.1-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ0NUwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZR8P/2GwHfy9qtQAIw0e1R9jTeeQaKWtjW/t
VAKsOpDrYIfwVSIK4nUqv5UcjC0FsymkQKOtEA4Qq9yFHxaXaEFAr1lJfceYtcts
guvwPRq/mLawkflxzxSZNMtkT0xQU+c4ZdiJExyQX/xRw61iP9casLMg+FvT+tgI
cKPByr1a21Ru74vhEGNb494hhSvzXPAPmGC4b1idE7VPBfLA60vpj7kxV1HSp5ml
RfJaBaj3PHrKl1tdr7mFYHeCKEPl+E3VUsbkQ1nC/UwFjkWlvLp2gd+pPx6mUq77
1QZCmth7U2gIs3SjpXUk5tWnZVmvutQcn5ME4qQ2VnMxkGQhNuokzqWB4DzxDnGu
El3cMqxI/JXmd+xgjGQcjIpvY0DEea79a7e+CCDLKJoE4p1zzzYbC6yaIGBHYe28
LwhWO25pKMKRv8dBkF8cs2uiKxXn36C1isLpBfHrwUaHkBnomn2dB/by9ljsc/Zh
hXtSowGs5y6mk13S2ZH6StUdSHfSn2jsuK2dV4gDAKBFiJagiK8o7/RxL+QwPegZ
jzVAZzOf95A1di/pUvDnUs1vjs8bXwEodxDD8JsqTfNxAXn9YKEc+1hw0huC7lV2
GBo+0AM6i9fd6yYmn4AHpFL3i0Z7U6yNKvKDxZIUlmYck42o4aMyRxC4QhEuUhio
BUxD0OylXP+d
=xqiN
-----END PGP SIGNATURE-----