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

Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis
Architecture: any
Version: 0.5.1-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.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:
 3dea319499b025437a9723208c390587eb97f1bd 674130 mathcomp-analysis_0.5.1.orig.tar.gz
 663032ea60321fa90921dfc19fee9c31f3d63aea 8500 mathcomp-analysis_0.5.1-1.debian.tar.xz
Checksums-Sha256:
 30060f38702f25c21db14b465f5354bd178c9783a40a58564eef04436778bd80 674130 mathcomp-analysis_0.5.1.orig.tar.gz
 2dbeeb11e22eb9143bfbad1395bffb1acf2fd7e843349113fed5c39812eb4772 8500 mathcomp-analysis_0.5.1-1.debian.tar.xz
Files:
 a77cc112453cb7786c1c50190cfee704 674130 mathcomp-analysis_0.5.1.orig.tar.gz
 57d21ca5cb10e1e11c9366e364981dfd 8500 mathcomp-analysis_0.5.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKfHgwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRa6gQAKcM7qafOJqkkWt/Zm+FzfkiyBQDcF0P
7CbgnHwTZg6YQycE725I2giCezQN/UgnJRe6gj9DivPu0uVapuIWktlTbEmV3vGM
JW1rFBEn3gSl/L7S+EsUW9lLrkZIfRam+ewVbps4H5UycoV44rTnHjcTTFfWdYBH
vx4qOsoV7uzrGY9y8IZ8I2q8TEgD+fe7O48pOgW+6h9WiCjK8zzT0cqoR9lX3yKN
chH2xm3KDiVGBOQyjnceYeYL500t+r1mNtpoaox2EEm4OWeH8lhQZQK1CSK0Bu8T
wSH8m8WQS3S0kBaWlFenuc6O9oi1QO6kEfvK8Z8KqtzdlxT9EBXOQ7o2bHfAsLYt
L983vp18Eub6z/8DSEzGQE0vanewum/KW/b6SW1bSg+IIWE0qgPuVeKu1PRK0Vpf
tAdkR04AN8ThA2HTM02SM2wV8U8Nh7OgshDX3Hdn9ByWmtkIvplYoni6QUE+XEGX
5lFSahyD1a3ubGsq6L6aQeHtGZsFIqmAhKlJXJhM5aPhlqpexj6oA3USgZT7cgR6
A91tWN5SuWTEYHTYM0hbLV7p8aR7dTHEkF6NXYTbnpwF6ptLbqB3PdN1J5Azofon
cZ5zHBH8YnrBJpOaKyr23UcG+qmMD9ki4znzz49agzRl9HX3Ks8FfjTmq7ncfNgS
K1yMPkg+KKHe
=nhh1
-----END PGP SIGNATURE-----