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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-3build5
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
 e649bdb90bfc1751fb175484bb42102224ccf9e4 9152 mathcomp-multinomials_2.2.0-3build5.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 48462d8b2c2c15a00d21d5df591e7c2abc4e2107ff64396edb4c695ac6cc42d0 9152 mathcomp-multinomials_2.2.0-3build5.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 bdb57cee4b8e262385a251e400ec2e78 9152 mathcomp-multinomials_2.2.0-3build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbh9JEACgkQ808JdE6f
Xdm5XA/9HcwnB1NJW4V+TFDWxEKOmqSczmLcjJqtxmfcVZ1Lx7slnV2qcQ+yyIia
yCXbzAF7W3zxEo9dOTzoomV+MN53ce9uQZAhN2j0FIJPUrEePTef6fQ+d9ak1yY1
Y82rEffMoc/XvQj9zNc5rzNnWHtCBxAZKYBx9CfjZsJ8IUPNBtI5tzjpWV+3Y1xV
91OzrDv3+Rl2cwB4fNZmDvHLSv3SYxc8gwUczm57ZP5X2dIJTmLc6vaEzJ+DNeLU
b/bPny95nnTrps/2b3xMuzAxOrQ/7Gb1bnU79RIJYuDwAawNyQy96O6PSII4JOCX
nPno2BoOvd40q7cZxSbYY6BYuW54xAEk5EdpKMzYi42LGIWuYblTQWljl43/xMfK
7h4r03DPu/uQXCtR6TwnTsK9o8d/g83qP3q/O23jlU6o65JbYaSCmr0aSFPC7LqX
OfNGqPHeRK5/xaxlWe5p0tUdwBVFmWS0Tn3FZeu3+ahk9HRB4k8CoF5W3lmq6Ltk
xaK03FF58yKtokhTME4NrmeirmoHxouAaHiPF7qXpvtAhO3w1ngpv+eJtQT2sP+W
k5i+gLUbfmlQ/f0BaImmCKabLwx2frDnk+w+s0QCLXh8MXsMGvwWlLJU9AZrRzQ4
H38ANyj3Txc90TE9hV00CFAl9z7FaaU5Gz5HNPx7tXkGj4f3axw=
=2ebo
-----END PGP SIGNATURE-----