-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-2build4
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
 b40e2bc74c1d78840d36adfd7f9e5903a55cd512 8992 mathcomp-multinomials_2.2.0-2build4.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 7dfa2e764e1b11fc218eff5670c2c1eaa20f395a25534c0afb6bd158f6c5fcb5 8992 mathcomp-multinomials_2.2.0-2build4.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 4a41d07641cdf6c6e373a27b15824226 8992 mathcomp-multinomials_2.2.0-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp4cACgkQ808JdE6f
XdnJLw//f4sGIEdJhVBNkCwc6pw6UT+gauUwtx44B3kKsRr0N7czqcVETgjfGuLx
QFOeXHOxfMPsPISxv6rpoMo35Gjcz26jXIpS8sAc7OO9ayUJPrr83qtucYl7fYBm
EuOjIYlsQ26nxcfpknxA0vDQax7Sw8Hg0bo8KeVS8RKU4YzOtOD6Fwzx52AppatI
lbEz4c7edsxMhrnPCvqvWHq/Gj9ntBij7qyYIx6sh8/cmnjvfHK0DnC1Ch39j7Mi
+n0Q6zhHaDL+Ef9B3Kiz3A9EFhltQPG77/AIAR8LZPY3RYRdIcX9/maF3OozNGML
e3ezrhobfqxrWHWMDrLWoek17TLh0qX3BiOs1pHg0nbg9RS9jU+UXe5bsCxMkfNM
bk/dD+rxynZ/tY2y6n6lxIgc+EzGy2L6ngr8QSrW8wpMCQktg7Td+dRdt2arZm+X
G/a/DLcnjlJ8s9lRotMC0GjcxR7YtfXrWZIyunoQYB+00rntalWB+8sHigkmFiaB
/EuoweDP0paHTMnZ3JhUtgZTD8lOTJQ/d/N1ItqBOjig9eqfsG9nuLkHqNy007VY
OX+Oe3wGAw94vSKq3agLVdyV2pnUUjyOCCaUwskilLQJQKFxy8eVuxQqjpKzgpen
mNz1suB85mcDjFjYieZ7oT0Se9HqeZ35/L4M5EUnLftA1HeoDKI=
=J0ED
-----END PGP SIGNATURE-----