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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.1.0-3build8
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.7.0
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
 f0afd16097df3c8f466e63b51b69c67a08947735 9188 mathcomp-finmap_2.1.0-3build8.debian.tar.xz
Checksums-Sha256:
 ee104afabb668cd585219109731ffaeb9c51a218c320b2638c86463cb8bd1b05 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 a5e0cc8783c7a6368cd149df5518c8ffa5cd3678460f7fab567a4a3bfe337200 9188 mathcomp-finmap_2.1.0-3build8.debian.tar.xz
Files:
 cce9e590bc1d7d1f979a9ebbf4ab0715 59519 mathcomp-finmap_2.1.0.orig.tar.gz
 9d2ab2dfabb6cccc7e2c240e4dcb5b2e 9188 mathcomp-finmap_2.1.0-3build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPCwACgkQ808JdE6f
Xdk6URAA4D1yZ2aUdXBNe1SIg1blMFea+QYrVG8LNoayGzAYx3zf8xWbs1pSkqa6
8kMFwr2l/JIOIKOBlKpUKn7mKwB+bpjPcVft834BuEdI8KHdVgY3KYV9Xe4RIqRH
rTSAmVRV8cI1p0S5aQH5HlodOOakBWsznyv9g61mPxJCLWBKYY+iYE+F+joLh1t1
Bb3DL972oSvfu/2x4kp6i0ngYo9LJ9C0UdHXDZsXzB+MZxpVM+MY1Q2y9yGYJfkV
kbU+qYKNRonmTI0cjQOPPQkv78Ng4F0Iv/EFY4S3MfVE0R5LJq8+REhJc5j7mxJy
EAnLap9PloEb9BPhQZDPmGJOL0+uMLCHo5zDIirmIsWTcniVLL7eqiRM76xUD30Q
ig2bSm+tiIEskgFnb7+1CxVC3Okk5We04qk6NHHz83Nhmj3jz08j1XJD0BejuQYU
/C36buxEidFRYlO0dGRnwVw+Vo2833qUhbZ+2fGndwV9R1KKkKVcg4F4J9Bj8Kmc
PJQQPnuj3wy9vDZQsBh3qn00XyQLDvbfh4nDeXctbbsGXdkO/39qGcsu80bsvftO
lV1kgpRIVuckMTWPruV6TJpgLmRtTCgp+fiVWQ6DTLogtwYtZLAMx8JK6f3LKv5Z
o2hLpTPCC+JcVf1ws2rFOymkqBfiuJlUOFsF6/V0jNtD4a3Fafo=
=X3zL
-----END PGP SIGNATURE-----