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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.16.0-2
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, 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:
 01658f08323cea067344714018df6d30953fb553 1012936 mathcomp-analysis_1.16.0.orig.tar.gz
 a5f9b2c7b0b01f24bb1025a2ac153183f2611cbb 9596 mathcomp-analysis_1.16.0-2.debian.tar.xz
Checksums-Sha256:
 dee67f6c61ee783dcc1fdb4848d71d3713d2ba1365d38f4939cb3e7dab83acf5 1012936 mathcomp-analysis_1.16.0.orig.tar.gz
 fd24f2971e0462c599b322b73e0fc198d874b6feec836b368204a543321860d2 9596 mathcomp-analysis_1.16.0-2.debian.tar.xz
Files:
 f9a69d5e768adf9d5c551f756a09505f 1012936 mathcomp-analysis_1.16.0.orig.tar.gz
 263fe16b7abffb6b06e0f0d62d99284e 9596 mathcomp-analysis_1.16.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp+WYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUX2XD/0QUy9qd8tFF8kXwnOvqrLe
hODH1TVUNwgVmIMOXg8/9vNoZncmKRCCotaCOivoeb2Vlys7HVMfhIk5/pHmxgcI
pZcKLIwEyOoiuf2Uo54+F1cWggvZ62d57ygYMk0Fj06i4eETXjE4n/P/cV84bhzG
X385IhsG6gLl/ObT4SNemJv28BnmoUsra2dgVRvLL/Qr17X1yZiJ01nsfykw6vLW
ZGtPMG/Hd9huD7hMnEtg97l4ml60KD4JNTp5jg7I9XMv0+9APGoQgxEtkSircuvB
PFkjdWHOg/3aAan1ky0CypV/pvH7S0KVuIqXwjngXUUsgDlyLGK6c6hi3xPOpbqQ
0+hzbP///zhY9Ta2Tx7qYccECb7jg2D4pcNIXC2vKmNHHzWxMG40+N78qy6oCb2d
SWqnHnLq87E+jutxYhSO8xwE9HrxgzZzBfWL9ZtXMS5KXXx57dTYuh8InHd3ZMMH
Fz+YWqm/h9tIo/WdBz6nkbp/gCGefKUBPCvvBPnr4RGNQhwDiSHDU+WVB8UOswDY
Ejn7LnzzEHXt50F1vkXzcBl2fbvd6UYm2HWcQKcLhtSmIMRVnDmeWOM6s7I+hUCA
/aFdbWTah6lp5IWECVZkrg/ucTu+SHdoIryVMJ3JhAiZubDAj81fnKJUMfcKURDx
UjH16S6orgRMI3TL6Ui3Nw==
=+FSZ
-----END PGP SIGNATURE-----