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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-1build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 f524d805e973d8f35b8e8ce5d59cb09a2e456d8d 9096 mathcomp-multinomials_2.2.0-1build4.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 5c9190abc8b4b50e755788373f97adf331014835cbcb6af82e8efc7afc542e6c 9096 mathcomp-multinomials_2.2.0-1build4.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 f97ccf1796b9ce9ed73c872bd754eb77 9096 mathcomp-multinomials_2.2.0-1build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJweoaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz18vBAAjQA1Nj8DOdB4o/DMKWWz
fXii/RDicf3RasRBPQXNq5DYBJHCj68eNahXMNC//HIdOVLmYkVJXKCStWMUipyq
9W/wg1Ktdn+Vc7eygOdzRb87WB1bYqCfnXC2NgIOWpCO9fbFplcMtMcjz7sYXzI4
eP5+uwWVC6+QtSSoacaHid7/yBpuxsl1niz4jhZDtP7EKphL88DbM9goIEvu0SBI
Jj7WZVfG1pS9vyqO6uGtPnnduqh/zeB138984zdNm+nhnlTV2H5aYdEk8WNmtq8U
Sw5ndYd9W4W2giUTuCMbEnCVf+5NNeq3tjTSnR/H27tC0D+FRgQ0uMFTIlGw/bm3
WdHcPYH8uEKEtAglpwjsasKRnM0fGL0dOzet1xf11J0IyrhCn0z+HiCzp2KUhNVY
R8Lao1Ff87ywe5sZ8VhT/4MwV0MscSsRCsucCxmgHqkYUVj64DlnZ8HBDXazgqe6
pu/mvTTa8SIsDtKU9OKUkazjGE+aqAZYxhqUcyi21oLHSW3pqCAl7jE9ny+ti4GR
aog2uNEqAi/4aXsIU0e433Cgn55lXOaYprs5d3F4yMu4Rt1wBxZfMKwaIK9MllLF
m8SnxKFFUw8haM4lNyo4HCtUPubPqFS2OqX25de75wMiOiy2BENPnpCsIpRx1jL1
+aaG/iapGpsyWHgHFN/ImAc=
=DPYo
-----END PGP SIGNATURE-----