-----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-1build1
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
 74798d3247503dda0a7bb163d6b4344d42f92bd0 9548 mathcomp-analysis_1.9.0-1build1.debian.tar.xz
Checksums-Sha256:
 ea9cf8653f1e63e01f76393231d048ecd693793ca69a12f28fcc7d43a30e5e46 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 a4bb9fd5c2a5a17168b9473a3e16a264c171f41202608619740c4bb9b29929e1 9548 mathcomp-analysis_1.9.0-1build1.debian.tar.xz
Files:
 a9e7d18401d28d046e5a016a9abd18a8 911293 mathcomp-analysis_1.9.0.orig.tar.gz
 2cffc3b70d69f63efc52e418fd349ef4 9548 mathcomp-analysis_1.9.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgc6JgACgkQ5mx3Wuv+
bH2txBAApn6D2PH1KkcioimnAM+sYAeeSapuK/LYneyzSbRekDx6pecyti+pyNtK
kk1+wN3YItQ3wsNRaJx+B2oEMLV57YqtQ2qzOmSV9N72fCJlISFVAgv3YdGm+J6G
sLuYK6/D+T211piEwhZ9bpacaIMmpuJhv5uzQ1FqejtCaZhWtQ25UUnAQlFNeRpT
pJ4690GgXxjxZUDUg5PULNFIW1jkf0WNj6+/qsxS4RXPXSufn9o327zhtP3eLTuP
bsWWRw+Y1q1k1/4m7yXRrs6LKCNTI4V6d3/N2OADiWHFuVBCyTn3SFUTaD3snfLO
zrrWoefZn3UFO/1P5jZY7Wj3rpXqD0bBW2+fXbofBgaTMdfvD858HnUI9fOtiAGD
i6iTOmTRQXgNNbPvacUEY64L1Ze+OEEU8UNc4niSiyNn5/6iuS+TCbIp06EoQDMe
noYHaWcsge+4pLvXrg45L9dFizbTIw9RI0osOh9YNqLDeAqtS7RluBrvNfNfCByH
+0GfYLmpa9pTXr3aacBfFqFR6zKW0Xc+G9OIOFMyYuIA1Nwr2J6mafWPuYFuKglG
r1kGxGGZI+m5DClJe37VYUcfh49OfnDQ9X+/d26sjl3AvrPcIa7MthHYE2oXdd6k
PS0mZnFOkcsIjBYCQmOJMbk4Si3VdVCpsNJrlrHc3WwRTA5PSzA=
=YJmS
-----END PGP SIGNATURE-----