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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.17.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.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:
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 522ecd425e2705d4041f9b0827e118d294679e41 9648 mathcomp-analysis_1.17.0-1build1.debian.tar.xz
Checksums-Sha256:
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 ca4275a4f2f29e2099ddce6336b17034f18d13b6df9a1e5863bf90ce92818967 9648 mathcomp-analysis_1.17.0-1build1.debian.tar.xz
Files:
 8dfa49c710a93867c0c60cc092e25377 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 39b8365663c1679c4725dd3aa1cecabf 9648 mathcomp-analysis_1.17.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdqkACgkQ808JdE6f
XdmT5w/9F52YGZYMHWnuc4sZG3wEecvBeA2QPucAOp5VjBEYiCOlQeYQ8YLH4fiW
QT5m2dc7fRCezcdP0tb0w3m6lPOPCcmTStOG+7IvnzZQwZ2q66k59sz0G4Nq8OgS
hqKKxHfz+vyml1jjfZjRYJICvv5ag2YgUhU5eqehIHuok1f+V7ahmWhV0B7KTSDq
WvTZOFK2NOMmdJAcYfh0sby9pxI0RkuCnpEFiiz73n9r22Y4OiNv9VjpZdcnWTQh
xyF2VeBKWwTkvbh3nCRlsf4aO4GFMWLFGvM2KOvFCVZV/MvVVMxTf/Bha9A1A0Ky
plh4tLbKHKkJG2Q3btlEmfH/m+uLfIxxUqHA6MyVI0oHYnh/EnZHb3OvhqtejgIY
55cgwLgcV+XyZ/R2eXy1+8BuZkxsWUfGY1r2P0tEx0SKhzip2s1V6YQp2zOzrxRB
PivSS9GBjCSgkY/+wIVh4gH4MXBn6t0LagaMikTZoKx98XJtp/dPUZgeImsX4gU7
kcGzIHgwPIdCkl0W3Y/LtdMbTSvcHTnwYdtBDpfsl+kwbqKNZV+6t/5FJrtRwPWJ
peZ8ZK2gKFHLcZp6wl5Ah3Agk4eSug85kIKYn3B5jLdKyx3Zfy1n8JVP7fCgbhpe
MYlyf0bgletmHxyZE0oDfqn7VxBqQNTr/o7M8nutiM4WWW9pUbo=
=lu+i
-----END PGP SIGNATURE-----