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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 1.1.4-2
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:
 abe6b9b77b870b5fb889fa45990d6f69090988cf 120543 mathcomp-real-closed_1.1.4.orig.tar.gz
 381d0e495a8ce434a603017accfbc16349eb4cd8 8796 mathcomp-real-closed_1.1.4-2.debian.tar.xz
Checksums-Sha256:
 cf36400e474fd4b894c190b98bb9d332fe99e17f71e2b8e875f98a16d759154c 120543 mathcomp-real-closed_1.1.4.orig.tar.gz
 8b2ee63f2b7b5c41bf1ef0b9f65f575fb12c2e8cb4921faf9b7edf7e777ccf6d 8796 mathcomp-real-closed_1.1.4-2.debian.tar.xz
Files:
 7f4de4355b0ae3b23886f2222fdf9e12 120543 mathcomp-real-closed_1.1.4.orig.tar.gz
 447dc1e9f1bb499e1caf699ed62ba644 8796 mathcomp-real-closed_1.1.4-2.debian.tar.xz
Dgit: ee6255e4e7e669fdd0e7e3437d9df1ca78178526 debian archive/debian/1.1.4-2 https://git.dgit.debian.org/mathcomp-real-closed

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmS+GZgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBYzkIAKokgmnMuqtaP705B4magpQsAbRCJsUC
IsFs1yCpVp1FAugHBZfSSiXhokOVqyhhtiV7/DSafs7N4HazoNACqaKyr0+sVJ2j
mx3bD5DR7jtNnoB+vbCXdnkO5XQk6DXyQ3Cls+1KjTAzkv16XpYqoV1RhGh0dviw
i8c0JqH3+RcRbw0mw3QHQunF49QKpF3B1Lce/PQMzpT9Tzc35M6uw7JTAUpgD7gn
2gRIdl8w2Sm8TWfXW/kZj+xz4u+qoK9qsWcIYpFhu/UJoBhRtS5w+hWZaIoYHEB4
njDRgZIM5UksrvvgOi1uq/UtBGc8kyEyBeJp0C7UeafAcYqZ7rbh3t0=
=Gcr9
-----END PGP SIGNATURE-----