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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-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.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
 d2d16cd4cf3273f31275915d74ed2e8b29b94e5b 8708 mathcomp-finmap_1.5.2-2.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 36080a8cb8d00d6a2aa44aa972b515e73b3933191d67d916776d1166520828e6 8708 mathcomp-finmap_1.5.2-2.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 e1963c456d5cc23c388a197021dba1b3 8708 mathcomp-finmap_1.5.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxPISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR40sP/3hezkTHVFdy2CJ1nA+J1R0vYpAkpRH8
mLtfP2yZFjWKdH7dr1vNxIuGnmA5S2apMOVpG2IwHB3puUCPZh+4Dgis+hnMB1dN
5/cDSDklw6VFUXFG3k3YZG7XOu5rTCwBtkzKMMB3sq0ROOFONDZSBu4efTlc8CFX
7nIHbRo1z7AkKqjLVoOpcusb4eSfjV3UrIA9SMuDTEp2NEJPz0rAO5XIrV3T13lP
P3XkDRdoXFeP0UZ9dEL19/QjbEhzD2pkK2d6KF3Uy3RBC3EXic/uGQvFBA/W03Kx
duGWQJ5w7Csd0hQ1TB/w8WN3OLLvzb1ICuAAqbE9wzn4924NZ5YmcVhoWea7ZzUm
D8guekRAeHnVehSoWN8grOK5WGU24mJLilAn1sLVNc2vr6pGG786O3ZQi2LNP7zk
kdtUAd54zNIOjx/5uslrq5Fm0lPPr4hZIwAiG4yTJ+KjcUkJivYY5T8Os8kIUYRj
RK0Eik4hAIJrfidx7bZrC5MltAykvwDSs9u9uhAZlfhVv3z7WXJKO8i7Io4nOiN/
s1THtZESUfdbTnVOIJtPtGWfct47k89qp8p9tneRlvTqaY/4zSLFedAGYINo3klF
mo7TrHY8ov7ym3znGR7FyM9B9PmLBxUW2szez7SrQxOBu4bKlzCJ1DfQ4NDRkBR4
TbGeOinP5IAl
=VJx9
-----END PGP SIGNATURE-----