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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.16.0-1
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 01658f08323cea067344714018df6d30953fb553 1012936 mathcomp-analysis_1.16.0.orig.tar.gz
 ef94aef28c6b053fc286ca6729daf5b6f8583518 9580 mathcomp-analysis_1.16.0-1.debian.tar.xz
Checksums-Sha256:
 dee67f6c61ee783dcc1fdb4848d71d3713d2ba1365d38f4939cb3e7dab83acf5 1012936 mathcomp-analysis_1.16.0.orig.tar.gz
 64338e05da067cdf9f1a7d187b9c0f670b8a5bc67d8a53be4d8024c892bf20c2 9580 mathcomp-analysis_1.16.0-1.debian.tar.xz
Files:
 f9a69d5e768adf9d5c551f756a09505f 1012936 mathcomp-analysis_1.16.0.orig.tar.gz
 bd63a3054219975d0d13914a716b8bf4 9580 mathcomp-analysis_1.16.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpeq6YZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUa5rD/sHtJyI9kuEa52NoiSkdXtR
ZzsljwpKSla1S/9nmQdids3bLNLMcDtILsi3XUX1pYVROyrQw/h0SeNFmZFTE8dh
f1A3iFWb93zKBvyOPJppiI6iN9NmrviBluDR7GP3CHiJ/7phyOfvcv5+CJ+Alw9J
WN0J7UX6KVm0C9ApVxys8ZKY8fe6v9yTf7vzwcTkfnC/Hi4mEFoAAm7ZsTiNY7e+
caKEAYbT++hMwUn24k+38RY8b67Law3nARtRPRoO3OfVB7LhZlPpHodibcEZcRib
heVmivdKYYGyXyAXwYEa+744cvGgXHUWfp86W8Ws0bWxZAfOM9t6Vj5FZJk2n/PP
EgDW+qV3P3blDOHZJdaaivu8yqxBIEFlNUigb53V2KvbazFeEzDsL3BOVO4mKazA
xfcRCUPOHMjwGm/Q8CTmj/n4n1oFsA6PwTbcW4rbQEmY39UBP/rzIEm1469gSMPi
XAqL0sf3IjPnximdfGm/2wFfak4K9pmB1P7ByHmyIZ06bVcFB/lixm5Z/kDMr/5/
UewulN+2vhg1TRBElYcgYSJ9BwxJwrcr9NbAsoDuknG/+s5Dy/e7XOa2G4P1/o86
ST3yVrdJeI960qu2l/oWhTLved9sEiQud9Zaq52A72c7uHKaZvuFi7onkcVk/Qn5
6eBDdSHXsFpYhMSAbhOU5Q==
=f21k
-----END PGP SIGNATURE-----