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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.0-4
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
 8174edd61523e042d62e9ec6cf8f54662f9309dd 8456 mathcomp-analysis_0.5.0-4.debian.tar.xz
Checksums-Sha256:
 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 7007e557bce5fd746007e00ff28e9d2a5d587ce01d91e5d7bc3eae9d11682bce 8456 mathcomp-analysis_0.5.0-4.debian.tar.xz
Files:
 2e25722be680c6b80c05cd21313c2dba 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 996622e982232f32a0bbfe81cd666240 8456 mathcomp-analysis_0.5.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKMp+YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRof8P/jMkytD0CU/K1YTBOQ9ZhtPKEauvvje9
mktoo+PNtgMocd2yGxlio7niz2h9wpVHS6aZQgDSQmc6yObwlEpwhz8t/hb29K2E
dFUn7zW6vcL3hMJWBvHTIgtLNLSYWi1gqYMJl++W5H4ggsBqMLtfSC9lieHj5MtZ
zKxLAzc8slmpvK6i3fAbkNDQKwucqsM9DYZAoh70eOx9FRzv/2XFythOEzDGPB91
a7Ymet0gTs8OaDUb0dTlxTlQsAcQnXNui1PhVwxiND/l4DHBviA90I5dVnXmnlmi
X4cHc74A+Ugjn90P/QTd3zcbEodbZL+hHGt7WUuKz1zyJdeeMjEJ3tab0JOXLu2o
s4Yx9Xuo4UMM6q0aIiUArmfsygOgE8e4AhaMu67Q5UILyPa1GJvz4tWk8ioCPmtv
P3+NEZDD264Lrc1vgyABRUtijvY+k/SfBVOzAZj9HzRs6onu6rXDV3v27CccqMGt
XR760ygunoizvviKCm6/TTDa/eoXWnI05e63GHtW6jym4ahAJIyVuK3lEviQnHOb
yrlSqLkHnHNRFTiPl1/G/kxq5ROJP+WoX+Or+3LHbk3yYyuFN7UQvqmg68AtZMBO
i6kefB19VxG791Bw9eL7/ZAxHWYeYbj0NpvV7o0vkGUq6sPLJjzYGuQbcxxeGG1B
aDBaDYSBKDMt
=U0zX
-----END PGP SIGNATURE-----