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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 1.6.0-3build1
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
 93a39f68f1b8495ccc94a5020c937601d4cd7fb9 8884 mathcomp-multinomials_1.6.0-3build1.debian.tar.xz
Checksums-Sha256:
 bfec44f8a5e4cfcf793d4c616674ed0f52fee6f4bc4ae0f0f1f45f2418b0fa29 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 f4fe3e0d7c264ed56e4647e6ae048adaba5ede5a5414b4f114f0e688f9cc694a 8884 mathcomp-multinomials_1.6.0-3build1.debian.tar.xz
Files:
 26ccd97cbd700ac7d78bb0c9de495b25 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 897f42ffef9f7143d09a6471acb6f390 8884 mathcomp-multinomials_1.6.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sF4ACgkQ808JdE6f
XdmDnxAAqvTbBBw/kvfkIxADz1LglRffHN/Xky7VYCT02ekH8j3oXUPbTEpjUdAq
MkvFjiaM9KAeT5JplPLtZ6G1iVkar87Wdd9CzJw3tUOQ2ZLheL+ew1EDZQfMGF7F
OZSaGeTNmnOWDUWA9jam6mQZ0I0Vc2XBoktZG+sN1hU3Rs11T9SvBbCbVFlGzmOL
dtcExd5gOuS5Bjcy9omM82J803TB3aEdvI66L8D8D7c/PqM5XcqRdJ7J4jfl8UG1
k/SoEvI9shphPv7oTcYraOwf1YSDX+ItwQO1HUcpmEfpyQTM9aNGYgtfDrXN0htW
me27VOCWgF7F9BjwO4Gciw/bbGJV1IEQvhfiOuss/LO5qa6Vbk4XoC3ZuKwoPaD2
TKUEpdJ8vYH1WdIyDbAW5D0ZugFmXQdNl2qz0uSc6XTOmMqdlXyOYsmLFKSwdcHh
myovKej3Ja8kadIX87EmvH1w0AvAYxT5QLBlE5CWGWdHNZPwcCShrKM2dh2TZAud
xX2kOyXUcz2Sm4dZ8Bmcjujmr7QpuVplq0Uq8ajYXDajiRPtSYcXrM0FHhBnV6LQ
ZnP3zEI1rzLNuYlsoVqkxXATggHANIrvPgLJrW+6UA7Re/VMgVKjy3JsqYcG0GjM
qsX98qlfaCrD5pGFWFMO+hzCOO/VtuUm02knmy8SXAMYhNHRgiA=
=SMdk
-----END PGP SIGNATURE-----