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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 1.1.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.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:
 e5b409305ae8e3c1343273b5534f986daa2672b0 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 9420157098fe073e60fb932f8c9de0ad1d56a115 9340 mathcomp-analysis_1.1.0-2build2.debian.tar.xz
Checksums-Sha256:
 6df4010ab010b0d0ff84133d2b435bd19d3b90de031cb8880668b5b5ecdde533 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 60cf0468e9a96989393508a9e63bfa4d4541d88dda5d67a65402c8714f3ec4c3 9340 mathcomp-analysis_1.1.0-2build2.debian.tar.xz
Files:
 36515f2cd0c0101c2e049ab700467f38 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 4472048dcbac466e5f3a46d053ab130f 9340 mathcomp-analysis_1.1.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeP8ACgkQ808JdE6f
XdlmrhAAxHL/3GlV4Aixxb/w84BHQh9g8Tm3dxiKJEJMg6Mo2IlfQL/9LnNdCitV
05MHZd3Kb94EFA2nXYum/L4UPCtD+Ssiaxy9N7pXHSv39gvFaF45cRJ6SC1zRIub
xSBakiT5YNirtBG0uBThXWyW9G5qur41WCE4LntcKs3dwfGwDdBVd7MwbXInsJJy
l4+9Ph59ZaSRsbgJHzxo9iUnkY4yWXckhXufXfRsygQbKnNQ0bKMIUy1o7SjWAID
/UYpCEit8bVEKzvs7gogHZThZfU3R8pBxQ+EkjKopLwgwWNJQ5rWfqSBmgFVfNiB
+GYzaSBhmE/MOC+Pzx0YXDwncUmkYSqI/3BFvoCbzcOQfnme+21LKPFeruNYpmbM
6xhFAsD0gKzrOcOnB3FkKiE7sloL6raFPiD2Wfs+Vbtk+ZokH8/LrB93YNmjy/N9
1E1F3C+Om/RY+PDIqCMfxWuBeiBb6+sfDFGKewuRZFBoCT2asuxVoxYbqGS8Za6U
6Z6cCk4WA3grwFpz7G/NXTZS5TOHR1+9cuIYOCrXidfuPoD0DaKjbJaLygOoUOj6
9FthKlsEU4dNaT0GUG5NMbSk5yu1U92DrRhUF4GwfWqZtIaFkCAOXaIYzzS6+LhM
oFgaH5+Rv5q+ONaj7mw7L5SMp7HHpc4lMm9ZxEsW3l6Sxzh2hso=
=Er3L
-----END PGP SIGNATURE-----