-----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-3
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
 0052936780d2026afedc630021468acd6e2c56b7 8956 mathcomp-real-closed_2.0.0-3.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 71508b88a083d39e29341f71645407cbb0f1b8878f10179c50ffa831be8eaf88 8956 mathcomp-real-closed_2.0.0-3.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 001fca5945dd7a35e7923a4d57d80fd0 8956 mathcomp-real-closed_2.0.0-3.debian.tar.xz
Dgit: 93430673bd9ef37f6d61c2efe2affb807b2ca99b debian archive/debian/2.0.0-3 https://git.dgit.debian.org/mathcomp-real-closed

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauI8wSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBbq8H/3syJy+19T0iT9ldj7xxh4yPnbrQpMc7
miYK3pGeHG4oZ50o2gboOfegALdpbVcDm0cym5lRXQLs9uiyFTBdOX/970cZhFmz
7rOaZB5a3vVdjOIidpw7c2B/Noh2doLBBZETeg1a3bpY2VV0pDEG3I55Iwv9fll0
8l6I38YOFAm81y64eloDTkQuh/R6L4jFIZohetbeO8oKChID0Yyjeft5aW9Lhcld
SM5QLYaB/I4f/OplpJ2t6hwi+XwtXPFXQoi/rGIyFQFDdxiM9ElloQIB/5ViMv6h
h2O1tsovuvOvR2rjTFih2+FgQT/S+losQa5vOWwzxjWoWHTFwE4dxks=
=3OQa
-----END PGP SIGNATURE-----