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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.0-3build6
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.2
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:
 c47be15ca50fd6076f0e3883a4902c72432a1ebd 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 57c4be9d8904d68a20e905b47fc3991012d2a7b5 9152 mathcomp-real-closed_2.0.0-3build6.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 97003b142c6009ffc5ebf9438666e98680a792775bd748a166a65f5e91edf963 9152 mathcomp-real-closed_2.0.0-3build6.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 b69718dea1a9aa5245486c3cc55cc2c8 9152 mathcomp-real-closed_2.0.0-3build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppcgACgkQ808JdE6f
XdnO3Q//TRw3FJkf8z2/1mo5yGrnJC6nQ2yaFD8tPgBQZAFXI7UWfOM5XdbMvgCU
KB1PQBUSCkIYeirO6FRD06XhZ+gvxsJQX63FPCujmghOQFi4h/0efzSk8f0eNHNu
Rn/PqUt4vJn/vuLlSgZiGFgljRushiTW3AQj/KbmPv5LokwNyYpIAbrsgKJsTj2R
BwCJetRFW3OIs4WuZtoFs8ISc90bGfTGMahvVHgIVJEA1SbnaWyFM5jFQRMPEQ9U
ivNoPVGXw03vx/1yGm+NTVJYDZBowjAzWm9+Rwzc2x6zPss2LY7UZ6+ntbZhjKJa
kGZdRKeRtIdnYVD3oQuRNS9ZFEZ11ff+OZlAix/u1/XKxzKG3Y4kQsreXxdm2sRF
iVn5nxTDJuu22pexmxFVfIN2Rqwo7XJIU+lYeYspmshlW1jWzi1aaD83pAtksfUZ
E93OTRbqTJAnd1Hd9nuN9pTLznmXON36bfOUEEEno7CVOZPGF2USJ3UbjdGpmrlY
hDxoT+GX+ZSAtiMcTApbsAWwVmpTUzt7/Wwi3PQVy4M9ldbfqCx2ymdq7KQMPxcH
PlVw9YARpEgpY//MauplhRM1inq69tzgWA02EtICKsLupUksoEnJr+rLDH1xBXwP
10Lyysji+hsq6ntbF/ylqeNNo1Fw5DUQVq3MxBOVlICgi6Qz/0E=
=A8sr
-----END PGP SIGNATURE-----