-----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-2build4
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
 6e83903ed5556b657c618ec104d41c25460405ea 9004 mathcomp-real-closed_2.0.0-2build4.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 d614b425f00ab0468fd307f64df963ce543a69ec059511ea1624e3ce37e9f9cb 9004 mathcomp-real-closed_2.0.0-2build4.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 ee09c35bf677efeddd7106ce928e4695 9004 mathcomp-real-closed_2.0.0-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp5EACgkQ808JdE6f
XdmOYxAAg44iatMhXt9guATNrbcBdyTdJAVprtbRkVBo0VlVfxvpySnXc/8WAKkw
Aj/B8pfgL3+wp1n1REBO1n2GWysh+WfEuCFFBSGwetaiovS4v/K0EuyXHMj1tu0U
CyGWfG0qOqPpmO56qYi76jXTAEC78UCbEgNc9GEI4zDK+Q12uVbjG9C0ssqNqqKW
pFf9A/KwvpL3/DpulEnRlx6FNtgrKZLGDiVpya2cyPw3V881EiNl5l34AUmRMVEX
SIHPPjDKtWNJsOCIVYAP5BEtSL/xahFmFrswTprFr1uBa04Bcb3QwaPHP/XyDHy8
JRmLox76PxC4wo55mdWPFbKlTb9Pn/qwtnp7HzjHLMkVDeEgUF+g9Gk366q5y6Sn
7Lc6sNyt2reqHzLawE9BbOK6/Xe7Zg/1flnqG8IZAcSFW7+Ix0t6UXRZjhelPS29
V4tUoN4zz2eksK0lgjA1bgoLFgD5w8BnbCcHXf3h+p1PnElQNIGZiFvqOue1f7z7
x5UWKpP/0ls88SlcR+P584GTyr0bdUVodrVZIiUP+6uFGvwVsMHdmuJO199/ByPz
iKf+R1LQedDF0FMUeCrbgGM6fgug8Vx9fJTEz+b2ecWW8TCSVmJ6Dv3lUX5qHS4v
zF4duJqZFU0RsC3ZRmviwaaaMeEdXXHFKergYra1FqXLJv0roIQ=
=6k/B
-----END PGP SIGNATURE-----