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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.2-2
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
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
Checksums-Sha1:
 ac3c8e33459d320dea6d8cbb420aed201b783663 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 ca301eb5d2f5365f7e35251a18c023884c9a52f9 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz
Checksums-Sha256:
 8b22303f0949480ee4b99949c19fe9d59ecee4ec9a87b67e71eb5ca24725ebab 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 5a784bba5d1e8b9fb17a6b54f5f02de56a1b03eea77832a351778727f67c7c30 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz
Files:
 487a8149ff5615417e5b4d97745cdeb7 688595 mathcomp-analysis_0.5.2.orig.tar.gz
 070a708d7c3f897cd803cdc2e9186b57 9008 mathcomp-analysis_0.5.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLu3K4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRyJoP/Rpnl6dy3uWv6sn+fH/HylQZOD25q4no
hS2PxXkw0hGdLE0yV8/z6f9Qj3rXuUb/e3X+2mUknPoj9ogGP69KFmdcAmzvUe2p
p8xYDTiLJ+Ynhf03doroS1Td0HTiZYWQZGly4tTneNvZPjovwjCo9ZcjCVa4Nzu8
g5GqYgdQD9EfMH8TcQv7sjY9EPxd1z89fBBHjDhWuwNaQfrZknRY2+54F/otm4kZ
DZjsR2HrJJ9UyfBsjJS/6fKpZRTW3H6XT3KpsNB839VGxgx4Rzx+gGyOnEll4p15
28dO4cFgm/nDruL0a9zHovdb7IsvxWz/mKT5k+z1vdOgP+xcei1dHozZB/trTiwP
M/nbjScFDVAX7KCxDKqLcIm1GYy9XMIhj0BcbN/HlB6BQw+TLVtSYqqonc2ppXeb
99E4qWF01DZ3I61qDvVYr2TuuF25pxGerB+DwoQjxOkx1zisNL/ftX28Hw7UVJvr
VrcK0OVrMYkNVTZwKcQYzK1+IIowA7TATwQ7kJJYNZWfcDqwAO4rfZpk0Xvzw6M2
ONNoGM+ATVV3tpwVZpBvaYHWfw9cOuTSinBq4+obBNzihTOOfBmyDhv45ARiFNbl
G7nCmvDCZ9bnoD/qxsrghnsNKHSktgY7ExG9A5p3JiXnq8kBNWshBDzTRHcpDKZM
NWdFfOpQN/aw
=0m3J
-----END PGP SIGNATURE-----