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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.17.0-1
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:
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 8b746577b1d69f0cfa078e42c051bb9ca4f1d2fd 9604 mathcomp-analysis_1.17.0-1.debian.tar.xz
Checksums-Sha256:
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 305d9d0ed111cfae9065817b87b9bac33f912b210eebeb2b75c6aba54f01e7ff 9604 mathcomp-analysis_1.17.0-1.debian.tar.xz
Files:
 8dfa49c710a93867c0c60cc092e25377 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 350bc74e8b625e618670509595236aaa 9604 mathcomp-analysis_1.17.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8dmEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS7WD/4i7MPK3q1YaV16CQRFKZOv
t6CMm9eohX/nSClvhFkMh9fLFFzqNlmI5MLdO1cL8DMhUlLDOxw9zQtwDyrC7nN/
8K47HJgGFe9PPdjIbPyiEOzKUh2Lgy7xGig3HhDNRrjQ7/y8g3zN1gRowPhm1M1F
M9Y73mME6JutWLPJKyc3RUwh2+rAKCOXCqVN0DMMHjwj3CHGHe1gzPT0MJKc8Zib
8xQ8dLFXfoZpOK22vPJlNHAFjQ/gAqVydgxKs1d+1QGDAVTezb5Gf2s/pLbD3WWh
56EvXguB/8jZv0STV6uX3hHUn5RYisg9U4r8SXz7Vx3JLPvEfrPwbAs8tLDpfIAz
9yFq0mmw9BwCZ5zIAmSinNf8UL7qZmKLjSdPh+oIQ1FNmcbyDwSFWrk/zT4DTW+g
00CPJYXOjU7Hummx4qVOyqqK0ect7VE+wg5/+mmFD0mOxTcTyeSFt5ZknPUKNmDU
K+u5SHsk8J1/1RQ7NTjbOuZgOwPuC1fadkM5dAaZtdVrav6TdQJi0Y5poRmpOvII
+9eDAcu8Jv+dJAC1vh2YyLyNFgS3IRT5T+EHAJFAtGig77SGikem+Umf9KW5yMF2
DB3fdV28/JAFsrFacnKC28nbIP9DUe4Tfv/ksV2KtoHZpfKRtvwfYB3ds9ziDMHC
AsE37TY3pnwXLVmz9DUmDA==
=XFm+
-----END PGP SIGNATURE-----