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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 1.5.5-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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-multinomials
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git
Build-Depends: coq, debhelper-compat (= 13), 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:
 18d6cb298e6a18cfbabb16e32d184682f6b5a36b 87064 mathcomp-multinomials_1.5.5.orig.tar.gz
 b42160370304294db39a95ca66eb2743cd181b43 8560 mathcomp-multinomials_1.5.5-3.debian.tar.xz
Checksums-Sha256:
 a80bf99229244c8f19fa6894ad38bd98b4556f02ce9b4c667c3820edd0d558c7 87064 mathcomp-multinomials_1.5.5.orig.tar.gz
 3a8eac15bcf12224244f584b3b649242dea3636124396a39dad188790ba639ee 8560 mathcomp-multinomials_1.5.5-3.debian.tar.xz
Files:
 9c11553913e0f309b807c11035e97f28 87064 mathcomp-multinomials_1.5.5.orig.tar.gz
 01a5d359294e564b35849a8e466244d1 8560 mathcomp-multinomials_1.5.5-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKD/68SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoIEP/16y71BiYrKGaWT0clXNwtsIshmI/8y8
/ueyoAl9ypbhugv/2o0GBpSsZeWdLDYYGNsNYzuCBb9+kqG2RsGUi+cx7TtrAV7B
Z8sN2S8uBbD+ZT3bL99JL/BoP0f0e/7TuAiFbWaYW6ChVat8BeHdZykkv1rO2jDa
EXxQOHThxxmcWZwxaFCOpm9s1YDdtjRwRittf5alXmhkUucQJ2Su0mJUqmdAu71+
9eYcScRWCZmvYlaBAA+kCCmhsW6o39FKpaHpN+QMiIlguvNifABoQqLptzF/DWEE
sC0OVNg/1wtc/hyMFApP52IfWPPdq0JGLEFk8FBbjllF9CFecpuKNKyb7FapnPeu
VbTx+l2RFR4PO4ObBqTJjTLcDcfAKbpm29gv5i4nAPuEkOv/uMndHaxRtUS5V914
JJZM2HmkBmVkgc1ih85E7aGtyYAsrQxWSjIrzjW7GrELoJlzG4ozzVXXw9mpHlKS
LJLhtV20I7vIByLlcGBZ8rkPMI7jJa4jxsGkLzK3z1DGbApdBm1JTHh1rButZBes
+971YS6AbOslGdJ0ZSMkSXnfS+dERHhPteg6IW+lnZwRomISI7vu/vu0GnrhCgEe
DkMMAE6YU6mrqIRHPuQJPux4YRa9bjv+AKaUnaI9NT/nkD7BBbi11mAp4g389L60
lEUJ1z25Y+vv
=zteR
-----END PGP SIGNATURE-----