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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-3build4
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.6.2
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-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
 91d175e5da565de53ed7bf97dfc8cba41547fe7b 9140 mathcomp-multinomials_2.2.0-3build4.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 afb94fddd14c55be315f3a85c77339b301f876ee5212442415ba947a9992962e 9140 mathcomp-multinomials_2.2.0-3build4.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 cc8b4d0f0bc0c5a6e99dd9658907697f 9140 mathcomp-multinomials_2.2.0-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+vUACgkQLIPbyOm9
DjeJIQ/+Ic+OGAYYnAjjY3tsPKnsHsiz/HnH8yAU2adkw5Sg8uKVZlzR360+ZRWj
wdM4zqps/NgHknQiLWofdRQSwKKTKsoIjxjhea2t4RJXDCCuJgIPA+tv236yAa1K
dATU84H6pXj5Yi8rLX2SFZ0E0y2A0c8NyztPoiiJts6LqFz4KDcKtdTzl/efwoFj
9RRGSWSpa2wzoKTds9qWPmRMkJj8teoKdBzeEUihOgSiUFHFiTJg3tbGrV9jGllm
IQCBGuWza8rnm8pubcbvvq3c2meE1r01ymrqb82/jwuIjskDMbdsUFAJ455ZqpCc
UcDpz5enaCw8b7uhjtH7dgpHr39Z24zHFWkfasezS3T5PHQlNkD6kQso6ZtmUU5J
9m0lfem14PThG9c4DSuN9o9YE04BXOSN8Ghlc+tjHeOqVbsy+ZNEB7h3OshOL0z/
FmlvDmEYt7/E6HwUCOWNbGRGdtVUEZrLajp3FBUYQdDIH7bNkQDNJjx+hY3UUJxY
GqO3cnDlfhUP1voWB6hRWd5jywAkhmDm8RqYlDvtSJPPNY+ReTx6JSWDAgQndCbR
ckJJvTlpxlCddnOg352/8o3dU0e5O5Ud+jzxmySFIT3pxb7rQpXN4IxtSJFExncC
y7KwB5dPPBxgRUNf5e2OQK5CGwyq3mu2VY5er67AlKKkbU7bxm0=
=y7sd
-----END PGP SIGNATURE-----