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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 1.1.2-4
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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-real-closed
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git
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:
 5dba605638b751ca4516fb7bd24c8718d23f0504 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 81840ffcae55d91c6f7f3362f711a9bc505aa876 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz
Checksums-Sha256:
 84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 2737cbd832fbfe0025e5e710ebae0e3fa094623b94c6700220894906b3b3ed2c 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz
Files:
 0c743022726111acfd8d61ee1ae4156a 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 c998d82e360167a1368b190ccde67627 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6pQQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9dIQAIaSiYe+DjDtDKh73cSNf4Hzs/xFBkgf
pRK7TALOkWE20ozmUCbzc6uwd1KCgekQEiw+mq3WU5I/w/8Ckkn8A+hUCtxJF8Rl
3dX187/SLZpM2s1c3BfQ29pY1SZl1IVeimOb4NNNFZYf9wg+Sl+VCrzuMFEdPb0O
eIeYP3Z1wkIzZeZUgE36PhqWNL/zjnIGRy1HrAkKzjlwQNOfnYfh8DwfokCZTM/7
O2JYblWPdSCDTDLPBgk+Z023Tt+BNa1alO7Bt0FFeEa2wZ/MQO94GGOdpnGOVVlH
qVvtoOcOROsLx4uWZKJv3zLch5r0/MX4ZotjPXAIN0soPha0yOznWJR8PLYRILnA
0GKRduVFdY9DJJ27RT1qUqb46O3jiBwP3mTg8RbRQJ8POS9ZOPih6p/L9ZlZT8qS
HZP3ELJNqf5pJLB5tp5MTv79d/rXYNCm5kYVXFH484RIySn3iZ2S9Hil6ErJmjjp
dqOrYpyx+BbwljhreDJlxCSiC8/Hf4JWkAn1la+5KCzliX2H9g7bbc6kLvU6kMrq
lqF4O/Wpc6CqV9Tz/qj5XSemSILBj4gbceCHEGlX89kRGGDfcIZhZutOajOm15sN
whJlmPtbjAgK3/vYRCBf4NHzW9C6NCECt9TCLW7aO4giERr7yd3/7gab33Urdwfg
ywlm3noXK+cv
=NqdN
-----END PGP SIGNATURE-----