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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.2-1build2
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.1
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-elpi-ocaml-dev, 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:
 ac3c8e33459d320dea6d8cbb420aed201b783663 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 dc6df4e990b46a84901bcc070fb386142919fa2b 8700 mathcomp-analysis_0.5.2-1build2.debian.tar.xz
Checksums-Sha256:
 8b22303f0949480ee4b99949c19fe9d59ecee4ec9a87b67e71eb5ca24725ebab 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 2095b11bf920387bc33c80db1de554664891b198a9eaf45792b59f3576bd548c 8700 mathcomp-analysis_0.5.2-1build2.debian.tar.xz
Files:
 487a8149ff5615417e5b4d97745cdeb7 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 78099fb7b2eebfb49ac2e77b0798a853 8700 mathcomp-analysis_0.5.2-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLZeVsACgkQ808JdE6f
XdmSrxAA05H8lxwhntDwg8tKF3tafDv6KBqyxczwXdYBwaiOU3FZbiB0SmFOa4DL
zzd/oVhWwJmCfZcV9mjUpQvr8pg28xMslpcwDptPXyyA/ab19kz6rYhLrcE89zM3
kzYYv/xX+jAQmjXyqf6h/knDh4IRLyIh10HOpEp5QibIdKzWdLqZ7ZIzjUJ5Zo2f
YF1NKSDvF4JSBZxL5qHVgu7U9z3/iMWQKpiI6nLFCdh1ghHACbNy0Z1MW2/w+uKG
v2zsMyKRpCJNeWj385IfD6dF47rDvg/Lbte9YUUEE/9LWS8agDzptilH7AS6XvWw
CDKGgvSdi6ecZVsQir5XM83PFkF4pSWO6m2y4jRhJ6VCIzmEU7RFtjiQJpI5gPgf
9XICGszfC6ElLdLKqc4bG99aTqzYaXC0yW5wI0wBfuT3UYnBCEiNSQEeHLFoKTWY
ylu4ntfLGq4W0B/3YaPs5+nYf1GL0C0sujSVCFVg8Qo/0w8D50l1HwRBBll2wGKc
SpRCTf9nHMJQh5ZIcXxagC0QsopylqwcFlIPx0xf2lJe8oAlNh4wZJ/pbeel+DP+
t8orxbiP5s+ZaMYc7gXj+/h0/x1lnXQAds5zxpMyakhGw7mAA7fUxXYZr9jN4TFJ
zvfbavHNmYDcBLNYuWiV1/BTw85qnTjo/SohD31Fo32goxg0UjM=
=oqZL
-----END PGP SIGNATURE-----