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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build13
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
 779cfa3d953c4687da1dacba56c35906e46fe4af 9300 mathcomp-multinomials_2.3.0-1build13.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 fd3b03e9b5c17d74eb4279e3d47bfec1d688269ff40d06f28f54fe861ab0fdf5 9300 mathcomp-multinomials_2.3.0-1build13.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 2c304753ed64f752344801702f81f913 9300 mathcomp-multinomials_2.3.0-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6gUACgkQ808JdE6f
XdkCLhAAvh7KuCoAyBkUwen0A8yp4Yz+T61DSGyRcsu8cLgq1LlhbfaDsG6f72YH
m8sslUjQVTyJyU0I2Z2yAanq0j6WuHJyzaGOWZVSd0ZvTg9YxAnA1vACsYIJGb5d
CGPl2dJFa82dFy0CjXIGFv04+o3sybSqtrxQBvo0SQ9sr7MIO2OK+GHkTTKM5b1G
dwPjDcfsdxg7V2pZd39xg5VRyHjG3lmTmrrxBZq0myunBsigRPuP+oMsDrUKuqX+
N8wznbEsU6WonWPjyu7f6r485CYKomIqOnlFK6sAVXkBEmtBw4mwcXa33UAXFfxz
OzGSc3yTuxDrMI/g56RdPzsPtu36SW/NRFHdHCBWmUEH38VR/rzgbUvSqsvXGGhL
2qUZdQ6xnTOtjiHf/kuz2/EcldSKFeV0RJFWhCmo1BzBCTvLO4j62/ziGId9zVsC
2puMZUb/mg4lSWkDGEoR5mtjjlqA+ZxuQ88Z4dovIPh++tG/OjrIFFjQqnBeMK1O
OdV0C/T9R+pauqhu1Vgp25kDWR5q6jxKzOBx9mupj2BlZbhnYqXDmrqwflFExs7M
jZBqgQwM4WZM+eh40xBO/6geQmGfxUnJAKFjjZE04v5oLsTlTOMq6cqyALDkbBlH
SvmeHpEZaFqqB2BCTlfiKnE+CGp7XfMfDHtTKsw6TtpuxkeV6ok=
=H4Kz
-----END PGP SIGNATURE-----