-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.1-2
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
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:
 3dea319499b025437a9723208c390587eb97f1bd 674130 mathcomp-analysis_0.5.1.orig.tar.gz
 7073fbd117d20332a717740c2d788924668ffe8e 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz
Checksums-Sha256:
 30060f38702f25c21db14b465f5354bd178c9783a40a58564eef04436778bd80 674130 mathcomp-analysis_0.5.1.orig.tar.gz
 b8a0ebefe049b2e09da3005d3e3fbdd8134e1efd7d7e1b3b12236304c2a42f32 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz
Files:
 a77cc112453cb7786c1c50190cfee704 674130 mathcomp-analysis_0.5.1.orig.tar.gz
 7a218b2200e61567651870b1a7255975 8512 mathcomp-analysis_0.5.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+ocSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8oEQAJWYGcbILVRxygBWC/wZ9nScoUUN+2Pr
BtdDslK8YHsB+pEfSZ3Kos1q7Oro1UsmFjoik8uIsp8GoXUPaj6XOLCe+xNH2IIx
jMxFAKC1dP0BMvE68c6ddhQjFdrVtDl4tTY1oL+ewj8bILFmOWchZznKy5ZR3IoL
kE/5EdZfeER+G5AMT3Xw+P/ei7rnGFVacAbhB2C/qfgDQfI+xshl/aK7LPRz7h2J
PuN+/xrDU1hwAgGJ91XErdwUjEVQNdOWxo+WY5Sw4UrE8cJRPwySj6IpiWAE/HA+
bJjBzMOx6XJWOiuyIxiDWbL12WB+hmq0RDErPgqn8wYVTMa02h5mWOP0MAU6f0W8
Lrc6yeRAbNLObulm4ydbXouLXvtEL6D3WIDtoA5BBvWJOHPRfQ1A42uF5TIpUYnR
jXatT4CMOslWWy3LXey9DbuCoOn0LlZSPDvtPArwfjluWQQU4qTVoP++v7D68OZj
NeisLWygs0qunGtA9GEiixo4OW7+bepG1J1oYYhFZCOHs8XjJc527Lbe6HYZj48H
PrK0lNFyazEepyARkBhWhNulf3diTm4LzFnUl/tpIKpxTNTM3XgumwkRq6QK02nJ
VrgnFxw7jqjJONIg772bjTaMxN6UQ6hfOucjKpV4efZlqLlqyCSwEWC8Ds/qyhLT
Iv7mmyns6/kq
=WrOO
-----END PGP SIGNATURE-----