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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.4-2
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.6.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, 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:
 3e279609445621669c86c8e54b40a28ced957c73 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 d41aa73dc997fd2129904a43e07baa8b27109767 9092 mathcomp-analysis_0.6.4-2.debian.tar.xz
Checksums-Sha256:
 cfe97292d3cb573806e432edc32081d4c7d91994423b1d8b7dea51bed5448ac0 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 beadba78be8b42c9206530a3cc224a78c4b70385ff88e8f6b2406b7a444f60c8 9092 mathcomp-analysis_0.6.4-2.debian.tar.xz
Files:
 0649d8c5827de2d1d4aa746e68bb6215 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 63e7e3131d3be6cc5289b7054730fdbc 9092 mathcomp-analysis_0.6.4-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTg4zMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR52MP+wfZdnMxV1Ilx2+BtJIKtFfM1Nx3R88U
dc0L0KJqHpHiGdVfA58fB8Z4W5ydlCA0OpLUaNYnKuRthaitsILIn9Q2M64UIUMt
RHKNBxHVY2qeX6j+l0/dpvRVPxSlI/LzaErHk9cieazbdB4NCRyVp8A9TvKY/lHV
clMkC3KN98Lm0mWFsuvQrQw29GpUzIhH1Xe+ZGiuQfERAOu7uCXpxJY0NT1zav/T
RJgJF3/cPEfbdSJDgM5Xnq/BlF+HLTYMwlqcFlsnlS7wmBNcQHdhe3uRzY9Jc16g
LtNq1dc3CgPa4FAxCGR+7aMGJYu84uDgBeSGk7lM1SEfdqGioBSVrpk9eRhntHCq
1THE/Sp8uG7OpjAayv/gwkfcfGo1XiIxqeSury6XVkmRH55rKe1RFhXuVGTVEpAT
8ci5BW/biOWA+65St4OPUc/r28JkdBFLdL/Ufu9CDaVRDaTc18J0NgDfElpZznSa
YSB7gJGnITFvAJ/QNsHIZmCbQcrr8OhjkRTJeXUwlGuYCRlRyef14ckqgOTHQkTr
/S7zwlQe4/rQ6jK7EIHeWK3YeVbYhxc0/dk/a33xJ5q/mEeafOjMP+mjXTJam1mk
NPlXD1nQaptYrA4LMWSdmwa4Nrvth5QYdTKZdhppU242guQlmYrDCVZtD1g7/zAH
Y86GfrLXSU4D
=EeFr
-----END PGP SIGNATURE-----