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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-classical, libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.4-3
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
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 3e279609445621669c86c8e54b40a28ced957c73 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 eabd72448439836435ae2976ec43809b0a74c81c 9120 mathcomp-analysis_0.6.4-3.debian.tar.xz
Checksums-Sha256:
 cfe97292d3cb573806e432edc32081d4c7d91994423b1d8b7dea51bed5448ac0 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 2ec53074e287c553197942706f67d72e3cb2b86ccec80cdee1cfb3e8e9e95324 9120 mathcomp-analysis_0.6.4-3.debian.tar.xz
Files:
 0649d8c5827de2d1d4aa746e68bb6215 811547 mathcomp-analysis_0.6.4.orig.tar.gz
 cb023885de01aa41aef96b3062701224 9120 mathcomp-analysis_0.6.4-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTl2HESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRF2IP/Amg3oafBOzGkmpbwP6BViWq60S4ME43
khuoLbyOom+0Gus50F8nXuaUHOqrSHCDDeNS8Iv/bun9SNDVfVRXf61KTK7e/zT0
g77XPAXSzSged6wrCSjLTW37OC1+I4ZnbCnWuHuJ5wmN2ZA77SxUAgu5dvOKlh8N
0mi53U5yKMGHZWBFtF4EPuBiTsE2WL8+NM6Ol7DevnAry1QA2d75LREqj9hHk2oN
UNIEugJfHC9YE3mo+G7eKXSiMsjqrmsv6bfpiD1z8cxQgQdsmndRuFL8rTxzLXZa
3wDr/djYP4/HQXGDGXMGe1sYb0eO7cYT+ulpZCWT+wuCvH1wgMi5s+C9iuEfpGXi
dYEP2L7KIT8XYSIqAOxGySPrGYmwbAs2Aw1iekVKw8O451RxXpNCqREgH+63qbcI
Rf6ELrdDCP+pRqAs6uR/nG97ozwYx+29lL4oPKW/d7J3GBvQcgzi+8KClSTMYFji
UHXNNfsEOka9mHj3MaWY8zGwdl20aAzEf3Xx19pdQ1tP9vfAVLR31qDW8yC/NIUv
deIvd3SO12htB+LymWsQqqKCm96dCb+c7LH09oBvNWr53z97yCkhOvbOW40VOalK
i+9ubyJx69JtYW/M4wL8yvmN+1KPq0/AJ4R3Bo/Tdu4BhpC0XjkPxWwphSET9/NZ
DaiVlVdqqmBQ
=tUL2
-----END PGP SIGNATURE-----