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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 1.6.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:
 e387576a4c03adb12fecf2f4a3cf375c0738b2f7 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 1a73ffc61491c038ddf591775ec156676bd8c6d3 8784 mathcomp-multinomials_1.6.0-1.debian.tar.xz
Checksums-Sha256:
 bfec44f8a5e4cfcf793d4c616674ed0f52fee6f4bc4ae0f0f1f45f2418b0fa29 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 727c30b0b73f301707ddcd06f22e0761f6ea3301831dd0a9498e7b878d76a050 8784 mathcomp-multinomials_1.6.0-1.debian.tar.xz
Files:
 26ccd97cbd700ac7d78bb0c9de495b25 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 04b129baedde4839f4588d092e432b6f 8784 mathcomp-multinomials_1.6.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKoCUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/OMP/i5vPoXTFvwg5iOdLqxMRuneHTa/geXU
t3qkQcWVPRborpN6qfGjCKlLZe0tDbyXZ4WdMOdEV+v4MM4HHMHa9LZmw4YzUhzt
+3dSxzD3tHmuCgVrGcNkeAOkxWJrpRDc/mSPW+HgJWGxpcMtmYr3/e32IL+u6PRo
kXszAVKpGe7QBEYaWujdcPQwl35/ZcRhEjf73bwE6lac93cjyVzhS/9bJ4TqY1+d
9UO/fJJWPQXv89XFqcPGctNDtoTJK2PChmVvx2T30pJd9i0nhoMMdUmkBInUXk1Z
tmszk/uDHO1PCrL39dktQ2aGaUeRdw9AMumaiePIKU8PkgFePw7BHmcCg1b2t/xM
ZtDgeBtmvEqJ+5NS0s/wu0K0CDt1YP3j3j8NkAsRTubEXa877DLWaj6qeJH8ZgKH
7l74O2OPp/ozFnTKUckXFk5YWVdJvgHjuqwceRYCKLcNsWHRAqCoQ3N9A947n97s
dqK2sH1Gv3Ad+LlQ8p/pio/N8jC6T5up369s88bbIDp0VkuGajaLv3qKpePRPiaF
gc8E1l9OAGMlBmDb0Oaweeo5nBTUKRvcAA9Ts22EDHN2FcCmVGo+kHw6F4xSYj/X
i2bj94AjyfC7UWE4KYZLnnGXphfNGpUBB5vNOmOQU+R8K/wztENNKxFXDO8s4HCJ
nkrqpf53Mbd2
=nIiF
-----END PGP SIGNATURE-----