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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.9.0-1build7
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.0
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
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 239f3b0d11af2fb7aa3351c2392a2d160530428e 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 58275745a8a97983ec4d1c2efb634f10e0c32bd0 9656 mathcomp-analysis_1.9.0-1build7.debian.tar.xz
Checksums-Sha256:
 ea9cf8653f1e63e01f76393231d048ecd693793ca69a12f28fcc7d43a30e5e46 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 dda4d79040c8682d929322344627ee3a04ce997644bbedfdcff1b6df9d3eec45 9656 mathcomp-analysis_1.9.0-1build7.debian.tar.xz
Files:
 a9e7d18401d28d046e5a016a9abd18a8 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 5f84a4172c900778a4ebb4b8fb458966 9656 mathcomp-analysis_1.9.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6fwACgkQ808JdE6f
XdneCw/9EYFVBOzqPKLibmpdZ31DdvwWelfwFZkwNR2pK18pP5OpDTMOOwOOFRvd
iudwufKAxE14kiGCMZNbT/whFhB6na5kLAlVDuH3G9plOl+a+nQ7AUO/b0MuCyIv
T4Nk4zmqcD4jkGc6CTDMO6AgdOwfhFPWNiuCjYgeii1wteuv5rJFubWAFNQihlVo
C2+THwwU3U0YXpw/9s566QLpfe20DAfBhnUckhouFQ4EdwmM/PsDxZT2DGm1MEea
b+O8NaYnqwaC30rIOK8sh70HNcJ4onKvuz9kt3pEaelPDMfHusRk54i/zpNFsqXx
haiq10gdugkRhpo1Yb1eDlkMhFTM3ivvfu6o5bHMbnRyB1PwK85lS5EFYIIus8gV
gi5/v0h0p7RUQZdR30/BWDA/FqI2/w9C4RTNdEGmz+VH8ZkEAsD/b5rqOxlqMd4Z
sQbqBlDJGaqpSQC0o43BybmKY/ZF87SeyZiN6pGZ+J06kPm4gNVD+toi1MeQeY/d
R5VsTAP/xEz53ZP/OnE41GLnNHvip+yAVwIa1lhqrGn5y1wnb+xfLh6vg54X/re9
tARiZjoA0/xTkBPPMmZuXxP5p9f3ibH+kYC5Ys8ojQRJf8dXqeA+mmE79f/o4SPj
U9bMnTTw1COyY1A67Q4DQaqv76TM1AiV2HhXGZrg14wHJPn9V9A=
=Dsyl
-----END PGP SIGNATURE-----