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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.0-1
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
 c0e65aa7890a32073ff0882c5b652a2d0f76866d 8312 mathcomp-analysis_0.5.0-1.debian.tar.xz
Checksums-Sha256:
 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 4b79701697ca78c61c250949ea5bab02a65875df10931d45f2a91f31cc3f4535 8312 mathcomp-analysis_0.5.0-1.debian.tar.xz
Files:
 2e25722be680c6b80c05cd21313c2dba 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 d01b3009934f9aec5b3f920f08f74f82 8312 mathcomp-analysis_0.5.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7lwUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRPzoP/0v8zAFJkSgTitIKomSHZGumJVTNyZCE
LsPrfr8FjvFyE/o17f0CVqnMjtcjPqqVPTfSx+uksu+THJZ/zYf3NdUGlY341TIQ
aTdbaB2c5A44gYsQczSBRClmlPPuJXvWtmkHak/3fHJsAlnwnP8zG09M9Pn4Qygd
NvMQlhkgYyJaoT6yF2YnHlnbqKCULrrsOGT6HCIMgRxysVa7QwXY4hCQWY2BRMuH
MEgJoxqPlQNXHHnbH3a3H02YZ5FTFJrc5vtNW0KVMwrAkTP7wsPKNuS0MtCEzP5R
Cmg1OSRbUcWdxy466ddmsxvJuwrinyN8QtJzHX1I8kK+tsVqb9rgCVmddT95soZ8
cCGDRG4VbmLEa41nnS/Sz2qVO+5xV7nptMkbrw61jBHarhNFOdSPjDmC7PeUJpt2
m+162Xed+Zvs+SL2QhdWkEuIy0LAALYFfQu2ZhhroaKp9ONeAWu8O8HFaQSQoYFv
74CVJwFRuATrPxaWm06OTaFycMJshqXG05c8ui2aBiekXfd9DNJrC/967XfbSUrK
jqFUgtc+EClfZXtx+KCSaVFyJKHoLBKGu82Tc4HQhsdKBv16wFpGH9tyQLs1ZTBx
evMA7/TApnlKT0/Zf2o4RRm8tIObZw4JOQM4phWnlNrtQgQTrPvaVEi5qQJEyyJ3
VwzXpgJx+oT/
=VKxA
-----END PGP SIGNATURE-----