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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.0.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:
 44c1eee28c646e84f9d155fefae18c47292d1183 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 0ad9cd6c142953be71ea541d85f87754b7fffada 8852 mathcomp-finmap_2.0.0-1.debian.tar.xz
Checksums-Sha256:
 da2933d0b2f151031d8dbc6141c2d0aa7bdd0a683b33e6723bafb4b96f2cd6fb 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 86623b3316d3846f7d03f9419d9bd49ef1dda5c2b68939b36298aed7f7212b7a 8852 mathcomp-finmap_2.0.0-1.debian.tar.xz
Files:
 265e9d181b1f42aae7a326adc7293584 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 7768285cced14eb97a55e30b0d29c025 8852 mathcomp-finmap_2.0.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZHASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREkQP/RCh5fBU6icJReXqHjnC8pxU9mcCsAHH
PRrMcKBklMc1lhrHLLIcba4iGY/Nxh5yHVOlDworpRAxxTjp8h19n2z9yJD3XnMY
Mewa9XpN2UHwIksJ+gqNUFhX3JfWwK7Cb6kfIe5tc3nXe0ppnzy1h+K84f3XXbTv
k3ljH17zr0aKXloqkykSYxJ/qOgTL+TeW83fkp8Oep9PHTj7elzFrrz1qZUoxmbD
52r2jZrbcS+pmcgmaRjfs9OGyagKgYCsZp7z0VYZjOREkv8iXp8IfJdsZRqqkk/7
riycYMNXZjXGolnSXhVQn6wfqP+o8uij8VKszgaVn+d45fYhaTjRBoaxNAZzuz+F
TwtB6FbLoHarR2vsGlrW9ZvlwYxql7N0iMz+DNZ3gJOb+WSBM1mxgHBZE2/OMT/N
foaLq8F1g5grDmf48VDpoIpg1OwB4eFBC7PfwcfZ3j09JZgpZx+ZiIyw2mwU4mur
5dc3C6wnvW/q1NPkqZXNfRsiP0ZGZsJgFr1ue7CynPRyTei+NrGbFByjLhZ+8DcL
Itn/kjdKyTzSkKUCKf3xMHOoPARg7xJiBJar4NssNw8XNUaNXpredRK6648fMbxc
Tc9UGlM1jQgVMQvxGOiOlLlRpnlJVCz55sW3IYbkqnt7Ml2dgJJFAHn6qbjWI/tV
QUU/7/jbcQ6E
=S3Ml
-----END PGP SIGNATURE-----