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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.0-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 621e0a1daaa15b5f875724a9d9c24474b0d810ac 9120 mathcomp-real-closed_2.0.0-1build4.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 9aa8ebd530f7790a55617d2bef2fcbf3bd88c7d50be2d7377ced27cf788c201a 9120 mathcomp-real-closed_2.0.0-1build4.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 9956f7f9f26efca1ddf29edd3e560306 9120 mathcomp-real-closed_2.0.0-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJwfEaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2diA//XwGq+EibC+3Hf/qL8GYo
xHbWuEIS9o4yYoBGPARW7URiFg71ZETuFA8rRvK8nKHPmq0NUPle6pLRBI8ee60x
2riofesrLv09bsLjM33pB+QsSCNPconfHi8J7lIhFH2yPf8sKVfx0M2ciKe9gJAw
tK7EJCGZ/OB0VL9R+rrLo8KnSZOynqKxZCMDpIb8MRdAmOdqxyWF5bbm40Zx/pDz
qKaeHQcazzd7V2yIRomdyq65eajLGW2laHONCesBcWKJtaVHXd9p3dDzqnEE3zDZ
cezyusj+FzKEfTw7BNHW0nHXz3ZAlHn9Jy1M0vI7x806Kyz7JP1q9r71S5AEVAoS
IQvxmhy3OuCzJPOg3FZHFEdqSb99tc/Dpq4tyC4GJEs3gUI5AHidgzDRi7/nk2rG
OYmeWTs23dilVxnzlArtdcFiGtmF03luNtAQcGqfo7VMnyhr33c+fbo6lfR+7N0L
CaMbbEgdFtzJvxSMfImKAtwz5hSOg3kucxTVL1KhVAdbVzfdV0LFYywD6oxCVd9T
kcTsgpOFF2AVGooggyCJYdp95SS+xajIe9W3b6E3MOVAHIIHLc4y1oIkyjNuxlsQ
Uw8bXPpxHz2pXYZXfFLbjjiHVJ+pmqXcQAAK0K/zAm2VXPUlHSaBJXIgJRAjkdFk
gJR7wZkIzOpQFxoK1xwNL5U=
=MkZG
-----END PGP SIGNATURE-----