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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build15
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
 60ad4e508e2b92ece139c298c6c9eac47702d1a5 9364 mathcomp-multinomials_2.3.0-1build15.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 b557a869c2d4b847d513d8c1ed0eaf20ee03cb7229a915a041961c1b96e06c9b 9364 mathcomp-multinomials_2.3.0-1build15.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 292080cd1e2783a8194774da0e45f4fa 9364 mathcomp-multinomials_2.3.0-1build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmtlIMACgkQWWH9vpxh
mAkojRAAjuuBCBCZzQAHE5f2vk3aAR6e3Ck+oNyu4qfka9o6PnByXnW3v1PBae9A
BNnaYNZwHSfZ0YnpeBnFIJIklZ5qbMFYXiSaW1K0HuCvLQrudwZspktvggG6lRSX
yFFL/VxC17T356azqAG+RgztzRLxW4VSaZ2znd9i1e2JzWEJdjuE+SJPJNWmNmJv
ozQCboTbXwansJtYg4Cptre+IdBcXYaescEPxpOfEEq1wacXAQsHd5WHjPSBUjVN
wYtOdwGmf8rImZ+sidkeDC9maZVJG4qDC8NRaDaRWBTXk5n+xrBeGJVcb+HZ03hS
VFXULhp17HU9zUBDLR4mx4RzkgxzN1B4S5hkYs939SEf6O7lKiyDf+mwW+FfEEJu
wFnV8D1qRRKWOOBSlAdVatziNyxPBudXhMT0Qk3vNZMkcahQZ42IlxueqdfJr0HL
AwPAOm0xImlI279q4y6EFFH1AlJk8ED3cyns2tI0AGFhkNuOpH85r36ey8wBDmGn
KtHfuAvxb5uXsvbaKvRIHOJORCF0eSCYQFKluq30OX9P9li8nCCluNL4jOtS2l+h
IKIX1oJhSH+CzdQQ5hAxlC2psKUukB+y3N0wNmA6XcGJg7Eor3UtsVUFqFGwUvDq
e5mt9AoZgBtqJ+3CX2fPkzYnQ9VHLH26f/j6fGi8O9y5Rs291VI=
=beaP
-----END PGP SIGNATURE-----