-----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-1build5
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
 36387851bf0a1ea26970bb98a3d6a5b0137e24af 8808 mathcomp-real-closed_1.1.3-1build5.debian.tar.xz
Checksums-Sha256:
 dbb3d86d72525a0c9ac069a0b2321a3237053ed7c5865ac79e34ab03f5c9448d 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 c99be042dafc62cb55316a297e701fe8f2b39f8c6aed630feb28d8787523b4ff 8808 mathcomp-real-closed_1.1.3-1build5.debian.tar.xz
Files:
 b1b93118f89f0cc046767701ee4f78da 118537 mathcomp-real-closed_1.1.3.orig.tar.gz
 90ae5e6aefcd6f47d03ff6b7749cb608 8808 mathcomp-real-closed_1.1.3-1build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudrkACgkQ808JdE6f
Xdkrpw//Q2Mt0IURY5/e0wAdttaNweAg7xAuNPhqPLHo0D2XxamLxVui2Np46JKc
Ncnqy38I6HiXXc8tXtqzTi/0QWI5mKeKV2T8LSBaqldHqeOv2kwE/I5Utgs1GSAX
k/NfhVzYzZLI22f0xBRp07g+l4dQlYZUBxoOJ1/GcyBc3bdGUQAODi+VBMb9eyMb
LeY7uidYb+cKWj5cKeDCBU/FySoQNQ16Sk6VX8vOIZkNhh8cBa/Qe8CtpY9mnAV5
oQ1T+o9p9BF+HrYvMF8PQ0UlIQwEfl5rEIyRFgEbhiJKhn4cUCJ80z5Lw1DY+Yi6
JKNwRJJvTi9aZR+UDUfvOfOCEKuodjSKIg79UoxrwBsBO0pzNMdz9QfOmcBsMtg+
cUHU67E2YYVMzDyN+pWz5Fpv0RqnRWr3mOb75Fciwia4NcAsQ+rvPgKMIP3P0d5G
qSiMFY9MapY8aUGsBK2TVKgLpOEnSjBe7VSE0+FDOJbJHdP5xMrbPbkoFSzBd1O1
XJ2iw9VOHajrWglMFlfts08lfqeySEx+LMtZTNh1nE2V2InqY22aAO4Wfl4nkXI6
mf6Ph9KGb9n5+vxPqS6I2QBmNmbnuXGFQPPtkVFrqwWH/NrvdrMCGYKSIAvQ3Ybw
W37QCawv/wvkUReOZ7rfGub1b1glbB7muFqp9yCCcJc81ZE/w0g=
=D61C
-----END PGP SIGNATURE-----