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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.1.0-1
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.2
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:
 e37ece54ee8bbb7d2d32268364bd2a9e712afdc5 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 79fbe261765ad92d3493c049dcee7aaf8e3a5e93 8880 mathcomp-finmap_2.1.0-1.debian.tar.xz
Checksums-Sha256:
 ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 36d2629a256dc42a1edf847d3b13b228810435c0b1e0c283a455531f5ef7dc12 8880 mathcomp-finmap_2.1.0-1.debian.tar.xz
Files:
 cce9e590bc1d7d1f979a9ebbf4ab0715 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 d97e4fffd6a02a76edff6bbecf5c54a7 8880 mathcomp-finmap_2.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH5pQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRT1kP/2pmdb4bbpV1JNljferql8Fiq9jrcCzB
YfNFhmEY8xcqw22Yp/03sQrWWERv2HZDDW8ahNoZ1quqf51n+JlirmM4rOcDDBCN
N7t8idng+zM/SyZr9A9JWfTKj8vQ5EpUvgavnGq8XmJBaqJvDYTt3m6YvxzvZz5I
YtBoS8+P+C4vfHMSSSOP+0aNfM4X3bJvMOl3qVdOPu/KVuE37cjmlTALMH/193rD
iSAqltbemCkfqTkidSndr7oOgfBXLv/CosrQKx4rpHfuHpBp4dhOVA9eYg/yJfP5
SwzqmFtZ0nGh3KuukTnRg/idbq3584LdwTInQZRxYBAynHMG+ykHxfPV9lKjncD4
wnK8nTW5K3+ntzYRrMjVjbLn3BFyEoOX628aoU5+Xg6msEluAPwdJlFWMGiA481F
cZmV93o+dv+4+/zK/pgsWrFq+nO0kkG8FM7O683ZpmdUN/jcwRWkvt7wW7/YeAHX
MdOxazbhXrqjwkaYIVNIV57uA9xqxDq4QCGjpNUphZxtgaBQxR8qYQoY0Fdin4KM
aI1vn5X2DBATnBLwsbqRICQejGc2bILfS03wX5JE5K0y9FtCVDiPmcNkA5i314Zb
N2f8TEo3po0a9AU1Zlw78yTNfjcfLY0ksvUslV6QSMiPiXvOOsp3y/e8UNAraCc4
rQ8nBw+R9VfM
=JY3F
-----END PGP SIGNATURE-----