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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build10
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
 4454f44b41da4241cf7542c209121cb3f291ff00 9224 mathcomp-multinomials_2.3.0-1build10.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 40982c8146f74207b4ff5b2fe9efce3a7c7320267359cdb6c468f19572d6d689 9224 mathcomp-multinomials_2.3.0-1build10.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 655968f1220c83b6ec0614896eaca5d6 9224 mathcomp-multinomials_2.3.0-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oJgACgkQ808JdE6f
Xdm49RAAhRUm6kAsvR2SkuHywoVrGda+Rq+0drLQoQ5+UhrODBHyU9mmahTsOTiC
a7yR5ij44GVwK5mQQx2kLvUH5bCF2s6KAyepvRfu/6xQYDWaPMyvtR8gFyti6689
Fx8F1rqZVqU0BQDzERfBczVTBD2T7xHLBeM5BGuxao0y4Y4Hacg1nZeqXrFESbaM
ynT5fnFVuXfGaYgeMVCuDOsNqYd7P3UVaz6qawEybc3DTx6JFa8bcoYb/zNaWfdW
hl3XlJXzsSBXASZMFLSr8DDzVz+PsC3XcTR4H1VuwBoVrlzM3UEBkd02XXqWX/XX
dl3NDwdK0ac/Fycp2eUSP9I8qN1RlYIc0UNT8KxPMeXhTMf4k4MgAJyWHWXtq8dI
WzQ/goSuwvhPfqGN9Zm94fmdmgzI4bnIgrpwamM4dwEw+MAoRvu8eAt3jTzKjffk
unLQdV0C6T7RNDPHK+0tudDuARovht3YNPnosPs6zlra8Cjjc+2qMnXoEpF0knUF
sy2E3+xEu7Hshvi/F+Cl381tTuq8Yx1fbVKgCECzWvnsQojoOgTHyTjZjLlB6Lyf
0O2alOgqvnPMKmXZE5xseo3mfmLnt7MMRHjGJilIH6rIszOVuyEi5FDb5ku4JZ/w
gUZIQqF7EfLg9ZEyKG02m0Qmy7BljxJmEcTisJM7tosff5Z+J2g=
=5NbS
-----END PGP SIGNATURE-----