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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.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.7.0
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-elpi (>= 1.19), 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:
 a3d445ebef4fa4e8b77c0c7f64a5e6c1bab8bd49 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 c3c87cb2c6ee5ec1d151b079bd0ea16f827279ec 8992 mathcomp-multinomials_2.3.0-1.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 adacac2de338ee4ac060b53ce509c8987779813b21643576174a06698fb55ef3 8992 mathcomp-multinomials_2.3.0-1.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 35ce94c31a4b3427069bb0a962ac2be3 8992 mathcomp-multinomials_2.3.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8QoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ2DD/9RPDYE1pNr0xEKH2fFte/r
3SEKnZHEJ+w7K6GqsGAKqf0qg6zpVCXKB9wnIwi/9z0MSzEGppEDmYwEZjOv4VeL
/+tHFjBuxgnOFd+eHdvOt186PXgL9ojVV3oeFeLKgVie5Dzas6HYpN2nkuzLm4pq
GaQ9Kwrp40I/r8ocipPaNXceN7ynvxvNFvdNTleXmp5NonhnmSD+bCuZGAI9rdNG
ObBJgPJ9Zdl5V3Nz3c4tlwh00iAqCRa5i/Z4ADFq8CjwnLV5eVbpVpEnxI7LoY/r
d140n0jgl0bwln9WJnB1prU+j0ZHOeJlex4Nhe59nhnGbAlt0P++9wbZJmXlbo+P
8KNnYtT4PcLQ7ojb47+BF7ZRmWp9enterUQLXaE8V0T7EGWAoh99qEJXck9Dlpyf
fU3VBfWp1RMOqIkkbhL1kO1YGwH7Z0sOQMGmDB+gbxLMWOda3W2PiBHIKId7TC1n
6viYyP9zt05wZhUy7jx4WfSZPnjXPZRL0VX/iWMfMPuxqscKYNXMLuItzEjqjQor
mCMj8THDYpyUxSSP2X0t3REm4/lmKRzegj/S2JSwJKPKKqvSpOvI0vfL+LdVQwDL
4l6MP8ioNd/BiD7+tbSlq0moohIlfKw3dOjBHRQp83LVDuofeYo7fk5hJhn4Fce9
SrkUsifPlgNu+lplcOOJGA==
=2Ufs
-----END PGP SIGNATURE-----