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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.2-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.6.2
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:
 d43a29b6f26cf2c809c9e68c9cd52f0e66e47838 759320 mathcomp-analysis_0.6.2.orig.tar.gz
 305aee8b9697c5bebdaefe0c55d5f9c2e2cb747e 8840 mathcomp-analysis_0.6.2-1.debian.tar.xz
Checksums-Sha256:
 3f2b41926b560b66fb8d46db3c0ae7150412431adb0e1db204a757a6f4a38fc1 759320 mathcomp-analysis_0.6.2.orig.tar.gz
 167297e279869579456b6e7a8cec5231467b6473972fd6914b75cc9c3c76771b 8840 mathcomp-analysis_0.6.2-1.debian.tar.xz
Files:
 84293206568ba47322d8457f55b127ee 759320 mathcomp-analysis_0.6.2.orig.tar.gz
 72292902abd4fc34fabf2319dbada93f 8840 mathcomp-analysis_0.6.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKoFMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHQYQAJv4FJK044d7xaPKEyzs7Gb9bq+XHB3K
UYciA8jfq7oyfyhe1+9lnDLeqgnB69oQoTbXJoUJdc7PLURXjH7MiBFVqHHSfHtG
0FD8upDfIOrtw53jVrNw8hm/CY1916sWXtaNjjzM3tIL1/FyS4FVvkWGaQU0JwCb
LdEn/Sxd+XjtUYexOT9b6gXpnOd1jqCnhjW3uU0nOp3S2rWpXi/dTwU9cpP60p1I
+aI+5CunNmjQ41BCCJHWhNj3oVYou9q+uDaMuP0uKRYvv0ihkiz61Jh6ONde+Epv
Q0qeGi4t2bdQbjpjqBVja8RdJ+boBV6wsYOpYdcctqJlS/ThK05wgUWn1iR1qx9V
MLd1W6HXCnnXyDy/ZJpX97rLIkDEKH3+5jMYp7Jty08U1YFQD94Aw6FkcSrsjDil
/uWP15sxjL1jyuri88XTvqp9vrCSRWP5QUacBEQKmQTGTAWoOJIL7mtn0gkHM4kF
yDZAj+4f5hvE7M7osOzpEG87yKm4XoPvcTnGo/y0+y/5Ht0yFYhnw3M91k8wcBR0
V26bf76r7q2hIonh0oSB5EwdEnkB32yuugC5Haj7R6Oet2C65W/euWVuVOfcSTkx
dhOKNOlZT93XmnsaL6/0W8X+DdM4gwRsrzHLYA5yVp0sBMwmuJVPmCPWPVbq6kuE
Nz0c9RzVc4N2
=CYTt
-----END PGP SIGNATURE-----