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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-1build3
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.1
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
 59a0e114ab181ccdfd5753b3f1a993bf4ce85330 8796 mathcomp-finmap_1.5.2-1build3.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 a1cb19e7d2c500de4270a2c9b74690f4326332ebd498e907be7b4f2ce320b288 8796 mathcomp-finmap_1.5.2-1build3.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 69871bdeb14a9989b01fedf36590d0db 8796 mathcomp-finmap_1.5.2-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSPowACgkQ808JdE6f
XdkhrQ//Vf3N4iDWgg8PstlMAzpukmVwotSxVHxYzOOaFU/0RPuMuuzDJ8pqZZdV
MlycZVYfqSOPvOfdRIiyRX7EJdxLCigoGLmkD+qLIc8VH9CYnJNTL6tOLzegUX4Y
ou3mjKtV5tpz7tv0JbCtFUqvVyOVKA7MGLZf4AIuRCEfgOtX+CusOL/KdphcDprh
W259XB1CCqjNhjXFrrKaVEdj1hhKYu3q7p6seoytcX4wBwngSuARktDk0EXZeBdh
FoswYlMnoD7jNcR9vT0uyyChfWbZuamkra4HVDLEGhSt+wX7V2EsPL7mq8mZApUi
H5hSfSBz54ISdUZ8yaDQAg0aCFXLGqan2SBaAONNLbk9LP2qyNcAatt8qqmbQGjP
ae28fYG/tIUFrHAgphzh+bJ7+g9gVU8tTXR6XOltcfheQHiFWgr6JqipxLBFWSRF
5y0aI0J8130aq4LOqsJWxpnsFM8Pu4mYnBzvdKLGz9r6J4a9BRnhMwg6Ty7oLEKb
HDcDxSYbBtuQ7iow0YnkreH+gppVdFWKq83vW9EyA+WcD5X73CnN/7VfUmz84g/t
7ykUcQj/VciQUC6UdtHqKFTc3CN1CMYvMTcSrzZt2p8/ZVh55n0q1ym140DilcSo
6Mb3NS6KCZ+4aMfizGwZMImf/gULRNPMNTBunXDWW4zbNDwrj1I=
=Lbeu
-----END PGP SIGNATURE-----