-----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-2build2
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
 751408bf8b2770575a92bf1c380d5e471c8b98a1 8980 mathcomp-real-closed_2.0.0-2build2.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 e1805705835ee59496e8c915a4a191d3233a284afe47f08e11975ffdca741d92 8980 mathcomp-real-closed_2.0.0-2build2.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 cf3971aeb3adc62be2615b723d6a5d14 8980 mathcomp-real-closed_2.0.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeN0ACgkQ808JdE6f
XdkArRAAjOjcAHoxFm89zFXi2sskL2XpMx9e4jXVw5N04Nb6u98fzNK4DL8R6NQN
3xWAZ18CP8DGlp0/Q8PFkTr3/JiYOloPMyxxe1+WI35P0AF0Ioi4n2BrVAXzYmvm
dgBrQVSmEWfHO9wRboSSdQ2/yiyKV2AvHbDKdggvBlWx/nwxPAwaWUVagPt1nwtG
shXlC/ZYr0V3sh83mX/FtjmavUqBY00X4g0/RxDrF0/D0OQ8Yn509pmjcAws5ySg
3QHbU9CCtaRbP05Mcw0NJyStwHqVoqqaE7WgFV4zPR2UPG9UxF7yDQVFxPJSL+9j
0nXhYMJvK6w27uxGmEh3V0tq/S/KwVxUNgSXEA8iWvuODSqpTSr7ZtfRn6XzL2xy
AXAvyopYnr/NvsjnMUJ+ZaUioe28OyiUEoMMlxhWNOG+/5kKjmUsgA7c0WhY0QzT
IfYKw9AlxWy5U2VtcfXPA06GjaJbazJAN9m+J60M/CYr9n3h45ntYr67bZcvACGF
O8G7MShvfY/RyCJq5jiOcYsTTZxcX7DGjIxjICLbFKErBX3TjbgdQeMUK7mqAxve
ZgxqGnZMP9EfnaFOFtdsSyjsnO+6OQHDoznz5o6x5r+WeZ7yWzI8mJQp+ccHbexL
6E4uofsAl0nKNudli9eCTuktZ7vqQOK9cCpYE2n6p9ad+8tI1M0=
=eDnA
-----END PGP SIGNATURE-----