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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.1.0-3build1
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
 2349315a384fe84c3b9c1f79985c6e98705a1036 9032 mathcomp-finmap_2.1.0-3build1.debian.tar.xz
Checksums-Sha256:
 ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 e1285e12fd82f7f3b9b3e1eb27e920af488b02514d58df1d238bd0d1e3091d87 9032 mathcomp-finmap_2.1.0-3build1.debian.tar.xz
Files:
 cce9e590bc1d7d1f979a9ebbf4ab0715 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 64b9d459b5f01f5e058cfd6675af2246 9032 mathcomp-finmap_2.1.0-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldIgACgkQ5mx3Wuv+
bH30VBAAwvQYiI5yN3fBgUrvrxJn0h2oJWhntIQ6oVAXo+MCcuEOcXFJd3bU78ab
KAr8ip4OplkRrQ46p8uzsoD/XEXVqgscegojFK//Sq37M0VMawOfiFbHHojpoW3C
WFLv0UtBR+erK9SrZ5N+eiHtiE9eXGo05xpr571e02+fHcqPG2nOjJGdCK6FhmDh
ry61NJr0YnWao1lY918/p7SBrWje1u8Q+CNXCoasZkMzyK5GW4KEdnKsrfwC0Q+u
gs2YIC98VDGgWXM+2IpWh2jIXbkrGBzs/PDMS652KJufem3gSZDpa+xkhxwh7H6u
LvOCmUcP67Zimw6u8latpIQEHRSUfZ4beSfc1G6o1KpiNzDKXnTzbAXIM3qZLV7+
8Pg4dyM1pLJb8YKLKljDdwlhiTbMCKtdOq4tTfE6BVHRPAdzmiw/OJdCJt56vd/D
4UqxrEOghfXTiFoJHW5WtYF+4bLfhXIoHFKKhCf32EdsQZhtBPZAwbWz9TknYc8N
CIH/hSBsVZdCgs2iOmPVJmr3hbkKb+y5+WfgmPkt1U+8YQJgp4Ph70IL7n5fgCqW
Kvs/yL/INYy3slw9ROfqYI+mSDCrDyuNWMy55WE05HijT/LgzR2yTi8lzORBjqii
8TLeSnqgSc1G7G3/sENezpVXkRreQJEwCFd3p2RCo4tGTt6UP8U=
=FqaI
-----END PGP SIGNATURE-----