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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.2-1build7
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.7.0
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:
 50f36b2c5ec4f62e0b26a8abba2091730a8ed971 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 3294d301c72b8b1c63c3a14d47d10fe5c2748698 9176 mathcomp-real-closed_2.0.2-1build7.debian.tar.xz
Checksums-Sha256:
 c29ce2399757204951548633d5d0c298b893acd293af1d9e60ed26d94cc78f9f 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 0d51163e91a52f733c33cbc678cfd1235c66fff1e5880ccc4aed418291e206e1 9176 mathcomp-real-closed_2.0.2-1build7.debian.tar.xz
Files:
 72f905fdcbd3c59dc5d8e682abffb2f6 124888 mathcomp-real-closed_2.0.2.orig.tar.gz
 b1ba4d136d5ea9a2026a59727dc2991f 9176 mathcomp-real-closed_2.0.2-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgc6K4ACgkQ5mx3Wuv+
bH1a8xAAz66sHJnojBPo1I4VhsVT023i+MxsxEfwxway9QwxHxI7BaH9Uz+R+myg
PoAphQejJFDgaiV/75bAXf35AwPeZbgbDnIW9T0d9bzhNdE1D7Nia57OF7gN7aa7
UncmY2HupN8By8L513YxJrltI/G4FdpM4BddwHxrqS0QClrh5oq/fT6fgdQCgBFC
ECEf/P1RAl/QSzlC3ssJIY25Rmkc/xjVpqVGe3p6Jvt0qZeCD5c8nHqA0TRT8XDp
a0T7zP5gimzHa2IvDJ/doplqy6Nl8l2UiPeHaI+Se+PKly/WhifEg9OEe7nYqdAb
vLEkZW61v/Eijh0tFxq/OXWNMBLdnBQOA5CY6VONLJDkOH2WntJoC669mY0+6PtX
jm2zePdA9ac/Ff+C7G/iu4sWua9qK26EctVgrsk4ahT/CVJS/7y25hZ+9u+tTVDt
+qSEJzWrOQtAMzi9zaaN/nIVqmv6M7MaZsp6RzWIAjSZ/Xn54yAp8TSfXim3lQPx
a+dXXfRJ4fkaGjAm98RufKoZzeL+D0L37O5CdAiI6d6B4dnQMDp0iIBLY1GsCS82
HYWaBjrxcmEKchYGyZjYqvoGp1PWwjzcLQjSTBp9sRc8r2AuVexz0qFUlemQY12/
uBuQpLzmUqxwZZbNbNHKfF8aRKWLPZ4fc+7WEAwyCMfKSHDkcCI=
=lUiJ
-----END PGP SIGNATURE-----