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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-2
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.0
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-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
 d7f317ef5848f945240d1d7754b0e82bca4b23f4 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 3dde0a9232e7811a760bd287dc6ab5dc9fd45d163ed45e12d862fe0d2a7ec0b6 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 8630b8a6139725d4519b87e4c828e075 8388 mathcomp-finmap_1.5.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7km8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu3sQAKWTKxyEJiKeNTpWvkxY7bQld+6jKQ5B
oFbcM897ZQfXtXHemPT37zojKlO7OJMb5dq7sjey5kGCRkIFSxJ36GCk/LWVqPFD
2RFcqPaDBJkGHf40OghCUTQmvUTAzS7TYIvpeaVfgJbPzhQEdiC/e8lpjeMoBS03
t8ny0D/gpXMyfb16KVmzuxTzIVkTBG+bPs7cEIbnNDEbGQ3VLxnQzwHeUxJwn+JR
qEF0t8g6piUO666c6/o5UNheDFLmyD+N9sjIgBhH2SCe6MSVnqMYWhWnHpLAyYf5
PHArAe0+mbyIP70ncK1QXKcVExd6EeounqTWXAi3yiVJxrkY+DH4C6E/ZEGDHfkd
YQIQsKHvawFawkfbDe+0nM4E1tqX3axBJ7Dirftd9LonGNtyTF3CUn1BqNhHErbH
ru4pj9upucC1TuOCx1MqbL5NH3y5YWrikv9i8kdxWfuhWbtNOvIssiB3lWcyOMm+
aOkA4ss7tnGm7AifJq7N96ILKK/OKpHN1gvGNwze40lDc0OgXqgA7ZUEKOI8faIE
Wbkq5DHffJ5e+SYkEMlRgnjEz2mOfyGH2idZ/SYaNhu3RGIFKXuVY/V5F17aTp+w
SM3hhQsB6eIprRlPAZaiQhwko/2ChRjWCewO0JWv0DyHmMzb0W4fhXv66V1QdJgr
e1EypkV9m0kW
=8JxX
-----END PGP SIGNATURE-----