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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build3
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
 d30acc93f95772a73de44bd8b90961dd6a8bb12d 9112 mathcomp-multinomials_2.3.0-1build3.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 e4a92e44b7365d4e38cedfc78d4d6b4ad433c480ae8be30fc395b60ea618d32b 9112 mathcomp-multinomials_2.3.0-1build3.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 f3d9c1825a002201d3ed409f6978c762 9112 mathcomp-multinomials_2.3.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmechZIACgkQ808JdE6f
XdmodQ//Se3H3hG+4dwNTsRH3pSgoZsHnmxIdfqTJNmXIp2Lq/nglyUoBrqfSIh+
3IKAvziQixJpBefTJklYVGD+LkztVZs+GV6thpTATkeMJPrGIvAfHuxEh0O/ZmUi
SS8vIhJLTPv3lU/yVDBLHSqxRbAKXUbpytiguRrYzgcB2Sdf79VPsnIgmRL78S+f
9Npv+ojVV15AEIiOr6SdENH9hRLrpPhOwxBsLWxP61T4NHbpDryNE8ygGVluKljb
4A3ufEwQtA4LdQpGIbua81DolSjyRDe8jFITkKLEYgdOgl5Dltz2mDIhudYXifgb
2MLzdvqNDXdZCPAxCz5bA5HggUB0qjb/zWwl9wXDQO9EQULif5eVrBGJsHFPcZ7J
NQIxhR5RCwgsNP1Ilt/qtLZb/wDnFbtoUULTrHvY5VEfBg2ZuH+hTtgKaglnwUYN
3B6BpMRm7Bllo439gfU32H8qmjwiQm8tNoYun/YyqwfZwQP7y32kyuKVLswWYjY+
+AsN8Nq/XaEHmHuZYJQvlyCFSZdJVCjav/ph+GtF5p6mjXMd3ayRBoEvmg8jMlNv
zcA+6PZxGor8XrK2SYXAK6N3HAzmFFdcKf2TvJBBFwjoRY+8caVSfwz++xy+6yaW
/9vL+4ZJg3pkwotFlEm7K3b3GCCDPd9NCJhX+C9vLmQ81NCzRsc=
=8csN
-----END PGP SIGNATURE-----