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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-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.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
 f2db50f8e8611422d36babc2e1b7064b0daeae15 8684 mathcomp-finmap_1.5.2-1.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 e014a3338c7b61c53887d5b5b423e06b72b55cb48f293dda579988db8ce35c86 8684 mathcomp-finmap_1.5.2-1.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 f182319e28871335f1f737ed10a66b94 8684 mathcomp-finmap_1.5.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLyveUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFiYP/R/lqtEh3FNs8ccbgYqnZGc/UkCrBF80
Xsr5RQ+DrdzZyaPmJRv9vv9vDGFPFSwuyis2aM8fH3hThopGzru8kpsfOYOtSzFV
q15b6q75XBLod1SRJKxWiIErSt9Araul1nszookFyeHzBmSZLMeUONL0TH72Zvir
F3GiBpJCb0MeBlGBF1EJ/CkS1eUnsS+uE53LhE7e2PxFqQXNLnzwFNcd/hWSkics
es1M5Wixco/SoYhIRWJhhhcpqyKjfIpQZ7IpXoq37eaGhFhjOPku5T0aTyJDqICq
Um+xta6IIY6Rhcp5QNTbHxOy1alAIpJwNo0ibl7XHGjoTeAWgVeuqMh0VG7/mwGU
nOb/Zl6N/G3Hmh8diaT5u4P+TTPfSgTkS7MhMqnNshdkzPWFw5drK2J/PtkUeiti
M57EE4bG4EWFaahx4SnloX/MzKwBtX/foSPd5s7C5x46biao6LGx4Gq6Z5O43vNP
XwfZZyeRLzI31MzUFu77hh3qH6Vr9uCWlU2M1rUFVAXwrbhoIVD2o8iTjL4c7Kkc
/ATbtolzmAAfx1PGyA0zVoSGAkm12BUyRBWd90ZJAQUjlzCud43B0qg5fETwoJGe
dUqrDJR1eWtuIKTyAbOFWbQ7D5rblyol7426IWe405Ko8O3gif527MT+IhDfC7UD
R9Sd4cBk6ZYg
=ZzAD
-----END PGP SIGNATURE-----