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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.2.4-3
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
 644096c172e42494ff46a7ade06f09141cd61242 9452 mathcomp-finmap_2.2.4-3.debian.tar.xz
Checksums-Sha256:
 cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 0c52f4f878bbd84a9998a6b84d977d95fb74d49adf49eabb00b9322c5c04e968 9452 mathcomp-finmap_2.2.4-3.debian.tar.xz
Files:
 eefa8908cc80618e248cf79886116145 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 a0ab55ef05b2e394bc08a39273a4828f 9452 mathcomp-finmap_2.2.4-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8HS4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS0rD/9nROyFkTrLPu2ah4MPB2hw
0dxsSbJpLgm08zPOtLuTtvn6KU9Fd2NVcmTkUvECrrn/06CiBnhdlzIwfMaIvKtq
opWm1s9b8UKhPCZcANP0X+j6gnA9fU/9xjnonQpj7KudFvoRgafMen6OorL5nKNX
BQIVA5pQNT9tJ7F0HgAhnGjWIq2xcdX+1W2e/019joCKANKvr13WK4Mupy6DrT8F
86KHhZee0MlRc/MqWy1c+7QRtfqZCm2vXERXqjj0ZjB8lkUavIuXwbQ745BSV31A
iQjWNvg8tI5yXe/uV8/HTC+uHLAFO4Dh6kmxdQDWcd6gJ4PNZDOdUNyVhc7vd6wn
TKvfkbi1PSIthUOV/HobIKXvjsLb+k/WcKLyI98TyK78BHDdmSNspxpz6FgnGGLE
USV8491F8l4Ut8pBicF5EKTlZ+F1X+Hxss8XFWFargE1TcxKMYUrzyHaELd+AKtf
FUM8HG1GKAHJ+G4leZCKBsi/qPEzIzGVNPJgspQTiNBxM+zDPMY0wo6RLhOkYRJJ
Ba58ffrgWg1cBc13izM4m5aiSNJuVm2b3jZfYbwxz8S975p7WutkDy9HUrVqmNTK
w+5A/8oj2JoBcdU+G3JNsxnCPyHi5fBG0dqtoR7m0j0TDw0Yb464QVG+ojXj6kWj
grUwP0ayKqRo9o0RVpjsTg==
=58VP
-----END PGP SIGNATURE-----