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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.4-3build1
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:
 3e279609445621669c86c8e54b40a28ced957c73 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 e7b3627eda5987963753468edccf30f9797c3af1 9196 mathcomp-analysis_0.6.4-3build1.debian.tar.xz
Checksums-Sha256:
 cfe97292d3cb573806e432edc32081d4c7d91994423b1d8b7dea51bed5448ac0 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 9b29ee61b31c03f13f3dee400f45d10bab79c5265aa2194d4c3858a703da1f6b 9196 mathcomp-analysis_0.6.4-3build1.debian.tar.xz
Files:
 0649d8c5827de2d1d4aa746e68bb6215 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 9575bff955ea6c7cab9614d732ae71a6 9196 mathcomp-analysis_0.6.4-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTsxQQACgkQ808JdE6f
XdlJDBAAgNo4KIPlQo71i1QBoNDdpR61v30woBS6oFWU26wqPV1HmcCg10JOvJjv
bQOJzXV5rSKhKW2Oy9Yqs7ETmmhGVcwtJSgameUH7pWER/xv/d/d8jKxw5QGhQWH
wUPpwqY/sNRRe0IcWPJiUYWRZxYgwRsIDjEUXcXq2fDRIb6W+4rqHDnh99gHyKAT
R/6Uc+7UsY4fj1kHY+JDmGAlS4W4UG+O18SLNCwJHWipArpWOkBRLKlSxAfCJ236
9H0BP2OGz3DW4i+od8UPjoY5WzYBU6k4I93o6/nlfewF49XBUqVlHS/Cb7+SAnlO
8Z2AnNY/0i+w4nh/X7HOcoA05BhipoXH2Fg6YfTqQb5qRuEldvAMGlEVjMk2zSyI
QoPaN4g658z0+6P/0dKct/yLpKThnPqwOteshWjjDdrUjEorWORGA39EevsruEy/
V47cbHYBdM2T/tfLYiK3RdxzKzLdLuV8YGfqYi2YuviqX5sriAGxz25g3LpUJgCF
AojjJr90HwO6VIjQRg+9WAiBo1v3BNIhTZBoq8IhXTYtOSCP+f64RcUBmLi7xCqF
UVMti8V3DiUw4BGiqzomff82kwb7SlfOh/Y8rDtPjAyv2FlMThUGkbpOJFxma5+p
F3EvQ+ZG2KNlMCP6oJSdUtRAxCXSgEc/rT1Ndf3FkTkyDEp6/80=
=P7CI
-----END PGP SIGNATURE-----