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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.1.0-2build7
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:
 e37ece54ee8bbb7d2d32268364bd2a9e712afdc5 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 4937fb82f19c1cefaaf537b8ee99b19bc0b7e4ab 9120 mathcomp-finmap_2.1.0-2build7.debian.tar.xz
Checksums-Sha256:
 ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 d3170ef493983bf05de08e903e5b1d79d3a001000aec49c5055faa6c856969d3 9120 mathcomp-finmap_2.1.0-2build7.debian.tar.xz
Files:
 cce9e590bc1d7d1f979a9ebbf4ab0715 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 b0d9968e875b7241935bef877834aba5 9120 mathcomp-finmap_2.1.0-2build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppJkACgkQ808JdE6f
Xdmz/BAAiKDJdSWtmRTWZ3I4/+PdLxPMfgwHV5scmkcQgSiBRqRP9XNtq3Luqhbs
3UdpeRZ6rf772oYlm9B3kft5fGHwTp1UmnnPQnP8pVUqC7yOXNWJarYGehESyE2a
Bal+65oOfzKOcuhFn5EzFJIQ+62/YuFz1VZVGrQJRU2i9qY7BAcpCaDIENgKjW7W
B4yOeq6wszA9jLWWyxXx1n2eBECJhVwFJ5yi7Ti1Jr29r9xtpHE1vfWzJRoSBkBR
W80nG0ejFeRoQZFpL3YeaRsRwg5xaqcTOQYGsJoyLG4vm165eDYDPW3U/hndOc7d
W3VKTSxi6J+NiFkW9eDCbIVkf0ipcIbpl1e5YgPH4Z3gonp+EmYnzrnIgDO5qSSP
MecAHgpUY3D7TVsA+Ny5SOVclWRthc7Tp1oFy7mEe4wOQ+cDAMaKxuvokiX68J43
W+L/tQDFk/5CDwvY0IutcNFIEuaC9dORHmW1yLn0YkK3f2nwyJVqTU+eUDmvDs1z
V59aEtQyIzIgJNEEzYcFMmYRXLI9Vi0ROaqUlSiuXgjONEgpci5NWWLukbbOGZR3
YpL4b3zFD11udnr5tm9tit3TA90TGkGpYvrA1JpK/FU2JtUAEOzjqZtkqKDs7wFT
WnP5M5oEosNtMxZsHyHfYkYTl9PQAfJ/6P4DOhTVyRYeHR1MwG0=
=0Vwo
-----END PGP SIGNATURE-----