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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build12
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
 2784aad044fe45505275a7c7c7a61e597c95faf2 9292 mathcomp-multinomials_2.3.0-1build12.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 32f51ce81a8e6bc4866a115361415b81a5465e62467838c2b77ab03d8dc4f118 9292 mathcomp-multinomials_2.3.0-1build12.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 3fc2bc3f4815bef29078980f2f1aeaee 9292 mathcomp-multinomials_2.3.0-1build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMWD8ACgkQ808JdE6f
Xdn56A//ZyBRDhyfsudR1leJ/46fl/anYjMiueGX9T+N3DtH3pS0mym3P9cX+7bi
bynsOKyj/tIAZ1SFvRS8ISbO8ItzipolzMKhoWwcCJrf6QCV+7I9l7dqJyxX1pQe
G1LchwkfPE+k49/9at+GZRb2aUEIMBF9h/weWuGHgBQvzGO0oBiFyB38F6wNzFrE
ekeCTlPXpPGHFuP8tAFnxXcE2H4JXj9wRT/gfqtRbnV82zm1/x3ltWHHKWS8btty
AndWovlNUl9b3cZ0sWY2nQWkqNRZRvCSpcSPpR9Tn+GlRx6ME/qzPj4gbkQ8gDbU
Ky2KOqEI0794vS66iyiJiYOYeuHtBORzfkURF7iGtmrdUPxCZCVMaGvrqDP4HUuK
XktEBaqwhVCyzDrHPBc1V1IOwEPV5VRhItPy+SIM02QZv/vdqwDr2S66OTshrhJc
Wh5PFFzYpdBChrSXhCZodYFAI+b/B+EREgtJiUX2mszEMg7xM366eYQ9MMQQ1iR3
AAeYpsY/mtfa5jjd6xqVgWzNX6Vn6rkmNNdmGKL9MQOuM7EfEe53pfUV8HDQc+UM
Tl1iVqgxn9DGZtZ4ZTGp6IPfWlkUkeGpGrJwwfV2nlOKnKaNYglUenj+z454MyFg
3+9G+FCEmmjjW/e0qUc+PbLP8KktXLKgW/1SuWN8DS6eS5mUr2U=
=v4VS
-----END PGP SIGNATURE-----