-----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-1build2
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.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
 b74c4cad07d51c24ff591766ea888cbdd29f2a3f 8996 mathcomp-real-closed_2.0.0-1build2.debian.tar.xz
Checksums-Sha256:
 3ca62553ce212f2d20ff13afc040121c146e7b31db2534c36b91d7bcdd6f8d53 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 36786a801b006094dd2c2e7dc9988ab6db52f0625cf28a292f406b6ec8b83f97 8996 mathcomp-real-closed_2.0.0-1build2.debian.tar.xz
Files:
 102aff403e07f0c2ce25fcbbc5f53f64 119466 mathcomp-real-closed_2.0.0.orig.tar.gz
 a4f1798f74d1a40bb267eb59a15c1f3f 8996 mathcomp-real-closed_2.0.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/VYACgkQ808JdE6f
Xdlpug//TJxz5JrQTUdzdrbgsZUXB/RT7hsg5s2MoChp1g3icIu5Wn8PmRZuUjex
ctvXMGFT4gCF+DFV1+yYSp0h+43xrpG/QNViqjHtmDDB7PPmo5CtI3qSE2Z49iHU
zU3lKps9POgVl4oj3/rhMP33qApBRhK33dChY8GLeGa2uC6i3kiSec+SkyvsnmgK
gFzDOsZhJGKPtQc1ps4fN7cc7GggPiYOshe+nQOTLUF4i/epe+FoU9DW1R0beL3F
8+iAyROAbXf97MeJaUg3nK6cZQeMizaE6e98Q0/g7/aGEmgNnFASG8r7UewBIqng
KiUzrtO6LN3DHoCnI7YVrWvvt93BVQECOYo5jDFJKSdh1zofp0trHo9C5iCGmziX
FaYiOFZsOgllmkCLdidx/gdJ8sZK/GcGE5/lFvYSKzjgmDHAcHtKBFlvU2Ga/jJB
sWHqe47YkDNjenakL9xFcHgPrho1jFDrm/MAEc/yp4AI0OnE9bmE5SEEm+HikrfW
lUMbMcN0j1c79R5X8osTYr1FqnVAgwl1zfXFGg4/ioyVRZVlevjhpRIni9RexWAm
1PtU9XjxKdxjr83iRcB/kVBzySlm83r0P167nGUpGu3TDpYhCj/N7s7bDI2fk4fN
1IwPui6YLbNEYjM12rhNYdf4rQJYjHfKsxnE++ewiHUaoUw3wc4=
=mH53
-----END PGP SIGNATURE-----