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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-1build6
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
 4d16c22a533196202fa0e3a215125d7244a0500c 8828 mathcomp-finmap_1.5.2-1build6.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 2a6f6f1bd669c45770636ec287785db880793f4b2ba4cd05e544ad3ef6b999a5 8828 mathcomp-finmap_1.5.2-1build6.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 e00feb5e3334f08d2e7e3b884b7cc7cc 8828 mathcomp-finmap_1.5.2-1build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILDwACgkQ808JdE6f
XdkoeA/+KL4Er9FMZOxZ+okZbpmqS9TnrkW2jZgQsL2y58sReg09Bgjznu9ls452
ftJGbhw1FKf7JBeGSjCHW6uxkyuwLzDbK2KblUAYKNaQpHSg4ALv9WWxbxlk3CIY
6Lf/ZT3FAOn+ohnqp7uXeyCnkLZxvE5Qoru/n75Ahr8MgoEVKA+cYuy2EQ0vTRC9
YQ94Xy/9peYCsSYkxy4FhmdhJfy6KMn0VQBSUElHgjvMfrB7wQt4chGMwccznZlx
6o6Y6wk0bDnpWeN5QzfkEtXpXGBoXFoyCswbcm65BfPaoPt+hqKNMiWjdYxRBdzq
b6jMAcLSP8TBKIOFJ3NRLDwVLCDz1RfdHVFFK+ECOLD7vm5Gic7LXvGjTi0hu15L
Cby52jVxLaF6HQ8ZT3grxx8UrnsrYc7KEotr7Mpa8I2luoIeqKcOguSs94oweaI0
AiQceHb/J1i6qiHqjlOyQB3RTkIExGgGigHW+aQ6Sy2XnRfaktQNRu8kLe7Nbo3V
jwnIZFwcRCpmOTF7vBUHqOId9NqpZ09W9alc6Gx9tUdPOSEFet29YF+lvgjdqQnT
g3i+obsNRrMPCGEgSjfjoD12bpVhUpPdA8gvIU+feGES63QnIGOkSNLVS4O1bIUE
8XwP1SrWEOyXlC8zkgKrD2Dwcl7dtvPjD+bbQ21uZOKZjAw/gp8=
=BWC3
-----END PGP SIGNATURE-----