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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-1
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
 7157c125522d90983e986af44a9d647079eb3cb9 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 910584e72db012ff937589c6ed1fd21a3cf4a413bc909af453a38fd2b64de0c1 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 9fecb322b866c32bda8348f95b3ace54 8344 mathcomp-finmap_1.5.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIDaVQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRWogP/jlc7bTv+slbTKJdVpLkqrVFtjEGoT2q
WaBBtHwHKZYlj19NxpDyF6/GTzPkV0vkUPrUN6hwG/RLyI1O+KBri4v7gp/biH4v
reLUgUBS4KwXjuaRrBy2xuRGv3pXT3nlw/TfFVUKd0L/pF7o/Moo5kb80h1Oeson
QtiCeWz2nuUOi7st9xpVxecpZ+6MqLailRDlsCxYETEyHMQiwY9ZOUNifqi36nV5
YKWTEbSiWu3wsyWWY6jcY4Z/OMj8D+7o+gAtnxxo2saECiOsPRPV5ptfw9FI1rc/
1Q2SFbFjq7y0dZbEzgaxvUr6K3RDo4xs6mvZ+EXyn1bArDGeS/DH9DwfkfROqFT3
/qwOdXkHqVNj6rKDTpBArFEpMeRbTCYs52kfi2AwxlwLMBp289Cic+RJkNkUQcLA
gGeHbM4qDYWRW8J1qrYkaylqtajKKXsjlncdPCbxFX+7pJ6b5rW3Vp/X1F++lC8/
ukfYx7ANQ1CrIB0ofeW/7eRAbViBFqDliowJQinlfVn2D9/mesU5M4I/x6PxALgK
MOIrqSRcqZYpu9Itd8l/tiU1lkKsoCtt4NGqZPAW7e/5tVuobzx1vyoXPVR9QDzO
QdPUGqbD++akJMl/lZMmicQnFjsbA2useGqS1y8EttJbx05+eQDqn5NuK5hE/iqt
2DsmJpo+WAYL
=yFU7
-----END PGP SIGNATURE-----