-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 1.5.2-1build1
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:
 f8254751e1f9d4adbaf5e726b6dbf2edb03893c4 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 a1a07c9924f673bfc9139302bc4673283fdb5822 8752 mathcomp-finmap_1.5.2-1build1.debian.tar.xz
Checksums-Sha256:
 d0a7639425645d770e513b63b9dfb6b7eee11eb01548427c40e3df7112264667 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 47c430073ac5d161cee8b7c4fca3bec3a5813096a3638aa77bb9d0212d8e84fd 8752 mathcomp-finmap_1.5.2-1build1.debian.tar.xz
Files:
 4ebf8456ed4090e8cdffdbd8e2400def 64753 mathcomp-finmap_1.5.2.orig.tar.gz
 698fa59befdfb5b42278f86964f9f92e 8752 mathcomp-finmap_1.5.2-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe+IACgkQ808JdE6f
Xdn0LQ//aKxifnpy9IVzuhVi9uBeHpklmCHQTeXLssYrPyRXiodZvWk0Q3aahooD
xCZ1VOf1cXjzRPGiBV34ZTne7aYwne68eSq6bmMUXhmHaqDU/gUnggtjNDRA6M2L
hhjzfPXbeobokBc3DRAwgV9i+8CqLOjP6acNIXPOqB4/E8VM0GQBmjcJ8a6CrRVH
g7sSQ8rGC/T08U/I6kur/mWH8fLlpevvIK7sAsdRBeYcX4YZnQIIKjEpoPLyAIjq
Ng+kMSyEWLS3x+EdrLkWbCW9/7eBYHOOgla5LBtAnWtywrwmGeD3S6ra8Fb8TOrM
mrhUx1Ag9WZNOMvt/2MbMdLCr1RMcBAMCz5TEZOjmtOc4Laq1roHx7RAXffYSE6h
29NMwg8mf6PBVXWAoS+FspD16fCj9K9IW0htFSoPARCs8lUJC/Cf+Rivki4KQkWB
u4GOlWyOTmSNu5HXtBBHnk1AuMQDyNuR1hAw8nrQfLfudG/gnGhin5R0c19DF684
cjPRtJ+YNDnv49dfu+srOIc53mWMA2jX2aWxyOR3WD8GbNq1dfqxsAyigs+CLK9c
EitnCEEvLUu6j+/r0wUkDcNfD8X29ucMMx+3mCCCHuXG2qaZEgQv50QOSqVNsEfK
O1DVlzaP0sMeRmpL94Tjij5385i2CDV7i5WnVwzZUF4D7cKzSaE=
=l8+D
-----END PGP SIGNATURE-----