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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build8
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
 e915d80d65497e17dc1d502ce563cdf3bc6d2840 9188 mathcomp-multinomials_2.3.0-1build8.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 419502a8a28a47e2ad06b35085f777e4da116eda78b32f78f5478eac967dab14 9188 mathcomp-multinomials_2.3.0-1build8.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 c45335a5ab41a6334171c87c79ff45d5 9188 mathcomp-multinomials_2.3.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2vbIACgkQ808JdE6f
XdksUxAAi0Vnu3BOmPIJPC4EFRf3NBGOj0KiATL5YactbNTDR51cu1tjQfbSnity
0JXgJWlZ84fmtSkAeobpo9jLNVzv63xH9OcSSEkJXphjKokeDueOQA12suEg3Q1R
jZkVhXGxRLfUEb7ofOtbwANSbZkxt/woldjX1scVRabDdackrVsYrInXGevy5tjQ
bqgG6EYGqYuv4plNLNNutQHpqLp6ZB0oZ57iGGUy0aJf5R8zhWW6ufRnIp+lSBpx
+w3GRY9HKM7LbI1/t4fiEIEIokbyj68ymgjFN2hyU6rJKAUOu4gCUDDLvpEo7MoE
45t71x+N7oHui5HS33CuNNcqvJ7pz3JiWvpRfNG47m/kRTt49dcK9VVxANQy+DF9
hDzrsKXbIzUN/WxWCuhyD2R2G6ZEvhCp9RUW98fNUzvlRW1L07rH2ZYCKa60AbKL
yZj8anTd0prgq04JMbtQf9GaDGdyc9FL5PcFxnPJ/rIlr9mxA3XX1xMrtUtlnl9Y
U62LBH3/rx/vZCn8ZH+7WrbaiNI8Wa6Uk7D2mL7FHbRksXdF9qPLAdM/ZwN3wCGb
AxU/gUsll9DjNr/uza9vELlHYZ5ZXXpDp8AWscfTAgfmnQfbtXH1RXwG3K6BM71I
OqbydDIkRPKyKh4k/W1qtS42x2Jumc8URmH9kPa65J9URSLiEVw=
=czVq
-----END PGP SIGNATURE-----