-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-1build5
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-finmap
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 f8254751e1f9d4adbaf5e726b6dbf2edb03893c4 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 d7a797c96e1a49395211021b59991a2e2d074817 8816 mathcomp-finmap_1.5.2-1build5.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 e3c9a46930f5b863a81bfc0c7b0510dc6ce4ca7ab2686551cfb7bdb37b53892c 8816 mathcomp-finmap_1.5.2-1build5.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 43142551bf3c87db81bd93722a00fafc 8816 mathcomp-finmap_1.5.2-1build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudkEACgkQ808JdE6f
Xdl83BAA0eIT/hHwfeZuPLWDHkIA5uZEV9Cox29DhkctZ19HHRreAkn+0xzglYwT
DJfug4e9SnKBMjxOqzWMPSI8GQnpAFpcXA6m9WwlKVwame1cSI0qZgvvTf4Ls/nc
IAize5bs0GquZ9mlNPMX8NOPdE8KetwkG49NPV0cmof1tF3cvaarRyVs9ObsGSt6
GOiIzyQstURDlaT27k6bd6CwEu++9z2UTQFAAhdRq6MW4xAZGSdfEU6AAH+3mGaJ
T/Nv3aXONsUbTy2+XK+tlTclj561o7TU+w6tNMlsAGkwil3e/JQ/11ET53lqdoYQ
XzcYKDebzs6khxi8y2XJ48f2mMOptRkzRb4VoT3gHq49P0ICTBU3OLZg7oB5SY2l
9l+yKIkWMIfOiskoq+yKmJpziA6B9zDaIExoB53pmK6g5WzG7JTyw8p903WMO6Zl
G1g40BXj70k5StcK6Vu50eLEubSh7j3d5ciZBaLAfQf0mYiKb1MvPnXrkcgZR6/B
3AZA5BWKa7yBOZZJ+xokUHAMaS0VEV1F+xDtNWWNLoTduhBl1tHxBoA5C3ayg1UK
ApqWsIoX1A50waZkI7zMKLr8KQW359woiivndqP+zBU8pxBJjbD5hhiKb2gpjKay
al6Ha4g5QQjnmkf1fdmP1cqQIYqP6D7vkrbXxvxBf2fNBV6EFnI=
=ISfn
-----END PGP SIGNATURE-----