-----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-1build1
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
 37159f93da3218a2aa4e5d1c2a8e9a34295a762f 9032 mathcomp-real-closed_2.0.1-1build1.debian.tar.xz
Checksums-Sha256:
 775b926cdf112ef44d6988dbe1df230b62e8e38dfe6671e5f6f4b8b5f878d469 123774 mathcomp-real-closed_2.0.1.orig.tar.gz
 a785d6b92b6907a470c06aa656ad5e02c2a51b27bc79b092863fdd0c1bdaf03a 9032 mathcomp-real-closed_2.0.1-1build1.debian.tar.xz
Files:
 f58666432c2fd330739ca3997a2eac3d 123774 mathcomp-real-closed_2.0.1.orig.tar.gz
 20a48daea78a1f50dd600cac6e5e1f4a 9032 mathcomp-real-closed_2.0.1-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc/UawACgkQ5mx3Wuv+
bH1h8w//VVHc0+eriREwsYIFrRQSzuOSwFn0qouK6vrHi4yr73kzAZVycUzKFjlr
SXw8y/p40IvL/1RhRK8nfW5xAC+2pDXJffcxZYfRloAaFFpdNnH4STTxCdl/gB1z
lv6UANwF7LTzsmzv8+vX+wMCP+NyblF3ixUClrCqlO1hQjED2zkmt7/+5AdMqOyU
YTtrwrTDwYqVO49Bpv0eLlS7pScC39JJVQvtmtDamLVz3jkFCF7i1qOLqcy7t4Sa
3J9Mc3R/CAnlMrrLVZobB8JTdrfGot/XrLwndE2rv5+bPCb/HrlaC7/LkTP8FhAn
okMu5x212TvCJcce3YC2oAeK9/C6uVT2S9QVNXkwViJINSdbvulvKOI4dMXdEqr7
l+cwCorY8gd0jCyJZcWvoS91mRlT1oukw4IhzuYqfQjcelcmHmH7gzVY7rXC63S4
Ubv+AfPnABWO8XkTYK7RSw70LC78zO6JMIfQDryjadrymgN0xmRzWHC7h6YJWsrQ
4Dv6+tkQ6h3CDkDQzPDVQrkeAQEuIOQUg3liZKDLbRpJW+fafe4HF0I0Grea4YPR
cWk8ZLTVSQgg+Z4w1h2SCmV7CtmwF97YdO8LOESj+YB5owRB0O7CASdKVirsPYYW
7PSeGT98Pg/9EXWqPiwWTmlRYA8gz2wou9ivrUEe6K1Jbau9T20=
=91+M
-----END PGP SIGNATURE-----