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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-3build6
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
 9e7adcee2c16c98f428d09f1670328aeae2f2824 9160 mathcomp-multinomials_2.2.0-3build6.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 d3063976dd3e1269201d856275ed68411819eb73c1451eabb0d68abf1eb72de7 9160 mathcomp-multinomials_2.2.0-3build6.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 f40dfeeb893f2a0e33d19f7558ecfd5a 9160 mathcomp-multinomials_2.2.0-3build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppboACgkQ808JdE6f
XdmGrhAAhRy8idv2K2tpDN1cWHHNi3ATTxxTYJiqrJ6ppaNiqlZfDJkHdMXNk5y4
NZOc16QoemyZ9nSZNrzi8LrHWXLwuUXHP0wF3YbplxEuaXMY2VKeoW1QCpz+Z66K
bUG4YMSt16KUNdYf4FKBk5CytWOkRv46yopfX3ZuhegtwQUFPTtTR1V10XIX+YTz
N7Z9860KVL3tlcn8X7XboeCjAxv53yZCqH5hSLI12iI7xmVObcUTUs0lEcyemXSK
o0St66Z03bdNpdUyLro+ue44Mr/K4uFiMPDp9QU1oPBJ8mB4o3/uZcxJFeCPhChE
GhTz5fbFUBWfVzPMC2vs1t3RJ1FA8NInW8G1pLdaG2MbnNaW4LyfGAjHFRselMRG
lIzzUTOvKoN7N0sDv40/APpWFEA8BIT6v6B/JE/Hqd+/6ODd6K/fwCyREBHJ6dDs
IZ/215OPrRFzPqHLIXCpjKtruLB87zcQXKGdoJnPVzYaV1KT642zEU0Kqm+r2Zld
ihZw9c5o94a4vskuMJozTwK8yZeDb5TxmcbM/LDZuer2+K+uZ/cNxdcxiSm9y+OM
zsgVAOFDQBB4Gk7eMri5RmopxCoB6miYVg1M6UcHCOa/n/TQ9RM9vFSMtgV71VqD
U9EN/ea6w0PLZoBs5KHqtDG2JuBB6ElMz6ljbU1vnqgAEJspLDM=
=HsUt
-----END PGP SIGNATURE-----