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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.2.2-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.2
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
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 8661fe5ee4488d9739247c9605c03e431b7aa1ad 61790 mathcomp-finmap_2.2.2.orig.tar.gz
 a2e24ed03dfec81fd564b38bf7bdb0291eda03fd 9120 mathcomp-finmap_2.2.2-2.debian.tar.xz
Checksums-Sha256:
 a60819d4fee4415b9e7c49090d648a80378c5a4eeb62f06f8fdd7d96ebaf93ee 61790 mathcomp-finmap_2.2.2.orig.tar.gz
 ba53f1d54e3f8d468f9de892d8364804578a90e0a986d456a913e26faeb5cf24 9120 mathcomp-finmap_2.2.2-2.debian.tar.xz
Files:
 9220e92849171b7c8cb470c78d349ab6 61790 mathcomp-finmap_2.2.2.orig.tar.gz
 e90c0aeb69ec8e50d03166ae98e32bdf 9120 mathcomp-finmap_2.2.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTksMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSTED/9MJVswa8gxl+cJdhz5xNx1
dpubBRYPHpaQ5JaUy4ReU9nppqIOaogbApUBa/cNnlxpdyOVMlEOsvX5KQZ0tFtG
ElIWDn069aSs3ExDvb2ew7n3CedXEM2iDjVl1KU6R3vayHRyO0DsFFh+uKSsUv/X
0czh0YLexaTz+RKLQeosCcXiYH80GmFKbW/k4DYTmXwNt9S/fQRvQutwnf6ZtDm/
RES9KYNzfZ2xZbqgOBZuBkVl84f5VzQyRLAwWFDPr237NYqR1tja8GHWaDWWHlhl
76onn35vzL2AOCk//SFoJ/xJKkwyFJSxvanYCSenNn5pdhZY4/nN2b8Odzn8Pfwk
ez01R5HWH1dZwi8glhdbqVvdIRIT1fvDXk9xmsw3fkHJNjBCWCzT3cHbmsHSkYVH
V7QTyzGfpgHbZ8HWeLDH7hMGn8pJbuWr5rIOIugkH18953VbA69tuIbb2cqcg9tc
x4jbXcyaxbIxQ4FBXKpJjiQK9Q2Dq+wMTSfIPc0do4tOUXXsQhpKvUnw+t2/d8Cf
ml0L0CF6JewaV+zsEywY90Z6/Vr+XJiAA7JRfCYs6pR28JZGBX5s4KG8ICYdG0+0
CtrtVJBAxFbyiHXelOq7h338YFkI6aynS4Y/0t0xhKPwh4refYPfMzc4xQ4Xgijr
Z2b+JMdpiIM1BQf3UiLmJw==
=AU/X
-----END PGP SIGNATURE-----