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

Format: 3.0 (quilt)
Source: mathcomp-real-closed
Binary: libcoq-mathcomp-real-closed
Architecture: any
Version: 2.0.0-1build5
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/real-closed
Standards-Version: 4.6.2
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:
 c47be15ca50fd6076f0e3883a4902c72432a1ebd 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 f7e66668b53f732cf1613e5bad54884df51a2c21 9128 mathcomp-real-closed_2.0.0-1build5.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 7ae4dbb0ca5119a0abcdc95a82a910ed9822aaf660fc8190531cccb92e2ffa12 9128 mathcomp-real-closed_2.0.0-1build5.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 a5ee28b5a667d592889a249c679041b4 9128 mathcomp-real-closed_2.0.0-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmmMACgkQ808JdE6f
XdmB1g//dr4tydcrND7k/TeYSM4JNVxeN3bkHBpWsvUOPd4iZKm/HYTLEKiE+BK1
yEgX3JLhwZbyW65INdiI7oL1xlczL5keNsm5vqGDtjUdcg66TZIDngiVsf46Fn9T
pcHBSTHmwSk0nx59rV/pNz6X4nEosXXqdBlAq1EpRzlusvIYb7TJV/pRXIasY2hy
CiHE158Nxw8i6Gvjuggb0y2XDLyCyRUefDrAin8PaPGBedzWuIQyzxkoQOpbMUjz
p/xKAETI9mhYTIbz1oYcAmTw32FXk9NzJCKa/NUIJ8wmbsTJOqmoFDOWsppjJ1Ee
QRlxAQnAVw0064b9I9MQ4w17EB4OVZWfXu5nshhkuWwJj47VVPQylofGX0dndtg7
k5iAGr7HKQ0qM3DE9yf9Kwm9EoQwXjCPm68WW7ehTmEDXnYgogMkSZL0pwqbOgxX
zH+12wMnm3FoqBwiW7Ut9Jr/En5Yf32xQXOm7fTdTkkf8c4zDk/CtfxyVrnCnQB3
V/LkVc+0QCOCvIC6xCmFWc+EfgQ5EKni8OSUkfpRoWFva0wO0ncU6nyqs7+xLK3R
9Wiwu5gRPXRbUf5MWyI9U/7RWFhPqEqZkUcs64hY5RygV0xJd6W94WX0ixQAZFw4
+tmXpwYG461+/owaiQ4qxZdxyDhPT0uoEcLoRZvcL/KAe8E/Rh4=
=uvJ0
-----END PGP SIGNATURE-----