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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.5.0-2
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
 932edfb609ccb1142c3d0906c48940eb924f31e1 9156 mathcomp-multinomials_2.5.0-2.debian.tar.xz
Checksums-Sha256:
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 072cefbecd7917ac3f30560ed018fa5cb6ccaa56f153125dd5037dd04e91e4c8 9156 mathcomp-multinomials_2.5.0-2.debian.tar.xz
Files:
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 332dd93b692d9f440b4c41997e669a59 9156 mathcomp-multinomials_2.5.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3o0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYtfD/4zotrY2o+5H3eqylCKBiMY
5rfVrKKVhyeyo5aiBlcsnzHcTQCkFwvN3GSuLA5bpuxnjpEQ3wrH231CoqAqyCfL
q1fDpolZcZZYbOO8BKtpSpUpPfbqmROQHoQPRLGJYiOoaDfSyCOgQOb0WmT9cehx
FNv85/vnR7iwEHrZyhV1qZJqnvUTQnOlaJKg22B7SDtUYMOfsn1Dn8qXmk7PPt2l
Fw0iTYbm4xOeVhpU5xGC4DwTvBREL7L7DgPlp8L2sjGSwiG2uSYpdVO5+xlSYLmW
X2QOs4vYH2y5bvNaiOL71G9k0pXeK+gCYsgEp/xJbmosw+4Fkcln6EtE+hJYUvv7
R1ZdEVFtqT6Aol/s2B3+pm93r+43R1nGfQy2Ut/efV7ficctmh4FU9vQfkmBbrNS
IgnAU7N/X5N4vClY7pA1n1tFR12y/WGJNjKvef82uOuHGtqbFMSWmsCNlMv+Ek5F
Nt4bEEABM8n3Tx8znyLop7IMxl+Q2L/AakkexxoVVptLjhEGLqAqRtzz6o42BXXB
E6IVChdkyaItb+61JHnNJExqB0ggcOvOGviSGgnmftjCxsyVTAzefnHieLnBrd7o
vmilXEdbUJWdGn4hU8KpfQcr1d/pxmyRb1uwtocqlw/qEQbZ1qmQPMhGXIbio5ET
RqarwWXaOE9wDggzwjYj+Q==
=0dh5
-----END PGP SIGNATURE-----