-----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-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:
 c47be15ca50fd6076f0e3883a4902c72432a1ebd 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 8ea1eb6ad9f3d837d88f6f96ed3cf65513c347a4 8868 mathcomp-real-closed_2.0.0-1.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 0cc501b26781db004ec5c62418d0735dc9a4ab58dc9e2f75623929c4a473c16a 8868 mathcomp-real-closed_2.0.0-1.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 771064d0dc31c26520a566fcdae020e8 8868 mathcomp-real-closed_2.0.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZxsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8gkP/jyJPs4fNzlz/1apVKhP/Dhr7YVliQ5O
w+huWjjkaUOJvE4Cb/1F4qGQAIiqHbKcYywGuFF0537lNSnZlOUEP0sOR9zWX0nS
/x9TATHkvZ30R2i1j72ralHbGR7jBAqILGANx31YFcohNowghwuMXw5ObQDT3rBX
r2ZKqUCwbj50CnyaRZimmRDTgVBC6XMghzbODMPNpO48ajlpa0OzOfKnexjx8i/R
U1ZP/4y2sScn4YFNc7KZqgUbXHtcIN/qtlLHPSJJ49++KESAR2RPECk7yNlog/9h
YJieVH7LQDyiSEehFStjlcaD0FQcnqoKyk51k9tzGKDPMvPj7R5IrFdp/G+FdJS1
/PbXvbCAZsa9fYdGjk/cQjbaBX17/61Fpoyxbd+/HkbSEWry65m5LdLt0uzovrE8
cA0tRVfNhlRSK3VWbJGGfsyyyj6KAtRX5oQBOYGmksTeYelNHQKjk7vviqrpStUK
h+wnGzVq4mPf6cgNUntwrzJ7WnajsAcFSujuRV3lro6FTV4gRIYX/DCXC2BepEdR
Q+42JTiSGrc3EnN4DKUQ1auvCX/rzvYvrXZjQTjMN0S5RbJtEqoV2rseiS+xD8jo
yoM/0aiadkE4y3TuPv72B7wNql6i+5TumcbAZQesSsSmW2saFqHuiE23kzKNpY00
nU6KJLmHG/xb
=9lcO
-----END PGP SIGNATURE-----