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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-2build1
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.2
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:
 011476804b08b0380b0b47608f480d8c4bcb6a8d 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 53e52173c0afcb68f5397004815da6efab1c4e36 8960 mathcomp-multinomials_2.2.0-2build1.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 9bd4412ae8156d0afa315652f81d5dd644aedcd9677b4be0303216b2a87f8bac 8960 mathcomp-multinomials_2.2.0-2build1.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 754d27a20d8a618fddbdda9307d4afb4 8960 mathcomp-multinomials_2.2.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWtMACgkQ808JdE6f
XdklsBAArKKnIAlMftkWyY2YjvbpCDkIMXk3MuA4jRID10CjLgR7FqWav63IxIkq
fGKKi0J1ro17myivOgfeolWke0oa68VcC+9+dxEytTb33B6Vnr0yTMRVm/q3/Onr
g2rbyz3H+elp8qfvHk8eBGbEKz50W9eVTurRiZIzrPPqOBtLenVCuX9wobGTG/5U
OZMAbik0KtJ5XUTu8vcgmE8fysuMaINOyjDRbPA6+bJabOjZpa4NBIkWrjkI1Nuh
xkBK2Nbfp0aD1JXQPu3CFYpui2kIC1OybwJhLN/b8rrSPzNUjcCTB9YV0jnlbkej
wY1SVn+Bj5oYd8VT2wrU/TyrSp5HzQzfJNMh/q68mYgFmx3uCM3sdSthD19EGZ9V
D3UCZGIcuJv1/6kGJVkN2/oGE4ZcKeLnWWglwhHMrgUsTFqJG7HsVGsNL5TV7//j
FxDBQRe6v0T7ae35pkAw4cxtXiQVo0LJzG5VeIzGj8ZdqsvljRN78smrbDGmOiIN
8ap67aKbBcHDZvkEN7RvqZKPwQrce6DU/D0iVA5IVzZH26w4j3f4GFHPQHdjhkN6
7H54p64YzEBhQXsSfHEBYH6SiU0jHhV+C49WatMFcZnbl/eqZR9jJ4LCUt+iPYzs
wXVpaSNUaSLpIUm3hlSeTAeWzwIEY+As0rAlOm1PwcA798vptms=
=iuFL
-----END PGP SIGNATURE-----