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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.9.0-1build9
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.0
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:
 239f3b0d11af2fb7aa3351c2392a2d160530428e 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 311ca98a82af52a861ffa125de4f21684ff6e775 9716 mathcomp-analysis_1.9.0-1build9.debian.tar.xz
Checksums-Sha256:
 ea9cf8653f1e63e01f76393231d048ecd693793ca69a12f28fcc7d43a30e5e46 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 ab5c3a8f643ea61f2e32fcc7714868afae4fe38bf879056b80eae256180153ed 9716 mathcomp-analysis_1.9.0-1build9.debian.tar.xz
Files:
 a9e7d18401d28d046e5a016a9abd18a8 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 942f4ea8743e1ba4289bd95f8d0e61bf 9716 mathcomp-analysis_1.9.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmtlH8ACgkQWWH9vpxh
mAm7KBAAgHh2rtJIzeA9ZAKXo8XIF4SeB7q8AFHzOQn5wXC+P6i3vZlM4T9N1xf3
YXweUY89Ixw8HL6nVGraoIIho3cmgIPb8M5q2WcN7gHSaTBzemSJc9IE3ONyObYZ
ikD2GC2bEy427xHCjg2EW24LSxD4FFpDggdK8RiSojQ+5nN4zRZwnAEU8Of/UPp8
/NLzvfOJp+VgZVXNfWolLLYw8hBTrtEX/7QsMxY0eKpuT8lzSrhg0cmoiVMLFNM6
obfPt5oLg6iEFRaK89Z88cR58/aMfeVSvj5l7qbVSDdLG71YujgBvw60zrP+AvWw
6WmVFdufUrGu/i63RZeO0KUXUD209R5RtDX4GOXnVt6gEnByOUQuxo/t5OCrPKym
mOknu+cS5jSzbtPrzezQlOf+/ZCE2Nkb2ePER0jab+QbMoyVRwz9j8utg6c3MOZK
/XXb/w3Lb/2UwqFQCv7ug/BGkaIFmV7HIKFn5G/yPihtO8TKmK1qXxK0UwyMw1uE
bzxRNeFoRBoEWmqQvk+XDhP2konwsSmAt6pl4RVenzzRnTPKMDwMo2Eiqm7MFz+m
xvdQFgXIYsP7RBtgGPdX1PJ6VvYKgM4q4FOzuJOwGZb4nfctZkQShtydrmdOxYCm
GaPyFZSyGX3MW7gVbl4t7BxYqiPw6zcGAmGkFxeub9MYK9B5wD0=
=xLQq
-----END PGP SIGNATURE-----