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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-5build1
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
 af7f81734e030cb4858dfd1c6e802538b1ab98c9 8608 mathcomp-finmap_1.5.1-5build1.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 70c5b2d33994fba5c9bceb6430556537c6a9fa91b157b66d4f49b1a005b770dd 8608 mathcomp-finmap_1.5.1-5build1.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 20bb62648a8ca3709d58a52cf4cee14e 8608 mathcomp-finmap_1.5.1-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXh0IACgkQ808JdE6f
Xdkwtw//TYF6JhRYBXg5aQykIWHevnS8EtQ1PrtSa+yyo9Hbx52gHFsZSJ0Chzvz
0mkuR2EimuhyqUlTF/JmF/9aqKInohwwCznjwx0AmT21d1BGR+A3q8sdC2BlooNP
THSsgtgK54RFdqaFjb9JMBZNMPT701uSKdE3pYC8FmmOcyQwE13J9FRttDoefWeK
CPF8Ae5VCKal8RDy3a1KVHd+VyreG9t7V2n8Ivgh7oxOAgt9DShGPKZYe+ag8FLS
uDClYT7mRQfv4JMtV7cKFK29v0sIbMC+VxSP3+qHmrINLwbMXUzYAcE/5lGPuVj1
WBm51EcHrjAnQvCc9HsMP9/jyOy1xBEavDhEZDgeb+i5BbEQGuj6ZYWyfaTThDBT
+XSJzde9DVNH2WSA3eKVaOej7tdYE0OY7LWlrZThrbsEclMBwWnfXg0PC7hutoFu
35g4BWtDIcUuIHFUwqZxbEfgNbmz5dnTIoUBATpr5m+k856hJn4mvMr9wX8xzsid
IGwfuSCv5xeJVTPUPthofo7RCpcY1MxoVl8keyxCZoLqp37FBGN7XvZU7R6tyeNJ
BxubmJUqhtENkf0s1ZUpvoabpj7ZNRfB+5LUT9phHT1I84Cy5iRtfWgMBTXe54SH
HLMBRxxC9l1j9R0xIsVPILVYlgD5CwxbGjtth8Qk3OSOZ7RZy4o=
=KcnP
-----END PGP SIGNATURE-----