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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.0.0-2build4
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
 dc162d44ed495aaf0b5ef464a54ce92bb4f92be8 9100 mathcomp-finmap_2.0.0-2build4.debian.tar.xz
Checksums-Sha256:
 da2933d0b2f151031d8dbc6141c2d0aa7bdd0a683b33e6723bafb4b96f2cd6fb 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 b0572f23292eda91264d2e658c569db82d016519f80fb470792c2876410fc3f7 9100 mathcomp-finmap_2.0.0-2build4.debian.tar.xz
Files:
 265e9d181b1f42aae7a326adc7293584 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 1868d3456a943e89de2d523da1c60a72 9100 mathcomp-finmap_2.0.0-2build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJweMaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1ATg//Yt4esExDUATu4BGSvroC
SeZLYk+3rXU/Xs/sL6E2B21CtT+c+MRpFoNNXU1fs4ZWtAzvOxldzSO79gSQPcLG
di2FYSbalp0umVPnNvQ8WCRoR9HuXRub93fjMv5I5jm6VMqeQFauBLi25yazR8Ag
AjI6bbyiADEBni4ziDmzQdTHTOhM+wqHUHbx+aCBwMOxwhjQDD+8C5zi/PPYmqaT
jwgsk4d1cF4zEMbipzkGbW2pY7BKrL4+MxI3U9xOeJhX1i6MBc8nnNNU5LZobgXs
lXrDf2t1mqV8Kl5sQYObdbI4XhF8/kIow1Ek08TUFGldHM+4y9G3KINoRC1I735R
uOjV6Jxl70Albj68QUyhlqAdlggoaERsoBWfdXLcabj/bnIYyGBMhbALd6DdevOQ
X6MJADRzLs0Skwi9l6wFVdXKZdqrrUJbSYLkXHfqvphLLVtNTCJLGYqAOhiMQ1Jh
l6lTCmYAXs2wpGMyCCH3AoKbeca4LX82mYMTdHx0EbdS0HOTt0RZwYQDP9DwQTiY
6V6XUECFXmwrLUevcCEF0L2miqT5rrVDv+ojlAipO+7lhwcROIyh86Olyc61rEZm
qsJPxZqrZE+wkE+csPVBvX4fzhKrDPAHqSiIspU5gHZULBwJQ5v6yDvo7dPfixCi
u/LU8zARdg90b0GwZaNLKGc=
=V0c5
-----END PGP SIGNATURE-----