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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build11
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
 dc5b1da868e3ebed081e8ac8780bc09f54fda3ff 9252 mathcomp-multinomials_2.3.0-1build11.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 cb6661a941a141dd90d4a66e2a2b1a3f5fd2970095f0e179e231d2a7bb4b0467 9252 mathcomp-multinomials_2.3.0-1build11.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 95bcd4917043d77a6b6d40f8410e9e97 9252 mathcomp-multinomials_2.3.0-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QvUACgkQ808JdE6f
XdnMXw/8CtQ9rTXbVIw8iWyyZU1JmS229OPt/2nfYQH9FXWLRW2bAACuL9TGIxRW
17/sABYTGgyBts9/j+B1nhpJoEm+wTMCP0ca6heDBiet2br58T0u2yb+nln3B9D2
7xFGcNQAmi0AfZ9DaUdHCiY1j0vVxAAEeLWBDou4NeAMkgovx2+99k7iW6xQVjUc
nZwddHFxurIUGo6wqIrrk0tdtfC5R3xRaB/wYyzhK36lOMfzvg1Z2HZ1rlo+RkK5
e5vlLtZmztuJ/lTbLm6EOJVclnYyi0fP9it3Sqc9w0m0Sgs5McSmp0bpQAZUOb45
9IoxdGs3lrjOjBLBpXgqz9cbAzoyY3ooboN5mXV7nB0Tz9YQDBp4r0ozVeOYj419
paDzwm8fbeWsUVz7ELss8h8FHSHrvhpjnlK9vE1VDB0QfspheBIepbQLp7aSPqPO
/81Q73DqY82500ftPnGacudjZ9AZaaSpJ6coaUjET303xi+myDFfe5HUNhou7Qab
rRqbA5D5g1M2WipQ0M8rXu4MxMd9UjMEF3serH6faxlKCn2mDxYIVFBV2erzpiHc
gH22D7HQTrYGWm822CQcRWvnoXdy09u+zuIz8gGmw7Du0HAu+tQcCtfiOg05ak5A
4ExLJ/OOhEsnsSf5oiytEQL7Ry7VsnJ5mmhyz19L+tVujge3EV0=
=jI8X
-----END PGP SIGNATURE-----