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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-1
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
 c38d59532f4d7ad2f0e8d696d780372dcc8e0cbb 8860 mathcomp-multinomials_2.2.0-1.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 fa1103b6ad3305bd32f75465ced3eae76e06599d724120b87238335bfe0f2682 8860 mathcomp-multinomials_2.2.0-1.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 856599317a5c2cf15bebf3fb32609c4c 8860 mathcomp-multinomials_2.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsIDASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrfcP/RzrZQNghsqANTXal8tFXG8PL52Ca6qs
FGXXZgLCkmtAcfPOkzqTPnC8pgyIf3WFUTUQ6G/7zQtdgS8UtmkZOyqjRzuwpfqo
94boGWi1NbuZnddx4FvJPSGKJcGjQvdrmO7etCT9Bc6smxq8pHrN1MvKEO5pyVxu
BjC+LHibXQC6MrgpwvzC/DVzcmTMtGTC5vdeXj+3dtsT4qPAjUjUaM7gtB1tNmj7
ZcCook90r0yLMCKDCrUabNoaBvHgFR0dpjKQXMN32KlbY7nt3wjAG/Q4dJaEL6QY
r0TgJ4UOBmAJCWCXz233pImn49MEoYsr/WGdoVlwmcOfcOxalvfQqhaj41is5cvH
95BQxSfe5vPM36I0o6nd6ijQdK6d9Zy0SS226dR0TOb4iRgkHFt/QEfh1sy64vMD
JK3AlgWyqhmJjntEsR3yPPjwJHW5c8eypvI4qzeZnSr8YPDKkEac5wu+F4vmNqY1
FYzQRrGlkZVJL+R9/BWx1DuXLiB18z4+579wuSvhsitkepV6yK9Z1KmYTSNl9nFj
7UMd+8hneBLwUencrV9UDPdwNxLGo70tLrS1bb/w3elNAuSrSPwIsEfL1v3U7SWB
f7WOHWrrgf5co8llrXDMAK9uvgB/9jl8sBuP4iZjIdZGa6r4CRq2O7fOWinfXNgL
TifZXOEdQehU
=ZYOp
-----END PGP SIGNATURE-----