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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.5.0-3build1
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, 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:
 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 a99ff57ba396d8a85100827474e2c41d607ccf68 9252 mathcomp-multinomials_2.5.0-3build1.debian.tar.xz
Checksums-Sha256:
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 9039e1cad42ba992171b0b2383258b08239f046c7719e294e134d9bb4751aa15 9252 mathcomp-multinomials_2.5.0-3build1.debian.tar.xz
Files:
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 883258e49f276443e039e8e0c5d30266 9252 mathcomp-multinomials_2.5.0-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdrYACgkQ808JdE6f
Xdkeqw//QIBWwR7OnV9tOerutIA0EfmdT7zpMTuOxuLZzZSrCpYVni0ZqIZR2xRq
H2qwEclbtlfAFyu8mAbt9R4yhhsiJUAUkmjeoCqS87zEQrjWJPQcYGT0WrLzuhra
g73DZKwz3eQDxTjY4svqW92Hj8c6EXOa9QdR/vEzDlIoqr8nBPEXV9DlvYiWZZp5
AmEEPyN1uQUAK+HvgrwwB4/e8N6U2fSZetHrrUGo+erEJPUr6gRxXVsV8/16ahTC
ggaVFQsLYmiQeUKzivEnsDKpFcs3ovhZzefsAwHG/3dk4KFv7kd+7LD62WKz2Ji6
UcFSJJqSIwaI6zNly5H8plNZEz4eLizNA4ONEKWlh94P1HdFueJtf9bC8BGFVAjT
vpd9GSHAgeBwRXOY+9UoiPOo05xIIKiHe5uSgVw3y82yIWZNxBmUdU2i9NuRnP5W
p/KMcs0vraJwT1hINgfN+rBK/nq+q8OAd4Y+ahPA3cwIEETFTeTF7CtZYK78+dg/
M6VYkFC5+zooss/Joof8OKNyEWoU6R67daZeTp6tjcfjr6KPdYdXjgveHsJq//Er
YYl/DvH5T6uBUjsJa1unltN1PlPgbkI2PE5fk8NaWf78C+FKQDyavO/OM/HbWdOa
wT+2Rrl5J7+Yaujv207wAE7Vp0O3+Tf5NoPujUKwFp4YCk1/BYQ=
=7TMj
-----END PGP SIGNATURE-----