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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-7
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
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:
 25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 503033b8a90a8865a5b10afe0d17dd4267803bc0 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 480e55ac7a45f1c910049f75dc6e12973b627ddff401e348e6cd1c5f460cbe6b 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 d737f9870b63a87644f8b3f1db795be9 8540 mathcomp-finmap_1.5.1-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQVAP/1bNZ/PluAINdOjLf3x8WbooL7TiDBqD
PKoTEVnlCHvQNsFI31eLRGpzeo180GXzMHDlcGcwCsDJny67z7oo67UQq1EXh2Qr
H7N9xJv7onOCT9MUipPSRTVhxvSwEOibXdOIz4gjdkpS7UVk7/kTtU8s4rMdWk+z
NoCtm3UhV9Y+rasRb5njE2Jdq4bQB58T9v0u/mFVjzDFWtdrCy6faKpiVa/OjXfD
lZ0EkQmLOtyzVi1+eeGnsHW7mPZi6SoSY5WK66Ls8bVJ3/3rHmxEDLAt2GDH5a0n
Ar3FfyuEpx57NZCQwfhX3twrOLtuD7lpp4BnX4nwAbRLA4/pqLdvEb9qH/z50hC8
WFWeDE1H0E8eikfrsTVNdZebIS5mF7m39X3cqALGPIXCQedKvmDbpw/8RR4/g6HW
mpHTQMivbfd1sIx9zH7NSsU+5TCDG7h8SK3xJOQDHnSKrYe9knV3yKaj9JC3ysgD
rtVwwAl6vsAVkPbADUFnYOp8W+go9bcON8j6+JJxZkpGfg08QamgwnX4octbD3Zm
uOhlrzFDy3FkPdsRHnXuyxOlcpBm1NonP47pmlR7MUFSvF1ODYVvrA9g4pYYKwZ+
ZRk/h12E6M1V+85rRyflkzkVraeZxdEeRlXIXeRkZZItNGNX0jcNzVsssOEwD+kF
O1vULKysFm4Q
=kyKN
-----END PGP SIGNATURE-----