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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.0-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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, libcoq-hierarchy-builder, libcoq-mathcomp, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 31c3786af701992841e181bbb2182bfa27feae0c 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 feade0712e6de1378aec05a4ade74a605ecf7c60 8416 mathcomp-analysis_0.5.0-3.debian.tar.xz
Checksums-Sha256:
 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 900753fbd912d7a762ab520022095ad0ff0d17d1ba00303fde08a0ebbbb3d715 8416 mathcomp-analysis_0.5.0-3.debian.tar.xz
Files:
 2e25722be680c6b80c05cd21313c2dba 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 5e251daf66cbafe698377033ca68b68f 8416 mathcomp-analysis_0.5.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWyzcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRC7kQAKWTqVOyPHS/UadCYdQk3Jy32rQB79NK
ueEgC9c//HlNuixaQnRGsivOvqwdKANtlH/jPmA9x534O1fdyMiTcKkJYVSvJcGM
W3v6CWzWtHXpYFDgawqUzW2obbsqSgH1OWMXoY4G/+lBNRNlQnu3GOtXCTwU1hDv
5qdkgUpBUzEo0dDMw+R9V8Tyw2iGNVC3gKExEhRl4ZV725sI0n4cOB8LvQTYl9JG
V0vMBZ8RVXzWAUwlIg8em4LLhF/x9XpvPQLFlyYi3kif/O381uNsCNoOpnIR9Uir
sEEbDofQs1xHTkpt2hBiZvCYLZHv8RpxuYq2WwytB39vvhxSu1YrbiEFjXgo5pBy
4YLSXAI6hb2AWV3rFoWzYy3lfg8Lu0qNM/kTzVgpmxiOmqkkcRYS5A+apdeky4T8
p1jXaIDpfSZSviAP0vN5WeFdfCTy84xgQvnBDvAnwb41mw2sKPcxbG8yk+iKo7gQ
vQ+tudPs8KiiY1dxczpjN2m81TNYKl/cKBuv+c3WkC47BW8OgcDlVCBnSm38P2br
aKxJnxn2QvgHbEcv4L5Xndd6p7q24np91+1wRRvmSmGZPCxgmVJntpSX9LI/yz5Q
yMKsGZsggQ1x+rhXWkfeNIcYat8OkobR+INmA7ymylFXRy9WSt3GTHr4cl8nJXCK
ANiBgR93ukma
=ZIIN
-----END PGP SIGNATURE-----