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

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

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/U0ACgkQ808JdE6f
XdmEFxAApUjm8fGp1uv95dKcrBqy9lqo7HNmFPcnEBtvvtb96bxE2aDBRJunSvlC
Ol+FfedTqsNLZ4CB/uXMumvyWUPQTsJYkSBWa5dzzWc8wCEwVE4LkphFuEtP1tRV
fyxPs5KrxwNxJe7NQneGlDdy+AP/9o0d0UdNYiI/bBz7DUYNFEWe2FR30DNJjwzl
8SfaxrnXudNWRcvjsJjuZTOBc7qvy/kFniLb3sOGp20qNisN1PzFhV9T3zAL8p9/
2VsAAzNPwgHoTtwny0iMwx1pK0xlbtIdPsG+BOM6Yp0wIs0joLpVwqkrPoofktwz
e0ob/Sb4HkO4SuKkB5NwjwmtIkLzB/vsbvB9LUweJZ3LL1vvB/A3xP5vnPTtd4AO
lID5NWT0O32zrkK/psu1vegqdYXPQvDP6vfeRRrs1ykoxHaISaovAASoDVXI+IcC
p4TkaDJDZQkuNYrxbGrLCbRWnJPfTL1D+heUOMHkn8DUUOpd2RhcIkwPkO8RARgz
HOSC/EKAa925nOqLfVSGh4w7uyZvP0TwQ5JgW539i6fX9s3Cu3V84Togge2mUv6R
VdculVCAmGFp0rcLIqP7zuxZP9PbZINYgoBPLbuWEn5KTiQ/k4fhG0p01CbchBMD
l/6Cx/QEedlNhIZ19LeC609RgzZZHVau7+FsQBnqexb//ymYArQ=
=4ajM
-----END PGP SIGNATURE-----