-----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-3build4
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
 d158a7ccacb9bc457e45a2c8d4cd66fbad93bc37 9136 mathcomp-real-closed_2.0.0-3build4.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 38f78a413fb36347145d27e735b1a3cf9bc17ab3c2b9f3096645c7e67789fe04 9136 mathcomp-real-closed_2.0.0-3build4.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 92d7ec0111c157f0b2246328ac49fafd 9136 mathcomp-real-closed_2.0.0-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+vwACgkQLIPbyOm9
DjcJqA//d1ayC11oNrM96iKj+DUr0QI9oR3H9MBfRqrhVjNXzRAzEadeaMOymK+n
EeFg6pmlvg5W17DwPETadAbsG4nXWdEd35Oz+6dtzeI+jFBke6LYeZLXALauQtAL
ItqH+5lK/m20j4muLZYC8ZIKieva1G7PSsFr6ax2vC2rTiFwt30uyIr8mMV4IMjq
C6l8xtThwDgaMYOLFJhqrWOynYwCgDFFxhRGigg77514kHDCvx6GZfMplGsmgcWw
Nq2gfRdzn06Ym224fdncgLMjfB4Ffz8UnlnKfW9luB5WU89ba9fr5ftPstCECvB3
AXfa+DxVcstGZjf2fBg1kArxpKlAqBHwJtN5Yu+WWo4L4JhyD+oXvUEjdcUYFMS/
LyY/SdI5U8SVNhLX2DnlCpdabTNJX7NRv8gHoFdQpZfyAKPXakKF7iGlrhObABbQ
TDYkDVPpa9PAJ9gIva9pCc81HUacwU3p0AWTuVUU+tKcF7uBIj23kyJVhC94jCC8
VnS1bh2/sQ6bg7JvwaMlZF2zdc+NxkhwIsZepZ5Tzuy3B3SYYcZdRToAweKb/1ZB
5Pbi9osQggAHIpqp334THzntlhcXKQM3c6rLca/QbFogu8lI1Puqc2nEvfO90dc0
Z1yPsg9ko2/qrP3W1OSfWqUPbsrH0YgQ4xOCU1CSuoRSF0xyNnA=
=XJDE
-----END PGP SIGNATURE-----