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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.0.0-2build2
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
 4570abeff1c0437c9327946a82d7d1b629acbb01 8980 mathcomp-finmap_2.0.0-2build2.debian.tar.xz
Checksums-Sha256:
 da2933d0b2f151031d8dbc6141c2d0aa7bdd0a683b33e6723bafb4b96f2cd6fb 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 eb9b8a04a951a1920dcffdf402a7c6470cddbd9bd8aba6fa1290781fbf93e5a0 8980 mathcomp-finmap_2.0.0-2build2.debian.tar.xz
Files:
 265e9d181b1f42aae7a326adc7293584 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 bc5f63bc9a59111328c7c4b0eadbf5cf 8980 mathcomp-finmap_2.0.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/PgACgkQ808JdE6f
XdnLBQ//VE6558ErmKJrNp6ccNpyJ7A5/b3UskiEJzNH1NI3WeMz3Fl9AEh+IqJO
1bclU6B2xuyb159JqoR42IKfIiaxF8/4jADuBRINe/eTd8uc2+ZIMoZAViqVl3N2
23scyZv56iULWQP2Ng9fFPQDIWa6gmPBDGys6TzgOyJBx24OPCungdiKya3KL2XY
Q46Udeb3tDMjYypp32ozs7tpnriia0qxqUqdEkU8A8bsOo8Yd0gHSAq8jAkiY2wR
KOYEq5Sx0Rf2vvczJOkaJThI3sh6bxQ2AYllubPe+WzPRdF2RIHR/4OH3vDY78WR
YOAMLtFYYUvhsHNeR3Q0jAA07KUOzKeVr+1bdeO2uWAAKLhOE6VsXys8+wirEEWH
OIWQrPIWWPey9OLVV8FppI+huafFcQL4djrducBr+ETVHTsCrMBPqBYRhnuMeHQS
T+gP2xjMEwrsdrAnSUqbPcXLYPfCu7AP4tWRVkV03EvU4elsW7LXl+pHcj6pgnk2
NH9b8v6JmItn5ta7JFUkKDH2nukYdkFBF7SZ6mrRDqyXjlpJND19nh7CINhAZYcG
DmKhw40U3rhPJXtwZqpYsxJCaYVqRIQ52v25v7tSmb0dS+cQ9Fd560XZ0FB6MxbW
71jKR1AnxPpn05qp6spEhVCjenj2LenJBNWBtYPb4sgL8XKpXKk=
=8Qo2
-----END PGP SIGNATURE-----