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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 1.5.5-8build7
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/multinomials
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-multinomials
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-multinomials deb ocaml optional arch=any
Checksums-Sha1:
 18d6cb298e6a18cfbabb16e32d184682f6b5a36b 87064 mathcomp-multinomials_1.5.5.orig.tar.gz
 75e1c4ccf483e6b3a6ebafc57a9c6069dae54c13 8900 mathcomp-multinomials_1.5.5-8build7.debian.tar.xz
Checksums-Sha256:
 a80bf99229244c8f19fa6894ad38bd98b4556f02ce9b4c667c3820edd0d558c7 87064 mathcomp-multinomials_1.5.5.orig.tar.gz
 7177b8196fdda970254ec76c3708de0cc00ab1140716a2f7d0ee08d480b25c76 8900 mathcomp-multinomials_1.5.5-8build7.debian.tar.xz
Files:
 9c11553913e0f309b807c11035e97f28 87064 mathcomp-multinomials_1.5.5.orig.tar.gz
 ca2a835895e18d44c23f27cc0e0be1dd 8900 mathcomp-multinomials_1.5.5-8build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudrAACgkQ808JdE6f
XdngDxAAhpzKkYVeQwd01fMnF8BQqPc6dwwIAQX5mQ/owMBZXD5x31qZ6rEB5G9W
BX5AWj+HkOmRf1fjawMESZxn62hOGs/TmKRSpoZocipwXTSzpA2VGCTv3niHo8PS
QZKRB6y8Ptk7NRRwc7hQbG7x//wTCxr19zC5CvayjCIgIMwysecEJRzhgNdcWl7h
wSnVSY1s3svfMVd5vhF+bwXoFAf3fRy1QOjN9sD2OgLViPj9euQBblM3L2UoKgQZ
LXX9N4bXXtYFhtfFfFSJZr1ab47Pm9BcLav17xxPJBx0yDpkS/xEaDj+ByOj1seF
S58kUvGCFoiQmwgTyIWQblnDWphei/hS3xAtpKzyfObGaR+iW+WFpUYnNfut4FTl
rv9OOvM3JejRZeuxru1JZISbhd15QuD/dzLD1Fh4WIRGrwO38yRlVuwsv+P49fwz
l6hO1noU1xPs9/BGO6rVNGi0kiJ1XBI79sNI6XQWZFEFBxQaS/V0ZZz3hvWrtqtu
QO3q2dnNhdzzIkRPxXTTN0QGHJLV0cdh9RVxVK5wQJpq7m9WjvJ/nDsqWLZfDZDT
swy4rP9BAr8tBj3eskeWW9ST8UYkQDoiGWOCQgYlrbSEKI8ZZaW+vJmvQ1T4oepB
t/qDWn6L3zgAr01zqA+YB7P0vxnsTZeeSQGm4sjyiKaHQZWunxY=
=+k81
-----END PGP SIGNATURE-----