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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.2.4-2
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 496cade267bce0a1333ad195993aaf64d12861a7 9420 mathcomp-finmap_2.2.4-2.debian.tar.xz
Checksums-Sha256:
 cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 19956d0788fb436bcdceb479a62d6a42f65892b8a372b3eec8747db6d1a4882b 9420 mathcomp-finmap_2.2.4-2.debian.tar.xz
Files:
 eefa8908cc80618e248cf79886116145 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 c3aa8f4159142594decf6f260333bed5 9420 mathcomp-finmap_2.2.4-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppn6wZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQEWD/9I1huZ6yZ0cK+X5ZiCi6sp
GfOBQlF9UcAWicj+XxZxGFsqzdzNYFFBzygiQ+itMsDE/AcjRRb4GO9c62fdAo/t
2DrqTLh+Kynk6/B3/gpsNq+r1jxgfnHiw+1U6vua87ZMhjck9FBlxlt5UyvamiOP
sQ+wYDJactZwkD3HWrD/8pP9lKJ4CrAXeLxmucXdine/cpKlxz7ouofPlsnfxgv+
m3QiopSxbrgCjq2U1FVJP72TT18EZIQnXqReKySJ2YXi+eYemwg2MQU4Y5H9tiWK
wQLvurfPuaGA1zWSx08nSp7cNBNWNPFeZhuMC3hZ6EalkEJWGljA2xWTknq/9F/v
fVYKtD87qhNnbFIP+m2MyKU5VbD/yT+bwq96qA6UlF0lbp4l/JDfEbsd9SrQTB6c
Be3JdZor8Pm4SefFESUK6Vcw3kUHEGsbVgkKOE3gX0iESI5WWadryGWUhXhZ5xGN
w985yL5W52diYn+pVjipLiJXCm1RCPXnRnNfT3FDuoyEFOE5d79owuayXXBkc1pj
wXku0pgXQEwClLh6CeTe0eg8FtHRMkViIO7bzcUDL1bzeQd3cLNuKkgcTt4cPRVL
2mDNCG320QbDGMRJfN/t9q59UBckVsq5emELukObwP1OBmEmC1eenXzNtrgyRyFN
kv4p9OEto4Ql1R9VQnGjEA==
=6mH4
-----END PGP SIGNATURE-----