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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 1.1.0-2build1
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
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 e5b409305ae8e3c1343273b5534f986daa2672b0 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 bf46048ccf7c377b656fabb0d96315c94f6ade1e 9332 mathcomp-analysis_1.1.0-2build1.debian.tar.xz
Checksums-Sha256:
 6df4010ab010b0d0ff84133d2b435bd19d3b90de031cb8880668b5b5ecdde533 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 e7c59927f3f266283311405fcaf5f7d1d77975e7a967a8136651203e649faa6b 9332 mathcomp-analysis_1.1.0-2build1.debian.tar.xz
Files:
 36515f2cd0c0101c2e049ab700467f38 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 4cf6b361911e797125c6009bfd420857 9332 mathcomp-analysis_1.1.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCXmYACgkQ808JdE6f
XdmQJRAA069/5WHSLllecILP0GUdnUIS/LIIwCFHwz5jm1J6JD0yrMVG8i2Grrx3
NRLAhvuv+KSobHtwdnk3c/n7H3PKwggF82FoQfmluCUDbxLafYTXXJdRMSHFcUzC
MvR5l5bpWx7vdp4MpzZpFnoHau5aptiFwE+pU45GJ2phQja0UThVQFf//Pj2Dc7b
yGZgmQuxb1Ydls7vasdaeF6HO/5NlpcMziss0feYuBh0fvAFKT9DtyMknICbSASu
Y1H+BePfG48x/qDyf6f28VhcNtNHLuh4ITxOlRzRO0Bm5i1bGKDe4yym/t4B1v9o
/ca4CU6GKCxorxmuJ6jKAukpk5C5ZmE8lMa2qYwWWqdxR+V/YoT85M9HkOhd0vpP
Os6vkOq0bpdN8SE6WOCvUkos0JP3QtlqYVONzJSJYFu4RZNdcYU6wUj5bWqaRAi9
M8OsF0HAEmwKq+YTk4XGZSKpoGVaDsyQVT2h8yALwHudYdmYWuwYvxTyKwlcpF+z
SEeGNW50GCChQEBf0XxRXlFeHrTKx8eM/1CDBQxFHDuN49pIWLygIXA+HVE1t74B
KUn2hBhWBcSIEi8nK4flLIZUXLSKA64KlCs++6C15a8h126VPrGulAaobZ5XtdFN
STXMM5MZHtgTwtZK6rcdS+NPH5sNP8xLVVgR2zfLTLq4j4/Sl1M=
=3orv
-----END PGP SIGNATURE-----