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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 1.1.2-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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-real-closed
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-real-closed.git
Build-Depends: coq, debhelper-compat (= 13), 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:
 5dba605638b751ca4516fb7bd24c8718d23f0504 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 9fe4f5f805624bb4cdd58f8b0bba0195cd5bf11d 8572 mathcomp-real-closed_1.1.2-2.debian.tar.xz
Checksums-Sha256:
 84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 19d0fc982231c6a0046f0c5edfd68dc98625f713c6abde2d33412e4c301d4641 8572 mathcomp-real-closed_1.1.2-2.debian.tar.xz
Files:
 0c743022726111acfd8d61ee1ae4156a 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 97d7de63eb06293e2693bed26c10cae9 8572 mathcomp-real-closed_1.1.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKMfncSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4EMP/RTBBTt12x8t3sZl1DPlpR4j+8WHQY69
puY0npTgufQ1HKU8l5mfe8Ys2E2Grhru4EBD8aFeagKsZ62DmzDbcyv9zGtYr3Xo
xdz88yj33v1Nw07w8PdLY0vlHU7khpySzVXQsUqVrKKWzt7Qt4oYfA1qj33GTym/
xAXQXmDrJxRgPBFBiG3RYLFz8oOGdN5XeIZQSfyQL3A5Wg0fhqt+krRTIbGS+TOT
AmH5mzrRqY2fXITCA35iEsdJurcBiy7nmmNTssuq+GyK62bAOkf+ujOf0THpkmtL
BIlnjsarjE4YPOJiQGC/jL3ikjgZkUaQxwOcy0zhBiSX/rnLsRkuQKUzyNTdzLQQ
57ZZhhCykCSBq+UFXV+gOxvFXWRagkCeLRkQjycPJOa8W9bbZVhjeLR5lPYw46zU
bO3vg8AEwGvmg4QQiQZWcKEUB3pH9kzT7eIUMTMF4luemtyuV3srK+aO/h7Z2Plu
wUwxXGvoYhMd1gVXYoiLPrIgGhe3mIwe/T9OHCRNzoA9DiogYWCHb/mJEXD+KZ0h
I4jPSnIgn8XQYQUbSt08CIsWSBGmZc2eJJhJjFcn/lqeipTDddTgvR2Bq97dtUYa
rj9W2L0DAVGQI1Q7wrT2U2O4sGGbpbwKc5eDQOZL59hmVFo2dr8V4oMip3xY/F8g
8GvkfVmVQPYG
=Hgi4
-----END PGP SIGNATURE-----