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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build6
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
 a3e837f65c0f3edf1338576ca0dcd80bc11c4b5d 9148 mathcomp-multinomials_2.3.0-1build6.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 1d64f630cf752165259ff02a4010a5068dcda7fd295ac438131a8f6ba649f1ff 9148 mathcomp-multinomials_2.3.0-1build6.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 3b9970b39ace3ee9e3659159448ca0bc 9148 mathcomp-multinomials_2.3.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1hnAACgkQ808JdE6f
XdmB0g//S6sx5e0B6nomNR9bhHQTPsDdDxb1jxia3Y1b2Sl9GxX3O/n3yBmOygso
Lm6EA9taelnTzO7yv+I8SYkvBQz549qhKiZMiGETBJsNiCEkD6TqNgd1J6mwLjig
K+tlFZtfChsYl3/t4OmVMGBmnY1K+qL/Z0rAJFKtPUv6l29lSo8zLwPVoF6MpLg4
b6wUk9E8wJuM9i9gVo4dPRMHf2yWHI9pki91Gk6f1Qp9vsVkxocgYatLAqQWUTgf
pBWqHOVwTyhb3GtpVb7SZOXX1GgbrmW8bnaW9/f0b4PUvkeyhEdGqOE/55hX4Ood
9q8TPX6TT+u+wZ9pwflIZe9yIeYvcLYrnp6nf0jqUp283fH5Pqhk6FN6/Khu4tsm
IMEEp+/umbRNiwdNkZLYMYyh9tXZIEaUZSVcGjYszLF+ba2N5WTsX5MFp4RCOBfd
qxXS2WfRIJT7QS/WKwhRFvFZEjOcCney1weUvr5OI9Vp+elgZS5Rd8vwArgACgY+
vproajjNMPK9pvXXPQ+QOoHQFfwQnvPLvyQAqNZRpDQ1DIP/HIjE+uT25I75uPyE
JvrePVHvjwNdJ7TxaX4x2yRfKKTSz3Xq/anl0mK3ilcftUOC9J7szGALibMAdtee
JcGl2/qwcZn7eBYZP+Vh3vGKldfsgPMba8Ktr5b4+dAV68S1W1c=
=Wzo8
-----END PGP SIGNATURE-----