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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.4.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:
 62a0d1c264c5fcb96da647a1d644bdf7cc79371d 659093 mathcomp-analysis_0.4.0.orig.tar.gz
 328e492511f6414e24d32933668dbac2a385066b 8308 mathcomp-analysis_0.4.0-1.debian.tar.xz
Checksums-Sha256:
 b761bd66f98efe59cb51402c0328226a5e997b6dd6320787f1538e8a990c1181 659093 mathcomp-analysis_0.4.0.orig.tar.gz
 3e14a2b6b4e4547dda6ac5238b5ce862b3e5a9f247d0d8e4da3045418478efdf 8308 mathcomp-analysis_0.4.0-1.debian.tar.xz
Files:
 bdd4d9568445396653d290c105924979 659093 mathcomp-analysis_0.4.0.orig.tar.gz
 521a7f3cf7c884d91874a411bec90014 8308 mathcomp-analysis_0.4.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmInzn0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcH4P/2hkBOCAOkxJmaawUZLmEewH3A50XCLw
iHD4ss9CTRmnTvEtXoH3LywclJuhLc0malwKwofQI2MBQYUIqxHIXdiSszO8yXT2
x/68HPHlzOmLixVs7ok42XHhHt0fiG9tR7eQ2OxOdNujjzmbVJ728Qk2CGceyRt9
M0S5dReeA46tshml2CRvLy6SQzPM4dUAMdsBRfG88Zoai0UrTBcV8Fu9qhVBGSdC
k9tzn3eWb+HJiQCFUAXWX0gVPLR+vpQguAtJ6k22FIXjJeU/68MIHaaJ07KIpHpw
e14gXRuNB4uyy33E1HGWzMTH2tE5NzOuJjEGNocKdsr2iQ5LBaGseRA5Zltfk04D
G0syaWtD2yl/k1JwhJuirBZr6LbGx9aZVmcl2BlRRsQtgruKGkGw+IJJxQ1zXDu/
QDiwr5cqryMUQ9oTpHd7wlle0/FpiCz7dk6/oX95E++rBrkIf6NmYuHlixYu8dvi
ahx1IZ9eWHQot7xg8NVNtxpZyu50TL5GZ98ERq/QUuDq08X+pXMDxHvX2GMO0aD9
wlK91jenvIQeNpRBq55kxUOCjp0Blv6GKQWy/q5QBoQnviJ9O3pJOPhKn4vYxqM9
HLByr5XLriTRPh40JJrdPJA5yq6Hb6L5amAMf2wGj3u4E4drnKgwKOnE6LvjJaFz
Ejdy0VuuqprX
=/ar+
-----END PGP SIGNATURE-----