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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-2build2
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
 3bab4d4252f168dbc46cabbda7f6ad092f127120 8976 mathcomp-multinomials_2.2.0-2build2.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 e341017b1701a20931527fa463c4d88655b4366eefc7dcbffd533942372e4a63 8976 mathcomp-multinomials_2.2.0-2build2.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 0b30c934c2d7e556fcdfbedee4d170f8 8976 mathcomp-multinomials_2.2.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeNIACgkQ808JdE6f
XdleMhAArl5qSTpku6y5drSfd5rpkniWf2QwBvRnDoa5DzZ206M1WUCH/WBLKlNS
5oaipjT/HpAuPkL+UfJqPVx67ymDL/T7EXmT+IBlfnTwkRB0QMfJlfhbFahEhRsj
LUxRCsWbzl0ySv7S1XwajUMJ4esPxgvG/OngLMtRSGJk5PssholF3h0250VQvGeV
hQlymp3VbVNR0/uMDtaw8L+X44gz5Vo5QMDcrowtEiahJurCg1AlwL92FkCbxe2j
a52EA2rkqr5t0wNoBqodQ0CRuQmKM+r1817Ishxhv0nSKLLrHDGgh/nSRZrDd9bF
oWTLVo/HHQLjSrP7P510Q5pa0LmzzMV4xqyRPXrNILjzJ0AamgRekv4Z6G9IsQWW
Q+wJx+UDFh1lR8+GOFe3Qgqn/wQciU998j2M7kmipTbErDzU4hxzLrPiPjl6QMVd
B7dGtkHVOJZBiX+TPvpU7nM5bmYOnduk2A5jFjPZ2CF7LgpKcj641bqCE8ssanSx
yhTOWS3DXSrfVLUNNZh4vrISaIGoOK9LQQiQ5urdwu0WoGYB5+4KlO1uNHy4HHpH
mBosUSUage9av6Ob6hwoc8o5iCbK4C//Cmz4tGvm9iQ8l834Y7MvUl4xftgK36ys
JyJEgzRZNJwtIa1XZK/4A8+cSFCR2rpK4P2MjqJBqn7p4D6hqG8=
=qHTR
-----END PGP SIGNATURE-----