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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.1-1
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:
 0689aa2f1b423fe3291b5c76f7c2d4957e539d77 123774 mathcomp-real-closed_2.0.1.orig.tar.gz
 b25b6bf70c5d5cd5b8ce2ae80bde4b1259d759d9 8960 mathcomp-real-closed_2.0.1-1.debian.tar.xz
Checksums-Sha256:
 775b926cdf112ef44d6988dbe1df230b62e8e38dfe6671e5f6f4b8b5f878d469 123774 mathcomp-real-closed_2.0.1.orig.tar.gz
 b03d6e090ea818cdde17f6d5f57bf6cf7d42b7017d48644f702ef2a816634200 8960 mathcomp-real-closed_2.0.1-1.debian.tar.xz
Files:
 f58666432c2fd330739ca3997a2eac3d 123774 mathcomp-real-closed_2.0.1.orig.tar.gz
 b84195df04dbe27635297140fc76d6fe 8960 mathcomp-real-closed_2.0.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9s1cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDgQP/1BAIgsIynE6dCjLrHaPjpeMh68ar7yi
HtiiVqzpZV/CjN9+R9pdlnk6TCtbZnp5n4BvDA1hnYwKRaXiKCjXfzRJAQG4Nm8b
bnfo+jlXVdybs5d1dlXqTJ4v5NQG8nNHI/PX12PzdmCmzdI069gHshvGnVLpJwiV
acHB/h0nRJ+raCeO/aw7DaERQ07MIqerAFBDcfTGOMRhrYwlO/mimaUnXYRshLeE
vtGS92PXOCnxxoUFNkbYhZ8gzt6JVZsmmUvP9t9mM3RO+SBnZCmHCsJW9ufHgtAT
1TZqV9oZ1O+cvcSNRcnZie2uraxA9WeszMW6q/0lnvt4u23VqTTe2QCK3vzEJoL7
1NYR5cJcwFU7Bb9pXvo2Jx5g8xmhXhY9vizpP15PK0HTjJsYoXWe5sUEhrv0d2FY
3fcTlR60N8mn8HwEp8bSU8+fmllXLqazArk07F0tkV7BecPuNJ/mgvDMC9ik2k4K
Kxmkk5l6+Eir8xVRuWL/PtucdMlUtTfqLyKwMfbbgyY1UudmUGDKaQKWgcYWOYU1
TteK0/Q7A5sQyEDWD8XmbCt3CxUSvc7wquup0DUi9XOqrbVUFMqE5+LTluUFNbRI
YTHBy0d/eeTtLJlqVXtjK/6vNOSx6sKIVOGTsbqvvn8I/53RGRoNy0POjdhW8QMt
K+du5DwsjKwl
=Z+O0
-----END PGP SIGNATURE-----