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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.5.0-3
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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, 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:
 769827797fe24a7224754177b08345ed8441f221 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 01f1d539e0673bf3d6c5792625b00d86d290caa1 9172 mathcomp-multinomials_2.5.0-3.debian.tar.xz
Checksums-Sha256:
 b22f08c5d18f77fc4ce27cc1b2604ca3e1189b68b19d73fca81f6e345e410c2f 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 a3281c768a8c1bdb8581e0f86af10374dce9c8fe25de28584e3fa307ea7200ac 9172 mathcomp-multinomials_2.5.0-3.debian.tar.xz
Files:
 9a37d61a278ae83a2e15c7fce9cbb1a7 84936 mathcomp-multinomials_2.5.0.orig.tar.gz
 8d2420bd46fbac7b0cb336cb08badb87 9172 mathcomp-multinomials_2.5.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bIoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURIDD/wJSoCES9RabXDueAs/Xel+
NidWHLrT2xsHLrk6O8Lb3UX1h7LtkmLpkkGpZqKO7tMIvZUhNInXhPtgSW285qav
AzYiuSHRQswqmam0AnxmppRazMjeYpkEHohR8qcTrdXimnYtYuvQu/97V56umM3o
552q6GZ4YIE8WfHGChvxsGtOqenoVlei3yrVzGn+eJwHCb9Q396Zu0jCQ4OvkGq+
3kGGST8k7LVkNRGVj6rJLQGhl7dBwb9+2B4r60+PVF5qrbtAS7SmiW/qQuzdpyKK
eXct9ghwg9AFECflo7b8ZFANQItjEMo14zrVpTlOmZVwRxvWOjQgIs5A/dhlfhND
RgCzyzvYvR5KR8BW2Ht+y7TinjtS4G5ZzUYWUX9enBC73EVqKPVz+3pkxGESdfWq
VdcQHdbFY4aRPiMW6xAP85cBu9ejynyh+0E3jjKJ0qCQvbEtq+UxftdD9ByYfKY3
zp8OYRSMYidgg+yVg8cwpizHQfCUH6izwvauW9hrBG6ogM8yp2EIJUW1QqpEMCkw
dTJ6hUZDAF78nM/HxWOY98NQ3OOq1fYaq2eQehk00f5oWWfip2bKIu43cl1nlyAd
zH5Lrd7dEUxiYmWOBNkjI+VATWnX/iYqlzSRHDTt5hR7Xr7cuGyUTbdxv0uxSAJ0
Ofb5wAvZw5HljQQq/54lNw==
=jHJN
-----END PGP SIGNATURE-----