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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.2-1build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/real-closed
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-real-closed
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-field, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-real-closed deb ocaml optional arch=any
Checksums-Sha1:
 50f36b2c5ec4f62e0b26a8abba2091730a8ed971 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 5782be349fbde0490c54cc292db49e6ccfa02fc0 9048 mathcomp-real-closed_2.0.2-1build1.debian.tar.xz
Checksums-Sha256:
 c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 fc093d0b29e70d51f306aaaec9065ab8ed24e0de13f8052e007b98320ea92300 9048 mathcomp-real-closed_2.0.2-1build1.debian.tar.xz
Files:
 72f905fdcbd3c59dc5d8e682abffb2f6 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 fe76a111a71b656048d3bf9e7924f299 9048 mathcomp-real-closed_2.0.2-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdlq+8ACgkQ5mx3Wuv+
bH0lEQ/9E+zCUJF2AHiPKkbi6eUgvS3Tov2oJltShKqnrUDOT1QJvmfMMXjm58HK
ftKQgSC9zKjikvrCSdII0k3HgMwHyMexhvI/shHF7zDF9PpA3sfkGTqsc68DZQIl
F6Ihm1jBfyDD0vnAboWYsDyEVcMLNZjU3B5CFGmxE2x5t2nDhc4ivzPY6IhPAw7n
jbcoEmzRvvqZFD+a4cK3LujVrJM6q6KWJWFrtdy7V+Ifh/l3EGOQj1VOdn9Q/efV
FKTi6Wb8oKOT/rAd1l8+TvWcx0Xo3+qMcfFxkmUv+cpMWY+QYQLrFgtTH7ex2aAn
rkpWSNE5otxySEX9JhHFww1U2DxLzf9zWj9FyFmrS/bIgP8fqb5K+W+M40DHYLK7
wxS8dRz8p7OhMQVfhTtwsu6BVNNugNtOay/lM+d0tGETKvbMdTAhjcPlgevhRHHg
v7ot1KVGkd2rZkkCf7Gb5nS6Vkk8KmLKpKFnN2HCVhqq9NJAentmhzkYUpUEm0Pb
ZE6KDcVmgBif3SCKz3KxOr54O6jaQvGh6OV3q1CqAERZDvSPCD0yChBaMRYs7QWM
zrYe1DoPie7xEfv9l6mey+ABrUVtxiyQPmXJOpmfR5k1OfhaZHmA+8LEikHLPqiZ
IdV7ZFfgyHGie4dCir38xKwHN/EccYDYVQsNtPxD3WujM2AhAKU=
=HVVI
-----END PGP SIGNATURE-----