-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 1.1.3-1build1
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.1
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:
 714b505d1a56ee46b34bcc63bad21de15bd5ec91 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 536a65129421b57954f4e62c88d56db165068549 8756 mathcomp-real-closed_1.1.3-1build1.debian.tar.xz
Checksums-Sha256:
 dbb3d86d72525a0c9ac069a0b2321a3237053ed7c5865ac79e34ab03f5c9448d 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 861ead91d21fa8c9aca0803c680b698dd087a35c8109f33421e13ac55fb331db 8756 mathcomp-real-closed_1.1.3-1build1.debian.tar.xz
Files:
 b1b93118f89f0cc046767701ee4f78da 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 777854b8c66abf492390475caa4b1707 8756 mathcomp-real-closed_1.1.3-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBgUACgkQ808JdE6f
Xdk52hAAtrdTQkOEiiVnngpWc5zA1tLcHfJ7bbo7pOvrDBVqukPKTtU5AViBp+wd
v12VzomFvnUiFuq6/xAOYeql2pQ/R+sgqRuzJUMKWvrjNce/7aA5i7bAXUDWPu4n
TMtFzdsVQJtH51pGi8bZTl/FQTjrnwBVmnLqeE16yU3L+EZItNkb8qeTI15B+Ile
hqxICAYRncIk1oCokJ8YuG0nu4YRzowTvY6mTVdILM1gjwnNuANxl0micvr900E7
IU+SwqAimQw3lKUiLnqKuClOGBG+croWhflFefLOoMBgF7XFuvu9yZliQGChvHA9
Bj0G1wCoPVbD6tTrgcQF7rqYUHXaNRMToil7pgh+aIfnZ1T6BoU9zhS96L6dewAr
Qw7U67TK2lebCGzutmuC7WgK4BEFRhBo7liGdw4C1rwgymbWFMZy5wO7sIpVDjVo
svGMZvqy8CCb7IYeqJ86DgfSKQ6FBYVo/uv3rlX24YW+vx2wl8VcbBGHuRD/GnC0
eHeI/FxSzgQEkJrmD8ZmECAHSh5CZizy4XE4KeV+FTLJ5lbRpgC1OY1+eGXcETAt
5QV6TZTHZevAGJe55qFtfzA1hmed/eOQe9rhsbM4PsXv22iu9n1xv6+oAIUeMV/x
YLS2b2OzNpIKqwp+KYCulg3OOLoz2VyszpQSvMP0L21nz+0U1xk=
=t6Gw
-----END PGP SIGNATURE-----