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

Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.0.0-2build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/finmap
Standards-Version: 4.6.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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 44c1eee28c646e84f9d155fefae18c47292d1183 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 22e36c9c91f1f8944677a4ccee58061eaebd19a6 9076 mathcomp-finmap_2.0.0-2build3.debian.tar.xz
Checksums-Sha256:
 da2933d0b2f151031d8dbc6141c2d0aa7bdd0a683b33e6723bafb4b96f2cd6fb 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 c208d6659cb20a66747785ec8d557e2741721f7d3a90f43aaa3353a0563b7e94 9076 mathcomp-finmap_2.0.0-2build3.debian.tar.xz
Files:
 265e9d181b1f42aae7a326adc7293584 57254 mathcomp-finmap_2.0.0.orig.tar.gz
 ea72bc6fe700632c3b688f09f5f19dee 9076 mathcomp-finmap_2.0.0-2build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYAs60aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2png/7BXNpD7MIxroYKAnZb+8J
s71hLInh43HgwsQ9JYN40+c9GtAY/XOJT3y/mlBK346MUgR7HvP4osqWq8B56/+8
IJSzX3PFKp5cylpDDAbKHDDmp4pwz1WOvMchp+Uzr4XGnu4UxMLarHk3iwFQDcp7
o3VEgwvQAn8ICw51Xd1YXPRxrXiqr34OfwWk13+Z/dp7b2RG1lTBsvVJKbp+pJnY
JrWNSTNpx9d4pGqfmjBmQUVuhn3pk784bfI4KA2xVXHpJg3Il/DPN1GLClCNvoBO
UqdNi9nmmnh/vUgC7iXF8uWBoGCSAVc0o/OHeH5DxGvS8KW/w4iVbMWoYUfbnfEU
LhQqPrQpGlJ7BI2Iwz5IzgnyImlFJB9PgF706P5VHuoFh6QwKFMBioTb1/hf1eeu
cnnWn9CuA8iBf1Zt3amdezCAFAxHfjcMh/uKg5QsyW4s1xJpnu+xxY1MESrH9XWO
/sADCaBUW0+DAwC6ycvHtnpKlUMvbsjytbNGIApGuMGfXymhiZ/YG88XTG72LZYA
prW0MrP3lJ5UMrJ1Gg6lS0bX5UdU/YaAyWYnDj9dXGVuBhBOSvYwzP5Qf4ofPOMS
uvxvk9dQ8a/gqm3igywNjUOdKwR8AR0gol1rWXPBSIF6HGezVMLEf1VwGliD6GnE
KPjawiiY3d85xDoRKS8Za5w=
=98qy
-----END PGP SIGNATURE-----