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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.6-2build1
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.7.4
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 (>= 9), 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:
 e29a4f0828c4e0284a63ea927a338d455975f63f 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 2c7f32bfa6b418192ea7ebac25116f2acfd9bbf6 9532 mathcomp-real-closed_2.0.6-2build1.debian.tar.xz
Checksums-Sha256:
 b383ace6b4b8964eb31a2c598408cdfef740f637dea27954c797e56bfd37ebb2 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 632447b60a2818e4e1dd9e3a1ce3fd66ba3e2d9c0d1a764723af19f1c0dc9c99 9532 mathcomp-real-closed_2.0.6-2build1.debian.tar.xz
Files:
 d47603d0ad456d12da6675dbc098ba31 123814 mathcomp-real-closed_2.0.6.orig.tar.gz
 58fc469f3c55cbbdead8c68c74a17f56 9532 mathcomp-real-closed_2.0.6-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdsIACgkQ808JdE6f
XdldwA/+N8N5aNviF/kAa7ZrBd/9HWsRxhw24IOTeMj6lI0XREHaagwlvvY8bXDT
1r/DFEzGGAwIb8EYCeMTwoYgMnpFJH9akP/ripGN4qWRlEEXCs5+46/dWAE6JVSZ
daOR0BeyZlOLvaa+yzDAJKNFjDxZBUnlngIK5W8LSOOM23nzMKsdqQy51wMqh8uF
vQQYDNBpF7002+OOTOcWwDKAB/aT1uvpRKvXZfDgyT2XjsNgyKIPmrgdgM/c/02J
w4KozlXhUOIo+PXG6YLTHnKuPOHbZR32qpdb6cYK/UEkzWT4mT4k51CelCXk92iU
zOUb2drnG4Iid+qpOC5+g2sFIzJaRztaIYF9DnHMPv24CivRLO4i13bxgVuDWv9j
AliBaMfjDb3ED7+n7tp9PQBbGMgxeMB0rA3CpqneNR5BYxMhieaFZBw898RRZXUM
dNo+1gKtpNxp+ZrPyIl6coWCgrbZVS5UqK4DsA4MZb8lurmMroGeLIAiSzzWSo7O
GlN+mpMW8K2CLaWqt1kMm1SbQV3hq6rOGX23oUk8PNXN1A0470X4C+VwH3NuE9za
ijoE6zM1G3QCB0LafrTjTv58NwcQzexyH0iCYtrkZDWEMCY6B/tVX5sLzzL6dRK5
j1g3tzWm6DhSc3zQO52wr1QHMw54RUnHyy1qNnYAWOY/UyUP91I=
=wMWY
-----END PGP SIGNATURE-----