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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build7
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
 69d451c8b867b5a1284ba71f2611cd6dd01a74da 9180 mathcomp-multinomials_2.3.0-1build7.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 7bc84f7502f0cccdc39c844cc320ab87245392f98ae1329035e59df6efdb7dde 9180 mathcomp-multinomials_2.3.0-1build7.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 3ae1847309eb1e00bcdde194d391d876 9180 mathcomp-multinomials_2.3.0-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgc6KIACgkQ5mx3Wuv+
bH3cZA//YRK8rZQjnwEVqG91BTn43QZcUNP+crNpwc05iu7LXWsXBYs5J+4AnrX4
kBCvta/bByCEDu+cIn1cLwJvDv2uYhejqVm3hlR4GKLZeVOqCdzdzeSxFyJ4B03H
2qAH5kRuz8Ozcm9omVVSWYniGifkRjbIyN6V/XpW9iFns1zlUi7Orw+n8r4NfzLe
h+Y1HrJtwhq09vHum9tod+Olj10nDiR7QrJgUZEBMibxX9VmayPssKGK0UV1yg14
qn3ukY9CyeX7Kwy3j2EnE4m0tiq1GZMAmof7gvxyu/iLehfRt/9jLtCCb5wvYYxr
lAVvzXtnylZA1JMuYWjZmMaGbgO4FYIKw2IKAFjlZQUHx1scZC66u5vfCZIHUGza
V9S+IqC5EBfYU2g7h7fmei4VKJVDK79H1IQJu7GOopEaN6f1aepn6JGGyGJNzMbQ
2rrHlsY5RMLuDju4kyDT0slWHfTaOUlhalVyDBx76WOi1Bj4P7BoxokCl4NDjjNK
qtxBzu+uok2rPJJBgWRPsgugUTH5H7f5ZglcXrDNRjhYkQnK2jtI4Gw38hsHUiV3
ZrktXTPrBqTuZKS17kORhFZa5/uzrQZAw0cQGAVu3g8FUsyCbqOl9ViWb/+Sl2VQ
Kyskp/07DOgSkCXc33BK9XtNk+39yae9YCu6RkI4SzbbejeJK1E=
=gVEy
-----END PGP SIGNATURE-----