-----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-2build1
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
 0513a995722b0e07f4b8b1f82261146556eb939a 8968 mathcomp-real-closed_2.0.0-2build1.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 4fcf0963fea5767aa0b7a0b6b1bea4e21d46f9875f921c8cfb94c76ab1cb887f 8968 mathcomp-real-closed_2.0.0-2build1.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 8ceb6fec2cc5883a1cc19c536f8dc6a2 8968 mathcomp-real-closed_2.0.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWtsACgkQ808JdE6f
XdmSChAArwbM6gvxI5SB1FLWa0I36l16N1la4w3ts3L5yo/cQuTi7M1rrKQreiqh
S9VvObQi9km1MdpsF8CX2vsHS4klQTA8MQrPKBy6trus+GIOgna19Ydbg3heebVV
vKUabwJSiHu7+aowYEJvxyGn/uBR9SZeXv661bylYWEcwiic4hQLUni+kmESW6lS
tLzWp10UaK2ZdJ1EfMvYCX3h+5wfVJu1pZDo22epaMv+OTckPqwwUtVsxwdOihBg
D9QNoB7foEqLh2sbw3K5Axut+HZMI3HAmAvoTn6JQe8V4UwDbKyw6h8rG5crJIVM
r5/MT8l+HTaYexMlysIaCU9u38mrJaPEqXudlTmGgr4yau5/x65tct4UN625h7kW
TMG4FTwj3aRpKu3CUZyDPAqdKkiEVflPTCvkRGYuF99560XzI1iHAYrJ6BofLPml
j1fFR/GHYdAcQmQfF8FWirukEFYwnfoelmkzds/QVL9ZQyX9sK6zo6URax8OtRpg
HrmFkiqy/sX67wYOAYKfnYzRmaWZHsOTzERMlvZOlhBeqtkzMeHXyHhpzkd4Mto9
N6LBQJGjXDeriQFgJjZcUWkj4LsSbitD0yMOq4OYCmgxstFjgYTtJCQT8sWqjR1T
aazFbTke0T6MtXHWLuo1HNXTQlJiaTwphdCL2W/MQsSzb2GEEi8=
=TG4j
-----END PGP SIGNATURE-----