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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.1.0-3build6
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.7.0
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
 2eb3e4d81fc913cf75d921cad22742baabef58fc 9152 mathcomp-finmap_2.1.0-3build6.debian.tar.xz
Checksums-Sha256:
 ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 a1e2d94b341c6c315b6912d3b1dd36db40583efc1777ae48b2b0afa9f4d49f0e 9152 mathcomp-finmap_2.1.0-3build6.debian.tar.xz
Files:
 cce9e590bc1d7d1f979a9ebbf4ab0715 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 bf648055e6ebdc898536889efdfcbcd3 9152 mathcomp-finmap_2.1.0-3build6.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgclLIACgkQ5mx3Wuv+
bH2Imw//R1fV0nBCmgzmL/N53f2j0GSVgq7v/BAKkrDxkSofr7a4ths1b2vhdM74
kUu28qgYEoIm/NjoDEZKnA+Dms8hDjmUo+AoZ2tOwkVGhWTGjrDedLs9sAaIpIhb
Ol6gpusLvsA3jJqfs0fM53doHz6otn6ZOGfjoqr8D4muQUpLDLbpR4bR2HlWp59r
5uX/qywCkxcHWIrERHcNNM8qCYucmVOsJvsjKGGgfvcHHZSAAzm/QdMsF/4lKnCk
WqiwLDdxZ4wEvxlX5q7x5fRsFcr3vfMVeusTQt7fpvrlShd8DSZsRoMRbpzIiRaC
9H0ESQHNQlFcy44mNHXy7lb/xaTRed4rDGC25nNkN93ZE444Fq8YYGogyak1ctWB
4H7n3dd69OoxOITiUqrdXfQTtuQvdhZT6TxbrUcfE1X2LVILFKLrKYfHLIG3HG48
rBwp4B7FxoztvvqyGxe4sbc9tPmn7VwMDKFyoEAn1Cf6bHao6kFW72dlkqq7bQuM
Wvtqsl9PTr1ggAtzmjjBiRf6MsTOzgsscUSNjdjx1xFf4OFIOcWqfcWpiUhAHqwm
IGc0rO96WzCUO0ENFYuylTclmTIwC5plYQciG0T4EXVb/v0CTghTUGZSNZmuE2Uw
Vn/o4Hs8FAX8tVjGDl4z8MNefqFMuGx1ySCs6i4pxZKj5d0cPcY=
=4uXJ
-----END PGP SIGNATURE-----