-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 1.2.0-2build2
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:
 b9431d42e4e1b41fa866fe5972c24ae1fd44c89b 1196331 mathcomp-analysis_1.2.0.orig.tar.gz
 5e7be5edd0af163372ed34d6a80feba4e4523da0 9460 mathcomp-analysis_1.2.0-2build2.debian.tar.xz
Checksums-Sha256:
 f7b4e1220d25c3dde6250984175566bf17e0adf4dfc343f059279e02fb512b02 1196331 mathcomp-analysis_1.2.0.orig.tar.gz
 33f99e5819cc8e10bf2fa4e7684a70dd9fd34e58e2d4ba35a92246cb22924638 9460 mathcomp-analysis_1.2.0-2build2.debian.tar.xz
Files:
 530cd4aedd9b57acf356999114bb9830 1196331 mathcomp-analysis_1.2.0.orig.tar.gz
 854e5c1da855312e6c10205f0c81660a 9460 mathcomp-analysis_1.2.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EcQACgkQ808JdE6f
XdlSPBAAmAYiz3yN6tAZdNWCjN8zlAEfFOqb/J2Haed4FuPOnzckDIpI7H7j1Ywt
mW0DvbgMMNUkfo8cV0kZgVHRFn/3HLAmKae2IB9h+QYCcgjnXeLUM9pGrirHaUj8
5wtDme7JUIQQCKGjb231KORDmZnoovV8W8nHq33NoktZldFE4KxJFtc9NyV6aKDr
R60R2qSxugj99IpHwrwPRI6hHZus4/O7ix13dh40jzE0WzZJKiioO1LDiI3SUUVM
wpFGSFK+htuEyvmFba4F8cIC70Dss8sy38RkTK0Lv3zp3oHI9KKYfdDaAr0omQRG
YtvuUM3t4KJ4DpaAIOzwHYpnq3Ds/zyK0jak8InM4RuDGTvdzuFW0dvoBO2yEN+Z
mvP8cbqdAmt47loWLGcsemN2UTaYHt+7sWk7o2TmEln/zL72VE5xQ+JiOiLwneoQ
rlRNMjsEZUYMnzu9p7pVqaLvS7cSnpTVmG0oOrQVnJ0n/ILe1tWwJz7esNDmAshD
D5R3Gb8UWvpzduICtnnI8ZgF/eEzl2549TJ/UDp57TqKLEzWx5B4c/zNl89CLs4Q
J6iBmI3J6G3qG71ideKdMHviWw+Gb92pstu4mysJD0GbE3R08XcVTT8N+LEi7gh6
1c9nXqnX/VrSSRTlXTeBsLg2cQzH8+FTj1MYwrN+gSAp3VCRJ6g=
=vkfb
-----END PGP SIGNATURE-----