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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.0-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:
 84a72466d396f385b4955a9bb5934ab0a845c449 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 6e1e54742de5b3f7b4a74fd68f934a078648a947 8872 mathcomp-analysis_0.6.0-2build1.debian.tar.xz
Checksums-Sha256:
 1fc0252422592abec0e978c9f49bde752f2f38ae5a61ad0ece68446efd29730b 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 c7a2b91b624bd807e80708dc48634af8ddf4fc53bc8993284ad437d5963bbf9e 8872 mathcomp-analysis_0.6.0-2build1.debian.tar.xz
Files:
 f033cda83fb712a860ee32d67c1f4542 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 6fe5c0fb91e3bd0c8009f640649ae67c 8872 mathcomp-analysis_0.6.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPUJ38ACgkQ808JdE6f
Xdk/uA//XsN3It8s0+iIkndgZJUGiI2eMzlikviebNjAoEfaONZKovuCcCmvroRC
U3yK+7z5mmyivs+wOREuYinPamEVTD9pDw43AsyjXCdmdnjUQwt959VYOn6KPLsZ
PSS3Mltd6rCXxtpjn4P4JLLXisvjd0btJ6srCZDAAWz+EGmGEHBUPsarwl6+gvOr
kL8v4R9HMj8P7xifmp3Cm4i0dxgLws/SnUFc2lAw4abR3dih5fDaVb0gY3xsNhBn
jhTpMxRatFZNTWJinQvuSGNILDsSbXZK1G1+0MqNPLhl1/o/2QTxN06BS/49PcW3
r1JwN0JKsHCVYkGcMXg8UJPgldK0+mx1qKPFlIe9nNAEc+qXd/i8c5kZW0wjyJBY
VW9sIqtKEfjdex4IX5pgAxWJ3KJK5Lzfj0P7jl74E0JGNyq7QPhYDaYDufqNIJIy
h5JIzRfCeFuy/2HpZl0fmHtDDVmFW3iBKmKZ5W7IuIxq0dHe2pmUEOkhmoxjKrxp
l5lOfm+mG6e6vL/bjASk0+/VyzeLTUjGy+ZIFUt4SqKS++SSYz2Fh+30Yptfe4Rh
H/g2ho/K8+rQ28emBFoS1xTcN9fyS05UlvPASkl20JGpHHtZ5rXk2Qo/6eGvladP
GbvJoRq7ByETmY8XIo8apxGRl7njvEf9u1TWbMmTuc47T/2G9T4=
=B1v2
-----END PGP SIGNATURE-----