-----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-1build8
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
 606a79cb6bac2fcc885664f1840707ad003b608b 9196 mathcomp-real-closed_2.0.2-1build8.debian.tar.xz
Checksums-Sha256:
 c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 aa810e5250728b28176718044ca43fd0ce0f93abf2f53c23754ace6504dd171d 9196 mathcomp-real-closed_2.0.2-1build8.debian.tar.xz
Files:
 72f905fdcbd3c59dc5d8e682abffb2f6 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 96fa66bade677c2b415db01bfe2549c8 9196 mathcomp-real-closed_2.0.2-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2xA8ACgkQ808JdE6f
Xdlvgw//d5TinxxGdYibOyRHYr2idGyfzhVptvpmlOenZTqPX0N+q3A+/AW6qoMC
ZobpHKCastS1FaACWcGQHqFXSFUejAgVqqczXj0w4nTDO7FTQSNV5OSZuSSw8IMc
qTWE3Bki2Hl69E+epxjihJgtr6qq1fBhp2mlmx/mnKE6yDrUMqf+azVzQc4dFrLW
3smEtt/CTLGQ9RNk0jb5KpGNkRew8EzcZ/VrScy/R3lyV+w2pzdPxvGjCG5qnk+i
V6Y2Aza/EWB67MDOUIJuaJYPd2tTAdlRyWJqrjU+8GpgYNUPwx14CrM47vXeRlC2
tY5Y/bwhbA5HyXJ6PBp7yf809HyWZD4umrqb6LsLDRuhX50nhYpMf2unwL8+PFyf
xpodqhrSpIjO6R9w7XZpR9BjKXvuvrpPq/xaZW1q+k79/OiOkdqQflrPECs/z3Ud
y9i2ipLE5gsR68G8SXG+8GXaqQ8bgPesPz+qCCRlgkrwbGsAkpMDtG7mDITpyx8J
/TC8ergoynEfnfopdU2Fz9qITwYzNHgEvd8+OkSLLhg7qs0w/G7KBLIa3XFa3wDr
NRmPx19ZxX8cHLBS7X/K6R+gDEScz4iuw/LByRPNvDf+bSkXuVnmE+LZ+A/l2S+u
0TaPHAyg5l2TouWMD63NSDSEnCriLX9OwZJ8uDluxoSIfX8YnNU=
=tlom
-----END PGP SIGNATURE-----