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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 1.1.3-1build6
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
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:
 714b505d1a56ee46b34bcc63bad21de15bd5ec91 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 b6324cd97960f74062de0e97c032541e11915196 8828 mathcomp-real-closed_1.1.3-1build6.debian.tar.xz
Checksums-Sha256:
 dbb3d86d72525a0c9ac069a0b2321a3237053ed7c5865ac79e34ab03f5c9448d 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 52a8c14d3818c832c49f68470dd32135f1f4d0b12960ceba7b642f0fb8564d5c 8828 mathcomp-real-closed_1.1.3-1build6.debian.tar.xz
Files:
 b1b93118f89f0cc046767701ee4f78da 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 960e867af517f52ee3583a67f4bc2d7d 8828 mathcomp-real-closed_1.1.3-1build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILKwACgkQ808JdE6f
Xdlt7A//XPALVM3p0TCaWFN8Rej8Q7wGql3UGdlTmDOGWdi92aoOwsYfdPtRCmRE
kuIVXIPjKR5hEXDEva9HhzPhpgRJGOg2ARh3bi+LlHHO6DhZLF8rZHgGNbw6tDEU
5ScA8fACxUx3QKe/BL73LYVXFMqxBl66z/kvxOmpyodvkp8qGKfxIf2In0F77oIu
Y+0CBPC3WDOOlKq1L/J3cdSLqtL6WBbQrUcGB4fXw16LB+Pa59CJRV+87pMTWmyX
Ify+SzNSAHdDD+wyA27yS22ZKliJw7o0aRMDZRFtFZvf89m2IANqtd/g8U8tSeVc
Sp5LMqadepCFKFoT2TfOpMNeWQpt9c/fYAw77F4oWmyoTBKh7MxSBz4Durc4Bwpn
a31hRBng2tMbzrDunVcpDgX45GW8IaNSGSxdMUsXGh352UJnrtr+u6VHxxQkpgZD
ze5F9VqAmVFEr3CljWoAsAwEn9neQlJUAMDeOEeEMH9VEHjjTrICv1FbpuPwDmBB
HrE9OMIwmzFf2/IJNbrVYT7NCkt7zH9ChskVGtwtY+5XJ7h7BopNTEqVXCQM3csk
WfiMBEcSreBOZeuCW2I1pkwx4oYofXwDZcKxVc6s+dI4qoJ3UIJNSFW3Cq3hp9Sj
x7CfksM70kaAkRQXMZHF+umuJbYwhrraMfub4qteHgJrGgQ+ZF4=
=9u51
-----END PGP SIGNATURE-----