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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build9
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
 7afe4650bf2077ce60a3d02bc8631cdf71cea3a5 9204 mathcomp-multinomials_2.3.0-1build9.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 3692a86c2abd6fbc5a335e96195485ff80da35b1056035f2168063d71454b2f1 9204 mathcomp-multinomials_2.3.0-1build9.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 b674a925cb797c02475eb71e56ee7a8c 9204 mathcomp-multinomials_2.3.0-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPIAACgkQ808JdE6f
Xdn1OhAAzb5m+WDol9ebDKj5+q/REW814MBBsG00yEQiNov8nLwQSNodPO+Cr7lb
E8a58jOJEtZ34yqiaJL0ueHFc3R90euUQFK+X7IFPqazTJgwZt07h8munGs5jc5L
Y/iQxFuNdsvPVWLVh4KMPM6yECDhqOml3Oyjczbt3LpseUgPUwj92gTqs5lP0zSE
yrXbTrSXGMXGafZhC9HuTV7+6mphJ7Lw1OKOaosKPcSvQkiju3cdfaxkT0Nh8Q3y
WK+XN37L+XcAmei5urO4NmgMl5kM8nbzQ1LNVv5y7r1Igmv9fSmlqefuMxFEh5Mc
XBagE/80oUoGrkKYEwLFJF6L/u13sF8+IAJs2iec5qSkgwybzYJSqu/kYTUd+v2j
uFQZCgpqvhECi+vL+Jy+gAIFxraVCT9yoq6d+D+Rj2KQ1j4DgI196RG/ILAtSt8i
NbNHLVuHdoIamVHUV7iBv2J08Qj9P3ooABDvaQbGPm/ttQWxAVTtvx7wQdqZTy97
fu62YSi6HTeIz1vUR1VzQirXQFUbc8caC+lQXaPw2Vam3HWiprl/UtBdtmI8YQYP
mggVJtVYc/dzlAyCGnbCOK8HVd09aet8VKhzbQAjPQjygpdbxFmpRx3foL6m4yMg
aF3sS2RTl6UR2ffmlxS+N78CB5iQ1SOxSKByZrQ3Ns7foX0eoic=
=Qvm3
-----END PGP SIGNATURE-----