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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.0-5
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.1
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
 32bee548f0ffe7dddd5e9fd5b436727c9518d36c 8496 mathcomp-analysis_0.5.0-5.debian.tar.xz
Checksums-Sha256:
 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 52539f5c2146673fac23247b9dc14578c331f9e1bade33fd485199eb941f6491 8496 mathcomp-analysis_0.5.0-5.debian.tar.xz
Files:
 2e25722be680c6b80c05cd21313c2dba 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 5b3896d7e6254df50af4f12c469c244d 8496 mathcomp-analysis_0.5.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYoN0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtMIP/iIRc7s5dETvAuTcPMhyeCvpCNwmlfrb
VypgcgnD0KTLSSwVVRdlEjhcI2gy/wj3bCphxiwhkgU3kr4s8/EWACw5TFgBJbuP
A3z9EZ66/e8/jlduKQVFJ6nQc6ve2iqEx/3lZm9zFf/Mif7MHQxkQrGIkrOSetKB
A+pPhh9J+Q1c1T6imNqzknNZgeeK+Eg7HXs4ZAO5bTD4n1olrTYsJ/eKbbeXANQ1
/57bCALVVpcf+1rJYIrGYmQ6O67H1q0jpPMXt+7hwJ5wbRek5E+cbNzdkYeVZ3+D
JjU6KX25VdhSqNvPwbMvgeLId/1YD1YRjCr66A4PyHxT+iQDm4AFOhoXkuJcb9YE
HdEdMZmFkSlEuB93u2RXVjfBc8weqXQzdh8EGZId1EoEjNYM3P0WDJsbxjzmMmsV
6/mfq2UNGG30zJkgyR2xW+wA5NFNx/C/8mjRVhed7UWBWjvu/GxuyUlqX3DCEXFM
XfUdLvZoT2a8XI2fyFIom+sPM3aX7ZQtaDMm7fW+t797e6Es2c8LdYCsaUWAF0MF
ZnazoBuXBDUgCtKz/2gaREz7qL+jY0YDLimZT9Iu+QZk5qyV/xNEvPWXerPSPJV6
oE7mu+Hg+MPTfx/4UYf1qEzXNnBB9o954xWq3OlRWBNLZg/sTTiFKk98GpMFcESP
J6iK+xBkYfl/
=42tr
-----END PGP SIGNATURE-----