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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.0.0-2build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 e8523799f3d9de521c057587128c89adc0190399 9108 mathcomp-finmap_2.0.0-2build5.debian.tar.xz
Checksums-Sha256:
 da2933d0b2f151031d8dbc6141c2d0aa7bdd0a683b33e6723bafb4b96f2cd6fb 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 389542ae2602418e24b65d0ff563348b25d8f0c3fc71b56126d959936b84a89e 9108 mathcomp-finmap_2.0.0-2build5.debian.tar.xz
Files:
 265e9d181b1f42aae7a326adc7293584 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 e87a532c524774c3a294ea39c013b154 9108 mathcomp-finmap_2.0.0-2build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmdgACgkQ808JdE6f
Xdn+Tw//THBdHsGiwPvR1Sa71yn9RqcLnjUX3V6XEOHkBe5uYELnahbGaHuvCby7
q+Yetbnj94RdpuP8UNhn6W8PFGCryXosoTN1R1w0IFPHC6Hns+5BYHWAmUXRxAeI
EDnmRZvnurKjNvYI164ty2GRL4hZ6g7gbZ4r8wFVIOWgLUwvCe0fySgnGgUbFa+D
iO7PvcFRhYTrPTeWIKdY2vMvJFt3Z21qqb1eS+6D5Kis9DAQw2fYbpUkh4SYFzzf
O+Zn0dcNiB+4KCVSXucy+3UGK56pItCrzdbh1tw2enwD0a/IIzFts4e96A/4Aw6x
GeKqfMzsrSzG5SQrhlA5hc0lsk49By3M1OpiObsbOYZCPrBZPVvgiCpBZn6d95WE
7ZhbRf0BNEAdHEM1D5/c/qxZCTyeMBIzBf+12vTKFuyTyc11R4rRoeC0Gma8Y8zA
FH2pGaI2NVguf/QrRO5LJVXp+pPLI0wypeALlGWrNVPLuBXGTJPpHM0gSW2XndsO
C6Z13XqqyaxB3gEDhfZZZ27DwvuZAOnvTInYMNPrru01m86fN3FIGlOYgZC+YS+z
eF/jKyImzJcrwy342UTd4y01aZd5bIGNffs1qlRxEAhKL3lbMetA3h+Hqe1jit0E
KrmAWMAExM2IUOi19ETUdQS4lFcT2YIg9mDLfr4rfJSqIQ58AJw=
=QYmL
-----END PGP SIGNATURE-----