-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.0-4build1
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
 ccb9dd9ee8924fa057a3a4aaf78c761be798c596 8524 mathcomp-analysis_0.5.0-4build1.debian.tar.xz
Checksums-Sha256:
 2de36fd2d25c3e1afbb9a094a822f60bd540af551003a0a439a7d180c08d2ad1 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 9803fa18de3433fdbfb2fdd8031aba109fb6d984b9224e93e326d9fa9fe1ebe1 8524 mathcomp-analysis_0.5.0-4build1.debian.tar.xz
Files:
 2e25722be680c6b80c05cd21313c2dba 661966 mathcomp-analysis_0.5.0.orig.tar.gz
 df4b83a374d87c3d1438427b40b958d7 8524 mathcomp-analysis_0.5.0-4build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXh6AACgkQ808JdE6f
XdnTXA//ZGXyBOvQteZgDY/KOnRzCPZR+OhfOhsAAxkw8Zb/nzoeR9Aqz8kx9b6c
jxSh4dFgrwKhWkTxnw43mJPChvcpQX9AH9w+Q19oDs7Zfkde2TdOaCEsGf+jWGGX
aVgephXGKo1wYGCErYOZXGuWp52pS/jcJMx854vvKwKjmAt0OxEcXalDVwrtwAYp
It/Gh6YBl5CcS+gBsPEIOlgcxhL64ACjrTFBuwCw9TzvnHE0PAZf5vxYsOvGbnB5
ds+uV761DBT2m5vPm9z3TcVS6X3nE38cAkCMKO1o4zSVJ+xh+2Y+/XZOzLQ1ClZ+
MMQc4jX09YcvU1O6TAO5g52rFPAgvZbUiGXQz1EIukPDLCR212G/ib+n3IGFr8Je
eqWaVvqtYHSlZJF8/b+MqMuQ1WkaDwV4GSzfSms5dhT0GjgHvSS8VWotCUo0AU+T
KZM2VnCE/4Y1NZHYdyN1KMWyXRFeaDN5twLKCzflp4s8MaIyTUqOOjmyc8Gsqxzt
HW3NNS5yz9LYk/rI/nIy17Pwzmup6rlKorjfXQ2xbvIP1dNZIheXUPwjzI4gBbD4
hREBGQeX5PxF9Ka8U4NvC6AycTl7ksZyAsFehTd1fzFA39J87t/IQ2CyhFN6JIDy
ADViQrOFQca/KWWDjDOk5r7pbNSlUP2kKPXj+80Gp/YIiV++eOw=
=s3xz
-----END PGP SIGNATURE-----