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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-2build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/finmap
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-finmap
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 f8254751e1f9d4adbaf5e726b6dbf2edb03893c4 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 6da14dfb630e4a5a97d0a29ebd5d04eda149469b 8776 mathcomp-finmap_1.5.2-2build1.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 3c1f2d317a33f308935bfa0b2560c27139e0cb24bbe865bc3ab62e4704e83217 8776 mathcomp-finmap_1.5.2-2build1.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 de910146b36bef0db952f8f3674f7bb9 8776 mathcomp-finmap_1.5.2-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r6sACgkQ808JdE6f
XdlAdg//ShsNTsitQbc95H0oyXQjeuz04muVKczuyQkkX8vqDZNK3yI/dxla9xyu
uBJMETq+UtEJJM2ADk7Tgz3nDze/X1Rnsng5pewrJN4HlVBW9evUC1GKM/JpGmjb
hAMqfBhJVPMUvuU2gC6zZ9lpPWKZUXWDShPZUaCxAGgOuT8+lHa+QR3KB1dzX1+o
/vgN5yjx/6V9/BSgvNqpaUUiSahCmJLtMJA4Wb4QVIb5lwaejNslu7gvAJMMCXK6
cugMuAbJt4bQYY3Rr6h3mK3RvayGINkQA6NU4zfm3Zcekjm8NNPPQgC5rERFDQnH
eUEd12KpuB+yo2Sweax7R7DiOtiGOPHMSVlBmTDCbM+jr/Ewf1gEVjepctSRReKs
vZFQk6VoQGPh0zB4zDnhYbJlX/KXZDPqEWPhv9157KwURP9+mOSIoG8invj19cYD
RvuzvRpEzsTyLiiefcbTFy58DdgB7kkHBTJAcfnnYauTGWqTLnDRrChvLv31VDRz
3xQ0m+SN+8w/WDGaEpjz7EXg0JFgzOzAfcV7kob8be/CQbUujbXJwGl9oOyuixkK
kazVl/izETJHwjRKC6pFIWZnXeQD0SgFepebVeBrPeBn5rgoejHK1jIZ46sFeH7Z
NjkOfQNd5im9Nnb7QzHgjjjunGFDde2EXZryEfZTO46E7yVDvN0=
=eMvh
-----END PGP SIGNATURE-----