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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.3-2build1
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
Checksums-Sha1:
 3894a85de3ba87237de47ee74c3114bd4c78ed1a 786445 mathcomp-analysis_0.6.3.orig.tar.gz
 60edf1be3f029660d27af991fbe0a1110be73a01 8924 mathcomp-analysis_0.6.3-2build1.debian.tar.xz
Checksums-Sha256:
 98763144f1f97ca56a4dc0e1904ccc860abd1fb2e452be54c25af41be0a07ed4 786445 mathcomp-analysis_0.6.3.orig.tar.gz
 7a2da8721966b820c83c54b9b4265d3390327f4df534e7031a28dd736a7b70a4 8924 mathcomp-analysis_0.6.3-2build1.debian.tar.xz
Files:
 89c1bbdd41fd720b1fe7d3526b8d09a4 786445 mathcomp-analysis_0.6.3.orig.tar.gz
 fa2b18962098a61966c57c7592482973 8924 mathcomp-analysis_0.6.3-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSolygACgkQ808JdE6f
XdkECA/8CMV/OyxL31ObNpAMQhDOZkTEh6oO8FUxWNHZbwnx96j0d88BJisKaBdH
STb5E4Z/YuRPcYHkItOLsBYmoqhSw1OnJQrKnMBhq0ybgZWuQCQmSYc0mALRRHnk
2RPLh8TN7Tztg40yw5l5+uF6cLNwZduhv0SWfEdkyE/w1+l1IYGZhI8etIMrlgXT
tr/1FFsg2dRwCfPZNRS5VCURajuFD8t4tJNR2xLAWZmgDgZ+RzfOBFbxQfsYlMPZ
hrwX0UEphw66CgxMjJK1CEUWbCQ3mF77hvEBNOZRDWzwv7V8XX9hRV/xYuu1FoPr
jRub+gpsUM9Nc962qIWXKcIMhMPmfrZgulBjwBX3j+hBx6gTojTHnH9ymka8DEuC
Z8IKzM18PYGe3ks1mF9HPSpYyzJ+arbxbdbEBhaH4ngwK4cJREH7AJEr4DEgjGQh
EqpB01nQzKqe2OKh89f3o2V5fQYRom9e0Cchp9DLHAj2Wy7SakR1eY9ApRDVtChZ
a4ef3LG8aEgaGNfBJaMwllRe9gs+DVnzNI/15yufXAFBxxFTzW+aP5MtdwkGKPGj
4HgXHLQBfqcgKQS3cgTJb8ILFcFd64wIQP5JUQ444Z587WPn1p3Sno9YJS2IP/YH
cz/YtmsrnCm/9WPCSicfWYPAU4eIhyMQ5UNwIs4LDRLM/6rEjyw=
=f1eA
-----END PGP SIGNATURE-----