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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.1.0-1
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:
 cd5b820c2b8d9b0bd7dbf61942049455e9f7d57c 83205 mathcomp-multinomials_2.1.0.orig.tar.gz
 5139c0fb19f7df0d9a5f8a1f3def262c51f01c2e 8876 mathcomp-multinomials_2.1.0-1.debian.tar.xz
Checksums-Sha256:
 90c54b44288c97a50a9bf6fcc298a5a448d46e5008f8079f61d0fdb9861be401 83205 mathcomp-multinomials_2.1.0.orig.tar.gz
 f284a1abf627329274a2d0bc14717bd0e6d6bc712532e5c08106e3c0bb746478 8876 mathcomp-multinomials_2.1.0-1.debian.tar.xz
Files:
 53cc9e746a151d357eab54b3bf8f1824 83205 mathcomp-multinomials_2.1.0.orig.tar.gz
 9ee257fe9aadca3758188632965d262b 8876 mathcomp-multinomials_2.1.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZsQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcioP/iPKJ2fLgJZn3lSMnYozc/QfiMFvBlKG
j2w201P09OB+sYndYWPzah2IEoiLxl/eiHv+9cju30uM4Ourh9dZr6yKtKC1r2wt
xifjb1Yq6yhcfjVTdg2IZt1vtmeNwhsRmiLbrLHASGiVRgLrKErkez0yr6n6zbTX
Ts8IejVOAGmV7ukJ9SrY4jjy5OPSBCVcl/S/Znt0xKcyZk8nJ7hW8AWv4DM6A5fe
4ekl9+8gfiC50UNO7nNCjL/w4BNfylngfAj9lWM3BSRu+zeQZrzQw53w5gk1Y6QN
vyrdi9BZuDkhg3JAFsrdma0PZun6bMKn+BuFL/yONQCcHX5nuWpCHSph13efS8Ej
ocwwEry7SBj62zdaIJd7zTcFezgS186GE8JFX+WsKIjfivF9m29q0I7qnYGIqkuG
kIrL/VVlNCnw3IA5QQ/njznhwSUNTlK6ODvyXGtiWRE56N2XevuUlZ/Q6zAcXgV+
Hr7acSX36V6JPxAp3pkYXrM8jSIjp/7I/ER024v25z6y/smj0AKQ4bx4ru0iQLBZ
FdwBRr8squIwktsvkHPHVpZIQQuSoikAxKYKE10geO5Ak2a29BSsMZxDt/1in3gr
JPjT4FGGuMRcsjTpZDpzHrrg4OJkTwXi0pQPLXzemCSRQWZuMXnIazmLPXmgZvTK
T/3CD6DLJCMX
=PUnH
-----END PGP SIGNATURE-----