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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.2.0+1.12+8.13-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/mczify
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 bd26436d3a4de2be1176ada9e89331172d4c35a2 8412 mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 dfa68fad716ac47db09e747b3d5129f3b8766a01232e804e5b9deab2c49c74fd 8412 mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 6322914cd8bd1bf01a62857ba5bb77db 8412 mathcomp-zify_1.2.0+1.12+8.13-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKD+qQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDSUP/2UmYnHfNMobf+bjC6vGprc6iFm8rYql
tO0LCN5pNxXcJA57p1F7Ikqj06daqE2HMsAJbm2oOjfvdJLYYjx0msE72AbwFGck
J/DTG/uuVlEu8vfmx2PjRd9x6vv8VQEa9oZ+zpat/APoqgLtzg7oiX2SDPGUqFJV
gU/IT6LipPH9/D+j2J4jNA3bUsbrPTO1yzKdjyjhllURjNS0XbijtDIn35FInNGT
s4ZeVlTadTq3Mccj+ZkruoaxQQCqyqvfQ6d8wDIyclQPAwZnenXL33UUEU/6LyTS
TfiaIpBi/dNL0MMMZyZh/Gbs/hhpB/G0jME+g1cwdwlGI2wHHQ5erv10IpLJMO0Z
os1ze+jgx/yLaEj1mmegc7oBfRWIIxknSmneV1rpX4GHZHOw7UVQApaIT+KnWYzo
ZyhbMtiS+1xL3DAPZFESOsUIPzLmYFHJv8rHtq8oN15EhsQF8J4XlfEzNJQ1tl5K
U6guuemx+xO+b1fFg3ty4jouZa1HmSvIQ7N6zlYIe10ddSNnjK/EQxDGmRZ7HBYg
elRblIpw2MrJDiOLiNU3SjUkb+nMDThdUSI4lpqUefunVi3bD29n7PYMsSTdoiVl
MgFIXPdSsfl9tHcA15eoCQMn9Q0enJYDCeX3YMH2XUlP32JzYEnVoj0i203VLlR6
4tCid5uZu4TO
=pmKF
-----END PGP SIGNATURE-----