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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.3.0-1build16
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
 9dd76bf99daaf3c4be05446be972e4e1301f0f29 9392 mathcomp-multinomials_2.3.0-1build16.debian.tar.xz
Checksums-Sha256:
 a451026963b156139b907e56d957e4633a5c51c8ba1bd139afa1c2263d3b046d 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 36a216f2cd5149b479ed83b569ff5477ac5a06d4f7539923f100f69912fa5ce4 9392 mathcomp-multinomials_2.3.0-1build16.debian.tar.xz
Files:
 948cb3e5f5cbbfeefb93307a4dc134b0 81439 mathcomp-multinomials_2.3.0.orig.tar.gz
 a21831a38e949753e3dda2b95287e8fa 9392 mathcomp-multinomials_2.3.0-1build16.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXS8ACgkQ808JdE6f
XdnAcxAAxTNiB7Nog2v/wcfnrndvSStA+t9D16zz+yV9k8KKgHR9HAZ8XOd4rk5D
zH0vuBfqITiLxBy5euBhoLZk8BeTVrI5GhTXGWoMmfXIJpoe+Qnt1knEL6NotgTC
Lv/33ukrIlV9u2N7EEGD+woBhKovf1Ar1h2Z27tuEGUty7FTepA5j0QkF2ogjmug
9/6vRUBe1FlHEj0LqjPhNvNUb6fq8skqf2puGzxZXIeOnwJenTl+3mRqwqfoBeIm
UA9UYBQIRLAjweEjW9uFrUmDsKktC43XDcMR8fzptJeGDQg/If3kVRNY54ciaG5n
HujpUeThtNlNWRSG5ZdICSvV23iqUsruUwNDCzL8oKVOJPzdcTt4hLW9XYTVTLeL
rbAoNCg7RK8Y9oXXupC0YuX6oMHY/QXZOqnmHUxCAnPdvle/ACzzXhEU4DJfoBKO
BntWfUtbWLwhHFrq3hHlz/OvHT9rQ39hnSh2EzTORAlmaULlMlRb9J3sfIO3drgP
EYLP+Y2uXSr4Jo8SoPoEOg1Txpe0LJXSCZhCJHuGNhTkcntyBXIaU2WVq1MGB+dm
Zb8kaJhWTrE1sYkMWzYr4U8mY/02MX8AHlTeAL0LAYaL0QnjzGb4yGy3Y7NZrOnV
mtOarZii3j5Qnr6bzTQ5K/wl1NaZfUhzzdaMzpQVIYscUDKMuDc=
=H/jB
-----END PGP SIGNATURE-----