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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.0-2build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/analysis
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 84a72466d396f385b4955a9bb5934ab0a845c449 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 980b44afbcf5ec2f6b400422e724e3be70f7bcf7 8912 mathcomp-analysis_0.6.0-2build3.debian.tar.xz
Checksums-Sha256:
 1fc0252422592abec0e978c9f49bde752f2f38ae5a61ad0ece68446efd29730b 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 cb836e11b061cf9abe919220d0588e31ce3d15976c0b6b8998f58b797dae4935 8912 mathcomp-analysis_0.6.0-2build3.debian.tar.xz
Files:
 f033cda83fb712a860ee32d67c1f4542 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 918800497df75e600a397cd90591f2e1 8912 mathcomp-analysis_0.6.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSIMMQACgkQ808JdE6f
XdlT4RAAt4IwAwd4SFdTgjani8q8ea8f35JsHRbrsvVTHpH7uOnxb+pUFeXyHXrl
6we3+WR8L+lyj/E097w/2lTglXQ3qdEPu8HabjUKuPHBeLvfuj/oNc1Xpaux/NdS
HAEXJlLVpWI8mUQJUp2YEzZkobq3S5NqucdWsbz0XVoKZq19xikgkxOzKLp3vS7k
DT3r825DessiaBKuPNbiXdc/44IsjDe+RigPvOBpC63TdHW83cFhzwmgstn7v4BL
fTgjMlXJleRoUMXVg22TLFrZaRn/KxvO4iowplbjov87zUMVf6eTO5X8FTvRsXNS
LjG+x9oUdLpvrlh0X/VZ/UHuWxEVbhwkPHGGOSL3PCoFdSVu1wFw4t+/iIex/Suj
am1i1R2NFV9wvdlfWDqKoAlhetRRAuATqAFJkxcAIKHWMtJwg6OzsdawPAr3rL5f
yDag/ZLEX6UeW0xzZhxmkKWqaOE2kQCS949xch3T9mx9l8N0j6uzsvLFdrx331Jx
KDBxypLKp1Gu67//YbiclgKFsTmXjX4ZkSn2BS08l4UcE+kCKEPAcATlCUFABWoN
/lQS1RHnvXN0mwo2psIiYjAtWXWQW3IUXcCfmQn+PAQE2IyuchBQuGUY1qsAGbod
fglUMOoWmixdSZbuadqfWXT/M7/mp4JbPy6nYETMNTgiHWV/Bw8=
=0Gk4
-----END PGP SIGNATURE-----