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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build5
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.0
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 (>= 1.19), 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:
 a3d445ebef4fa4e8b77c0c7f64a5e6c1bab8bd49 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 a1b30c6bec5f7bdd39ef030c2074e23ce7a70725 9140 mathcomp-multinomials_2.3.0-1build5.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 1ef910ad1f521c93d01ff55d01573dbf95e060dbf5c74006622f18ad72883e44 9140 mathcomp-multinomials_2.3.0-1build5.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 053a5c211538dcb49984d56e98f73178 9140 mathcomp-multinomials_2.3.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeyypYACgkQ808JdE6f
XdlV2Q//epUwUtjbBA/rfP4KkvhooAbnbRuPeExd89R3knfn7aS9nzZK+rkU59EM
hfQpFcgYA0VBiQSmm87OLbpvFStyvbibUggbuWd5vo2toCI9QPFoQnATxvNVtGUV
hQXwxh0Lw6J5EWOEwiKmnlCafP0wytH6Hl+HzeYjTjZyfYzjttV1VAJlne6pjMtK
fvfs3eC60fAkMtIHOYBIcA//F6vIk2pQJH3RvCMPysa9KY7tIa0rE5S1aHDSd5xK
T2rfFwxPXaxVfW0d76628LPQ3OPmQcVpQmrGV90sNBwYnJqtp9M5A8zqqkdzA+4S
Ht2nyIUOo8Q5TaEFQlkxAYSJgtf02nC2PXZ/wNZjNbGPjC1yJTBNZJ16CEBJ0e86
CbpTAmLWM4qZjzxDe60NiHDgc+m5nhrU0lE261f+IIyAhAyNN+bbszHnxNay+rny
Ur0HwKPloY1OY+U0FK9jEF+otl3s5RU+g38Kxp+vQynYvBiAzJ6D+dm7/+GZ2UvT
w7L7Bw0VlRGssRyZaWtsNhRAqtqUgIsOwxpd3rQ8/Ae60v2O0a//wIEVVEzd6Czb
XbjNcU4RIVpvdxu3CPkbwqydhvedPj17xLe6lJDYlPvbtgjt6PW7ebFz4rr99K1L
BDOU9hFW3v2yv3uZZpvpOunZlHKdzwnYnWD/4OeLP0gszaPAihA=
=YInX
-----END PGP SIGNATURE-----