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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 1.6.0-3
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:
 e387576a4c03adb12fecf2f4a3cf375c0738b2f7 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 9b4fb596b00eab10f3fb69942a96a8c51fe6fbc1 8820 mathcomp-multinomials_1.6.0-3.debian.tar.xz
Checksums-Sha256:
 bfec44f8a5e4cfcf793d4c616674ed0f52fee6f4bc4ae0f0f1f45f2418b0fa29 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 9c038504693d559c734b49a47a68d670cfd3a9a95454784419e9b94e2772b3c9 8820 mathcomp-multinomials_1.6.0-3.debian.tar.xz
Files:
 26ccd97cbd700ac7d78bb0c9de495b25 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 26fe9d944bd46a1197757e3ad74a09f6 8820 mathcomp-multinomials_1.6.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSmjqMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXVQP/2gnJw+PpbilLZmOQdZNwuyB6+wMvCoY
J7BcA9SgZj7AYcNkgnjG2/FKx//3cb38Ubt/Drd+tLhOfyb+UrQd4J+7a4fifG8F
K6gRgRarhauKxNy6x7ypFmxljtiySvO4E6iBW7ebowPpy37iSX9sZ+1LeoA6NPb0
7JxVWuTar4w3wyZE/LCiwjBXklfu0G9LQkPQunakJfjcCvhwnIppSvq1QmNeCDzU
60ADFMBDmpH8szlTd3KW/6H0dh1NfglqLuuwolfCq/R8OPgvKo6VTzQrV1VVrOpk
iXb80I2mvg4mhxGVbqDQGu7O3SrdiR/B4psNqGJa7/+LChFzZjSD37vuM4/vFnyI
287uQAKrYzUHHit9/CA1o7TzS1NoJqPHriTPNKD5hmbQPqgqZNj1MLDtyHnYQ8WW
dTQTWiS6u23/uqeMr6VvaHLU2JIClR2oXUyvtUZJxTnd7iZ1kuoMSCxtXzZTFDmI
S0xALhzTJnJmLxiMrj8vq/yH1RkS+r/nmRquvnyHh9LyS8eMuw0aO3rr4OmfWOOV
mFxmnysTM0mCCphUtDvrOQgRYORvHVUvt50VseXS3jd0IhA0GsYkDt6aDUUUC8XK
eqQjZSXEIzRj8nQ4SITbpdjqWWEbgEUoCS9jr8XlYP+8TO8zdxuYQPDPwQCcRVyQ
jZw47+NnNfNY
=IN5p
-----END PGP SIGNATURE-----