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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.14.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.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 (>= 9), 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:
 bf8d9324bef6dc757eef10fab616f1a939127c99 976787 mathcomp-analysis_1.14.0.orig.tar.gz
 ee6676e71c7de593c06bbfa248a65582d8420e46 9576 mathcomp-analysis_1.14.0-1.debian.tar.xz
Checksums-Sha256:
 358afb3f7418fda5462ddbbaa510af4af68bd17a2cbb766dd23ada04e72f880a 976787 mathcomp-analysis_1.14.0.orig.tar.gz
 4d070375cb99e78ab7c0f02cb2c43db69f1cccb5c83758d75a878c69efa9201b 9576 mathcomp-analysis_1.14.0-1.debian.tar.xz
Files:
 5d3538e021217b45734fe5ae864c7b36 976787 mathcomp-analysis_1.14.0.orig.tar.gz
 5a98605821bc48257b59a7020fdd66c3 9576 mathcomp-analysis_1.14.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTmEUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWlCD/4lv2ToLKpWZLYJTpxRl3nL
W57XoCrOSPWe+2t66FjIDfzWQ519rzk9TEtrUMhgYqvg3z/LBBk+1DlReEpyqZ/Y
mlgwwzZkxvbfLjD34QB6S9jhw2wGsPCBbwKR8SeA6B3lLqOdNkXPLEQ7j1eMWgpH
dNxufELiNuzcOlchkxymruApbzkq9j1xMe0UdLIVwjMkvrAqisvUEzq03Oo0pHsH
bkfGgCXKZGcYi6pPx2+kD23jBwg45ZH9A4NmgKTs0B7UhipkelDxO8KRnWa/qTM4
/zuE7oKOaZkmUfNtd++tS6uvbDdSKSZGshFLR4K6bd8YDMJvG0p+ZxshCqGduP8B
ywOLzGbkzqTrvOn3VJRu4Jtcq6D3n6pfDz0rBJ6l1ImFA4jsC9rG1hDnCi1tehIm
4bdlo2sg12TaWnuMqzgIlbByCEWTxSG6LjY0+QceUunGR/FeQ8uzPoaZ4fuUAD3U
rEQhBzWNxGKa5EopemumTXKOFncwTTFt3WkclHEsaUwVPUwKN2aMVHLWjNZmuEP8
RUOyHhcpnK7sxEyB+rfJuxrWe49n3P4epaSxTUI7Ef+BVyu3eAH/dqscpcYOGjqw
BQ8euqptm8uDoNgCfX0WPB1GSYtpAJs9s3ZYWurFIoTbaDVJhf/tYE8TrILLDXjt
QE+slwkvQ7hG1GWlykXMBw==
=mDFf
-----END PGP SIGNATURE-----