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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-5
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
 607eb587ea2e43faf5bdb2f2cd2c6aac90b505c8 8544 mathcomp-finmap_1.5.1-5.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 1e65529152b4eac0d6771a021315bd4d3e05b28495b577f86588432cf07f0640 8544 mathcomp-finmap_1.5.1-5.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 ad9ade392e28ede3c789a3c2ccc44977 8544 mathcomp-finmap_1.5.1-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKLebgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQwMP/jCxXMYrsGWtuv+LJC5pizEK3gNbm06d
MvyalyF4E/NEy8Z/bxQCcKeDcmdrzirbCdX+ZdGMOvU0lvtQWu1rYTq34npO+o90
Wzrs7cltXH1LD8y64PBHmHi2t6/eyOilo/om6D41IRRFZ7W2IWFVWrVfxfyqW7sm
QaqeYinUlifKpykP8PblCFVIGvYXKBrZ4psN544cFeks2TkTdcZtAo5+qkDoJAfo
DCAVTUosdVcPYK6dcL40ZxY3yFp5vPfLlAoYuMBFkNatrbK5mzaHPApop8EolDto
lMysEboxGiumVfALFiweKqSuohad0ooeK0jaRoqckKo73eKrUburXniR76l8Pymn
Z4yUfign9RmGaTSiIXOmONkjKdXAdcpfZhZUqo80lEpgd/w/pdMk6W/1PZ4VsLuk
yKDQHNWSDfpN6PMiwJakUuOxLVjWZqEWw+8W5SA2QS7WeHCgvpfWnzJ9goshB5yf
o6ffCF5U87fc2ZiMD233a9IxWLv7XVb+1ROaoWex2tCz3XG3vs9T2Jg2jVf5KHdA
IUU7j1txChVBeGf6TEf/yraZ762sieAYA6zmpT47W3OqjfDxYjt6OAZ2YQwuWjW5
qEx++9q6Br4NhoxcFZZOBUHjJnjYDugTPnPpwDznwunaziuFFFHJdjLlfIS0qYFR
vdZddXNTBVa0
=ZEJG
-----END PGP SIGNATURE-----