-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.4.0-1
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.7.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-elpi, 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:
 80d8495219c3bc6be8a2b4416cdecf395f45c724 81638 mathcomp-multinomials_2.4.0.orig.tar.gz
 660e2b5d69871fd87b07efda6a45719fe08dd57b 9076 mathcomp-multinomials_2.4.0-1.debian.tar.xz
Checksums-Sha256:
 20e2d99e54da58e790ef17f7adfb79311984913ac7a0e2c9b62f39390067caec 81638 mathcomp-multinomials_2.4.0.orig.tar.gz
 95bc1c6b3ad5cfb106299518d21bf9d80282f167c45d74d2dbffb6af1d0b5d2d 9076 mathcomp-multinomials_2.4.0-1.debian.tar.xz
Files:
 eccbe839c5c7973bd682eb6e08e2f6e5 81638 mathcomp-multinomials_2.4.0.orig.tar.gz
 236ece5fb140945f69d76b53add69040 9076 mathcomp-multinomials_2.4.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEoEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZYzD/9rlQeRbtjvxfVOsQUbfXs1
mcN4sbMLWBiD1apPNE/ge4hJVNdfiL4pR1IN/i9wVpOThPm+L7Qij0A30x+0qYEc
Qf+I2PV9pHebwkXpu1dWd2zIm4QwAC8a64vqD5d45IHLhNc2RyVWTfJD75hd1+6+
PSYNXfuSm+3eHvO2VsaprtHLxhqq0xTbyVmj+HrIzE68DfmgwR63UTQUlGNyKIMB
ZG8uXJeTVtz6gsBjOQug6CvokuL5ol11M9FbFZZrswGlltmgmGzIVjNwFx+jkxrs
JTA5BdKe5ZTQO2qaui7+wOsN/ZnXnpLmXyaC/AhyEh6e7YJ7+v7+zCEXUi0AyvjP
qBaZ0besx0uohUBHLZI23AR6jrqnPG/3IC9Kwz55/7n6ZZ0SVMbXk0YMO04DqByI
4if2lYgeHdv1n4O6Tr3L1dROk8rJLJcDryD1JUCu+R8FNaHp6uXgJdupn6Ul+a4Z
bVly8ZoU08uSit07c5ZKcJPGl6IRAqBoqibNKc0S+ufn+jhXNZUNK6zwNkh6QMkZ
JYyBmC5eeHYofH9iUQt/ffYNg6/cqn0u0JLMY/KanVqDKXHvdftHud4jc7xKKShp
wkgNlYBZFGRlPBR3e2NtwWSKs1nFPU5OmnDhnBHJNhZa6xJfYvONWvGlUfKA+G2s
qWgYdcmMoAStureP8VGr+A==
=mALu
-----END PGP SIGNATURE-----