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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.4-3build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/analysis
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 cbd4f794f0d177436b879240ade09d3a2a04be83 697355 mathcomp-analysis_0.5.4.orig.tar.gz
 a19075794c19162d0a87ecc792284ffbaacca111 8852 mathcomp-analysis_0.5.4-3build1.debian.tar.xz
Checksums-Sha256:
 812a0c3dc36bcbc8269f32b4f73c0d1500361d8dc0bd877373084e005c3d23c5 697355 mathcomp-analysis_0.5.4.orig.tar.gz
 271967adfc6b149f65a467e17c89f4fe4846b0d3fd08016f66786c229d09d7b0 8852 mathcomp-analysis_0.5.4-3build1.debian.tar.xz
Files:
 89b6d1f1fb0f887b117acb19cb45a7f9 697355 mathcomp-analysis_0.5.4.orig.tar.gz
 6c031052678f0d71707399b49b0b7f7a 8852 mathcomp-analysis_0.5.4-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmODnpYACgkQ808JdE6f
XdktxhAAzLUQkj7o+3HC41PFUX+Y6vXGvEIu0zhxPyORljcg6fcfJbHD0js4epXT
PVZY8CIkrJZEoWt/BF9T1mPD+b4pDOclDwMu/c0bXJG92ols4nZ3MtV3G6IvWvQY
nwZaH7qFSRXimKfxujhT1VYGFdsJvrS885lk2U+lD/XIO6Us2iDtERcfZD2Ie1PN
F2siGlq0rkzBkXPRjMuPd/mOdu10YsedthcGcqrLw8KlF5/LFvioWp/dWG1Mebqr
koqehTVdPr5efM3CTc0NXeX6Aqc71PuhvOHDdN0g1fxFtAkwZiTIP/x6tYc2NNir
EhcNY6rhkzkj6hD0t0UIl2Rs2nCeTX6dh4FDYBwK32X0RzmIN7eypp/2VZ609Ras
VfHv1SaLoXd5dbGdYbYZOzDXBTcMKcUdmpjDroheJuoJ7h7jKLGmXLpb/M7wZ1CT
xu3ySwd+3uYy+omH/p679iLZKx3BoJQAp7C1DJwrk/vUVKAA/h6ifiUWK8Lkaid3
nrTvUqIz96Myl51+pHeZ2/Pek0YJFH/bZdWEWNxFjjtJO0u6pmvx2j+lJ7YwPnCt
XgMiPT7UNX58tls5a3pFH8czURpZuyvYt/E6SY7cyB/igJxMYEM8xpDfqBjrYX1K
uIPesrCRbShAKSvOhEwbL67bdC8XR5snR87bgTJkgCD/ndyOdiY=
=XJjS
-----END PGP SIGNATURE-----