-----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-1build5
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
 90319d36b71fb3f2043d9778bb53b669a0e9a8be 9628 mathcomp-analysis_1.9.0-1build5.debian.tar.xz
Checksums-Sha256:
 ea9cf8653f1e63e01f76393231d048ecd693793ca69a12f28fcc7d43a30e5e46 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 4ee99d53d3f231366cd01db4fed70edced35a53e50b13d0d8b5a0b5ca1cba08d 9628 mathcomp-analysis_1.9.0-1build5.debian.tar.xz
Files:
 a9e7d18401d28d046e5a016a9abd18a8 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 21db0880949b66903f31dfe7fe4e438d 9628 mathcomp-analysis_1.9.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5Q2EACgkQ808JdE6f
XdkJ7w/7BjOFLNFdKfpaTNATbCi4diEonjOPW2ThvcKYQS6rSHXaSBOg9HZ1cLzz
JmNMcbLitjtV16CgP2XLkA6IkzA7ECYMLOp5ElM+/1I/YjSA8v6LsM77OQVZSkNE
atn1tP473rcqmmnTDvjeIc1Aty3qc0XllP0axMiODxOdKwW9rB/MRn4o7jf6eG4C
9MDoR6clW88AIEguZyT/hVdPZCR5oZeMSTJfHdEz/DNziTImqaYlsc0oHNAyW66a
dnj56UXy9Ltw7ptaPe2MSzUIllckCaR1mi66nJ/QIgz7hVHSFqxvkCKJ6TQcPUnw
AjgexqBpHj3EFxrPi4zJ6UdnLQiOxCLUZe1VYJaM9cmVnDtEsB0DdSwOg3oy6DaD
f4m6tKHEVoKuYNHp9OnZ6biHS+kI9aWPFM1bKIdtfhxV01Auz/p+Y2VZ3Z20ldi8
Zss5Y9K8/Ua5GFUJcyhsGNMe31O6DqHwl+0ZTtIyiFndBYksL/mQ+v27mERHv+eE
sJ1tXty/PqJ4UA5N9gmDZDuEKCzyiCTdOg+v7Xgg3vRt+KBYzJ8w4XkRzLLCdo2o
Q6SW/r4JBkM8kAmgHH7LFTFvAXsns17ddWsuPNlXif5UXETPVp55b1R1B2QTprxJ
4K+/JsmzjNvOXN9JS7m5QlwhRUM0shgquIS2ueujD/QNsaXLN9g=
=gV4o
-----END PGP SIGNATURE-----