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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build1
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
 264328724142a50f97b8fd182ce273e14dd17f08 9060 mathcomp-multinomials_2.3.0-1build1.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 c5ade0e7983d1696b463ffef6a26b05c80bada95b5bd5928c274a751ad878084 9060 mathcomp-multinomials_2.3.0-1build1.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 26eaec5be2123bfb728d89162511eb48 9060 mathcomp-multinomials_2.3.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdlq+kACgkQ5mx3Wuv+
bH0rNBAAoYpTWuld+OB37PIM/E6XPg9htwEE1e+74x0gQCYFU/rSWvjvqTcZCmPk
BMAVomj1c1yU5IgkuNnsIdV9LG6c7rpVaLOK3+zuL9Sap0dtCAT8ak+yEiTjYRTM
6/Z4Fju7NME8cUHaLRM/muAIswGPyrCcVl09MVJPrcH+kQ5Auuvpv0TG1b+73ld/
uXpUPMTL2+8zWm6CamNq8nMXNGUjSDhzqjpw7mJcS65+hVHr+0k4D33N9r79+C2z
HLX3ruyYSgqNkSCGUdfp+nP0ttEbu57RnJ/ExBl8HoPJwabqtnBosxpetvZamhLh
rt6zLV/+LimC6ZCSiB3CGDJ5uiScCC9FobuleJRNGSim0NlZTSR8CPcpF12i2ijB
xkYDV3hA8/rfBbDYBPNMMKe2l7dooa5i6/77RzZ+t3308FdLWzGSBsDzeBDOve67
Y3EFUtkWYaAYxwqx3wIZPDPzWTxWPJSlukRAxSYF3s9sflKxYYwz3/WANpINFg7N
haYtXa6ULrb5O9TokRLHl+cypOAWuGZfMo1gyKpmj/ImD7eI1NxDjLYlaOhCNCwB
mDuJF/KpFYoL2rwPQT3L2pMhW+FAEU5tzqYnaiMdNk5ZReFr+4dxlCn/fGtEuydM
mScqxW3POEu427F2Y9M/D4hyl2BSoO0rWl4yM8guqFQ92dyEboU=
=iJkt
-----END PGP SIGNATURE-----