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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.0-2
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-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
 f5c8345995f251c90896889303cd04e6c5fc77e5 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz
Checksums-Sha256:
 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 7f27f8720248aba4a2444533488758524e8dd3ae8c13d392d790024791302cc2 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz
Files:
 2e25722be680c6b80c05cd21313c2dba 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 c6b0df33fbbc33b434a57e134f0de51e 8348 mathcomp-analysis_0.5.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI9YYUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4MMP/jQ8uAKSOe5OgaPeaxsFY9LAYi0qVMZl
2SfqthPzRQEevVX325g6CfZvnWfzIsBVUhiWpc8I0imtlLGUgWO3sH3TsxGkjDp7
VzJvscJBhV/9PRr3QRRxceJId3jx66uS6606JI7aYGW+pb9rk9KCtH+hNQcaqSfo
m6LwrFgWJ+Q47kfMILmOV0B1wVUeZZj2FwIT41apdyZ+BRTlNXL5pIkO6BQbCM+d
PQ5RcTHA6N2pjrbsaGGxCpdOEfPSqo0crzIpsU2ssSdgjBzDFfde8ok9U7ybX0bA
kD4Tf59pM9qejfGnDKnuRL61MSwc5OMgaiGt+prEn4WpHvkamELMOMBilMk7rhx8
1AAwgjI00mBowx6hA8ckMByH5oI1xoQAS/nIySTR3w9lvSXneLZnTT6lzlYXKjDD
99PFqdoKpi695vwuvOC9S1RBRc2WQ7e1PQefMUNoSB+Putds6PzxMgM21KdffEEi
q4ybupkxq02qmDfSMdlT527+5+ZGO30RoRAM3qCieSV9dodxksbLf8aFJoh/AeCq
kcrgMb7eezeFk5tMgXzR8D0zIbHspLnrnB3rqcT8XDmgD/k9JFdP5qpILaa1SpPb
zmJ4HmqQeM94EMPLliSFGG4A3RcqBjs0PP8hJHO74HroaIXsNpi+5iu19Lq+9AZL
gv863DCswIrS
=66A3
-----END PGP SIGNATURE-----