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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-4build1
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:
 011476804b08b0380b0b47608f480d8c4bcb6a8d 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 12e41b4ed3653628964e3a21f74d8626fc8d93da 9276 mathcomp-multinomials_2.2.0-4build1.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 b27a63b70cea8aaac546b57f3929f4de7deea04690dd0fb3babb9097aaf7756d 9276 mathcomp-multinomials_2.2.0-4build1.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 5c433e53a559bd155dc6a148d97c3b79 9276 mathcomp-multinomials_2.2.0-4build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc/UiEACgkQLIPbyOm9
Djfp7A//crn8OSe6QXZTU1V4jRLhb7S8s5FkBxMtlJd1DYqQwZrWdVnkR87re+ej
OK1RfycIXhwBxLn7C2iGtboW8CpZhjMUr3Rx/ZPgvdVlsTUadmZ9oeYboT+1WS2e
dJKcpGupy0z8J3IA1WtGvesi+bjCouyp0q4VBS5lDuz42+lBPz8wSeqVOu83mFds
0RdJqsM3zKYehmZ1eCqJvzpIU1rf7ytcNOIrdoEOFrhYw/fNW/AQ/1vBYyCHB7U+
jxJwJsTpy8U/JkhlJZxS4X/xwMQROq0/+7z21NmPmmYaj2EPik4kubvwF1CdpNuG
km/cRnGlY34N4DgIPI3cAhroCNUv/N4K4GXX1wsXlw6UU9PRZu8lzWB4Jguc4fgP
reJYL58/qgyGKMdt/4c18do9X0LCCjNs0rwno7m4HQm5sVP6kNfeFNxrQ865GG6K
nQzrDhV/52BLepZJ8bbyqexLcvZO5rrvZnRzXOPhE2lL+O28qOG7f4idn7/gpqEN
GuYvHC+9QnwaMwNiD77bgLL4IOXiovuBmnswhPQLvgJXhkrOBmgcmpUU6HWWMldo
KiJXvx7Q6+bmhBL+RfJdEfEMRsudi8s9N5L1y7FM/GIwjuMX+BxvpiQj0E2i/pt2
dZcKCSqofZoVWTaGuhxan07lE6y+ybc10JTtkN+Ssaqr7VglmWc=
=pPKL
-----END PGP SIGNATURE-----