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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-1build5
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
 e9f44e02dac1b81d7edf4fb2462c68fb18442f1f 9100 mathcomp-multinomials_2.2.0-1build5.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 34552e462a2d781d9d617f313eea7bae5d9d9a0b6dcdd56be55897a17638cef2 9100 mathcomp-multinomials_2.2.0-1build5.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 cef5163b00da81e61f178fd2722665d1 9100 mathcomp-multinomials_2.2.0-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmloACgkQ808JdE6f
Xdle2xAAgSc9B3AKhgZZFrmxZTSMKzdPV+Gp6On9j2YuuHvpy9wfGl6MeN8cH4oe
6uGcTZszA4D18nKLI9dDAuMN8x025Tsd0kHgEDB4zZErFwBVNuK3mE8PU7CAq2bW
f/rErxnSyWzKPs0RdiMLpD22W5pdv4t0odI9/82mv2OYzat7KpMHiKMJ4o4FsuPf
c6MK0F1gCh5AFek6j5ZRsYXNtnNkmBb+VATckR/WV06SKoZMr61y/8+xmv64skmN
ingP6SWeDC8frSPR9djxA2orLK9ya3fU9ULHegLzhFr8w0Vgkw7L3dxQA9kvdf6y
dA1BmiCvOqvTqE8djCZpqoxQq47KmYuHtqH0KEr7nCdPjPrhHxMJMICQK9cyjm3n
pt4O5lBnqesAT7pQvIzfOX5FD/gn92QHUnoDsofglnI6/1rBLSNXk8dKXvcMuVra
zMvfJMya3Hc66HoENUiNpurC8fvdb5nk1xV7PBUBccFEnAPm2oJFgTUu8nic+Hw/
BPoPvebHEAUGJimwHBxtG4puUH6fZxYxDdqpDv33TJmVml2vifcyHXLTLeuX5kJ3
bi65r51N/7d0PE6sNlKcbzt2+BYKBB/SefgO6eQO07Ms3/AU7i+Dd6IBvBmyk35U
+Tox5cXu27ymRpTHgGK0V0Rlh7F4Njc8x2SFed0D22jlAbB+KP8=
=7Ecc
-----END PGP SIGNATURE-----