-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.6.0-2build2
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:
 84a72466d396f385b4955a9bb5934ab0a845c449 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 525628b63dc29743f687be87109fd5625c1b5bfb 8896 mathcomp-analysis_0.6.0-2build2.debian.tar.xz
Checksums-Sha256:
 1fc0252422592abec0e978c9f49bde752f2f38ae5a61ad0ece68446efd29730b 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 344d07d624b3bad6491fed445fa66b3e0b5afcdb43ea0e91beab3492f316eec8 8896 mathcomp-analysis_0.6.0-2build2.debian.tar.xz
Files:
 f033cda83fb712a860ee32d67c1f4542 717379 mathcomp-analysis_0.6.0.orig.tar.gz
 61ebd21d40a88373756a6d05faea59a0 8896 mathcomp-analysis_0.6.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPutPIACgkQ808JdE6f
XdnIYQ//d+WeCjJgjI6inbuYr2ZLM4JHDUgBc8StYve2HVt3fNOEf5gpPoCkb1Xs
QBVpNQtOSwut6H/xSBsfc2Pg9fcRG/H5SFOuYeBgYxbAgf4tDVFZabM13yYFBkVT
vzzO+M0P8m1Zj+QtUZRkeKXkgwKID3JWXUtRGS5Vqu2eUd+7SkQYFgwxyA/hwCDF
MjxvziKQjaBwobkMB+QRatLPb+G1IstURfi0JAkZrPhYx+WRAhOtXDwB16/q3rSU
8M5sR3y4t2juIY0l6OXWlIR5aRZonWdT2gcWk3vMBOMwyqvS1Qpp8nny0EoPtazc
PQhRWR8D9+xBKiYerh0RY2EWTa8oc9g0Lw3wUPWWBf/03oeAD4wgBxCNeZz3dhDH
0t89yv9mPRHihmf/x8uZLdfzUAZyObaaxEgIRhV3SZb5XRK4yyGQ0loa6Z6yZ+w8
IszS6OQpjRin1grHCYCE72OQJRsFyZqIGAMGLraWT4BN2iDYnwWhT1A3eOwYSiVp
qTz/bFNDRhO0goSnRFNs04UyT8k/HGy8tIyLXE08AMOuTaZsdh11j2Pd0thJm7pk
EaxR70mTQfZqRGX+KBH4vvFKQ8hT2WFbQW2Tb1mHv6GC6e/mwMdFTvCseXWuOfke
E9Ze4Mzi9rwl9OaEbbQzmPh9AJUgGxNfx+b0VFE+ygmi25FKKew=
=kgDt
-----END PGP SIGNATURE-----