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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.1-9
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:
 25c2a40ed57d5dda6ee54833c482f868f099a1b7 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 378cbdb0646e903b4897f8422a761dfbf7dbf882 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz
Checksums-Sha256:
 beae8e94b7a092fdb47f715384ad47716841a5e5925390426c7bfa3223f3b39d 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 24134df53b8c656c805effdb0e08f0d83471488f495b87e515ee1fc0122d8887 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz
Files:
 65b16ece6ba65b44e24d55b33d50803e 63804 mathcomp-finmap_1.5.1.orig.tar.gz
 8973b068fadd01fd1f09d63cec5d950b 9256 mathcomp-finmap_1.5.1-9.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLEUDgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRACYQAJbMQZIlsn/Po0BdCTGE08yUK5pMz5zM
j4CFNXPLy3GyMU7vaYZSPF06POFK6AlnyJjgeMvACPe1bePPJpOgFAlToXoEEt2K
BdYUuX86vvUYdWToZjHf8kJ0qcH+Qr6mk+01zIlDYiBEAhfotgIi7Ju7EbqShnJG
Q4ZvsKSyIzJA+BSnu6AM9gIHRDqgXDfzMQXgm8rSOKOO76x4LwLjyYxneSSpdQ5l
gwYG83dn7VyW9mtv5+NChpznLnLGOoG4Aqk76sHQ7AtwxhLezkMnpIYiJGpzQMC3
a+oqvXz8WTPCzmGjzmqgDvzFGYTNqkgZtXqBVMhmBffJc+/ql26m3XTYQn1TFmMy
Cyqo2wy/TSRGuqhF4pr9M/XDz/ccoQhszDjr95m779RVEUyL42vvvS7TnlRnPMJC
+C1GI+6jfrAm4ABtiUxLviEDQtqxS64YgC+H+MM7CbXynpM7qSjMl/pNayWzuHLs
MYmMizMW6Mza6jB9tXlyhQLynoOLqolAMRf9z9pIcbuqx+TGe+Oxc4qbQmIcp4pC
+EowZu9z+Or29CXz2arLUvIdUdnDTZ4vWfjhzaNSD7ywdlJfrUg0734QtLszSmZQ
VSmytgr7LBLCZ66TpbOMBqJbi8ExM1DTM8Z+81Vv6peXxbop3QE2WTRCJ1CQXvHi
mHLhIHHbKczq
=8uI7
-----END PGP SIGNATURE-----