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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-2
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:
 011476804b08b0380b0b47608f480d8c4bcb6a8d 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 cd272c593e0aa41a22254ccd4df30a74635b1a20 8892 mathcomp-multinomials_2.2.0-2.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 b126f58490f58fc19b531493daa42c62411d6fb717a10dafbb5a3a7161250da3 8892 mathcomp-multinomials_2.2.0-2.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 527aaa8d602bf9dc78f8ebd01bcf0e5d 8892 mathcomp-multinomials_2.2.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH9D4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXpEQAIkR/6FH1ZzYSDdmeScTzxImK0Y5oGNv
LT7znyJcq0AD0yva6j9hnzIsVL2TPUDKOa5afiBwL6RUMRfaShAljwDNcpQGKUZt
7xGxwwVLo1Dq/Q0ii7NJR3CKlt8BXwc+R30Iqe7VU0/RRbL3TibWgc1aqj2XyfWc
DLNYOlC5ir9LNjZLsKIZ2dOBpoPkC9SOdqoFN+8SaFzbHfAT7caA83ml5+HOc/8L
/iiC2fRqivlP8mqncaEMasW3GmLSxrBwEkrFt7HciL6n9mC0j/ZfiMhzG0FibaYS
mp6dH0ZolFUwjUxi54QVcXrYC3wj0MrdmLf/WTHWcJbhezETOsqis9zcEH7yBFi7
6hOYZlHJvp1apV7MZvd5KDnV0Jrc8iYYxoPEVr45x36vMBgb2nQhbVbz46M22o2V
Wx0M9jnpYJpQf4U9luIwyUtJG0mssPRgjxjLQsi4R1AGlYi6kQbXDdCo6S4aZGdJ
KeRTv6mUoadRlMPwgxVVsXsJPbxhQiBkefNUvAPtjrKKyqSeUK4meJdXnQcViOo+
Bi77bbe/kLHcmY8s/QzOcw1LgpTIu6CCRujMF03RJYuyubCMSFbKzOK6zXZ6g9rN
ly8jRTywLb+rPQb6dY+OOnMP0bAZKzLkGgNR/T1Pamin4kibXrkHOQoiEGTPnmJ/
dmFw0JDwZM5h
=N/20
-----END PGP SIGNATURE-----