-----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-2build3
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
 5d6754621e9855468673a28c2ed627dc1b8fe3a7 9360 mathcomp-analysis_1.1.0-2build3.debian.tar.xz
Checksums-Sha256:
 6df4010ab010b0d0ff84133d2b435bd19d3b90de031cb8880668b5b5ecdde533 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 108913164f014b57308f4b7d29509a095300d269399f80077bd707538757663c 9360 mathcomp-analysis_1.1.0-2build3.debian.tar.xz
Files:
 36515f2cd0c0101c2e049ab700467f38 1185490 mathcomp-analysis_1.1.0.orig.tar.gz
 dd1fa00899da1521a1f8c21a6a541251 9360 mathcomp-analysis_1.1.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZeORYACgkQ808JdE6f
XdkXkBAAt8SKmo0vFofpLRkfhfuTF93juh5aPWmzuVO1CdHC1JqH75FUKB13ox1/
T+2TOXLhC7f55uDOLymF4WPkqRhJfkUftNs7SBZyrqWoZKiEevhTM8QEulFlMgf/
sGa47R/56RTkrgjxZ8XfoMto7tRy/yWlmzR2zL076oGBeQtTK6ruZOvG8o8gMS+P
CNbrMYJMdY+gsgFoTxfIE5/gEQ/Fz72Nl8WFcFwNCfdC54JlteH1+28igEwJN3AK
FUX7qkH28BdKai61k++CsQ+GOiSfF3gKjUbzZM+fLfejLJx+IqiNibtes+8jvttL
lHUsoX4uk+ulSLNLNqh694y9ChfR8Mg8csicpbp7TGq6Ni1a30G5rktte/R7emAh
Q52DBIFb/cpMvrMJYyRPhmNsa0hzZg7OWV0v6uLZ1hqhTEG4NwxOE1pI79TQWcyM
syKAhgHfBaBlm/iPT5OXLLpEOxVR7HcsNehVCXNqR1faRepnDlKF1coy06aTek4a
pSWfe9h0hHQXb9sIM1/U06C4YlLfnyv6GyX/P0IkuIjTO0dPacnAZe+ZZeUxILjY
t7QOeoly8P68YtnS/FUnwqKXWXGAIe+qp34tG8MQ6J4V0HHc2J3n+fn6dvyx+mLf
EdMV4q7qqpjQ3/zTVEfYbNeIXsh+x3y3rtMHjN44F0bfLW7PMqE=
=M9Ml
-----END PGP SIGNATURE-----