-----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-1
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
 db69b880489ece843a223b707d9c70fe8e44364f 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
Checksums-Sha256:
 84e0ddf33dbbc249287dfc8fc7874d433c79cee2b335f32b6476a46a71376892 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 9c98deb618063926e38e8baaf5c94d32539d4917c635515e99f8c83324810e4e 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz
Files:
 0c743022726111acfd8d61ee1ae4156a 118236 mathcomp-real-closed_1.1.2.orig.tar.gz
 f5f4970eda80b42015b99cf58fbdc638 8532 mathcomp-real-closed_1.1.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ1MAMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRN7EP/3lbXn/SYNTygWyQNbUwB8+sjnjKz0P6
G0T/PRrQ9r2FhWQbtAELq3TZlGeRZ+ujk2c0CogAN0wdgwdXgyxnpMFIpHe5ARdS
dKY/u0YwO27epbwhwmr2heNENH3/uiMd664K/FAc2XgipFHTTgvQBRSOzh2niCYU
Fx9+57rvMtLXOqyVVgjIxJistgRKwGHXUfzXy6Ytyg2xiWH1uI29zopcZOgsaZwL
u8Q8v0FCV099p4bji5pUcbS/4b8L7Tik83VrbSTRdFkH808LI397zPJBRru/uz8L
zrKY2+to6nEMymPppu5+BpSgezrzeAKqaj03tSDenY7aV2/H033pUXU0QFScyMZg
lcGaYk7fKRn5Hk2kqzG0zO8tbgH+30PXNxAe9Sa1oaXM1YN6rwwZ14IFUxCCxwy+
yrKA++Pnhw9Y0byZaeNedLvr9nk0WGr1JURmiElCjvTCpfK3EI6LzmSGB9MW/OY6
L5lpb5uYuTVK/ORsglaOzd0MqVUkyCND4N2Npy6ESiI3ZpEbHpVlz84hh7CV10GM
RMdlQqUT3yYKZWkImwkhmOftH8GzRjPR7grSR1CHvXEMBxcp2JRYyPwjK27ZPe2w
0HDT89es3qcnCebksRDCSBvujw9HvK3LI4JlIEHw0O23fLmurpe35gbLC8qQZGLq
rMvu/yej+CL+
=S+bt
-----END PGP SIGNATURE-----