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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.6.0+2.3+8.18-4
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.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 6c79526a510795bd7cf8d9f32e574c77b68bd050 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 e1ad16b6bdc61f74a9edb119b0b946033e3768ef 9416 mathcomp-zify_1.6.0+2.3+8.18-4.debian.tar.xz
Checksums-Sha256:
 d15f32d0b9ebef22f6f8bf91cc27390008c9f269ecbddfd6098d3bcb7cedde8b 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 8ca1e3787a5f192152950c361426e2e9a97ee779c3d489c10f88881ee1675698 9416 mathcomp-zify_1.6.0+2.3+8.18-4.debian.tar.xz
Files:
 ac755d437071b0fd55a43cf0bc93a80d 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 ccac06a495be0258433fc4f7d18a9d54 9416 mathcomp-zify_1.6.0+2.3+8.18-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppoNEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZu4D/0Tw/rq2JCAXIGvk6+xophy
Xa4cP9aSmIunpp0I8pzu64z2tODh+DjutuEBluNPYecLH+yD9OzBL5Pkwv5jQlZw
nX2hFDMUasXWDWxM3XIpKjKtmeEEyNl1+hJFdSvt1aNt17nSvY2whh9bzyhiexWe
zeRaw20qkNbCj1eUVj1x66jKONv2j7uCxkXtpEotedyUzkbSE/AGw87n8bHsRtkj
tWjBvRO8BvwxTnH18AmvJ9bXk4Jag9t0xlse8LmH8EJVKl6kblG1sWdAXfpuRy94
X1THgZSm42F7E6lRDzMhNafdO4SLrc8Z+30VNk2+UlXM7n251CnPhoICxcJc0ovL
Q6ORrlNnr6VlBRApvF3K4BU43QMKYNT3mEkjvlUIZBOIJKuLCGZu1tnHbzZr+7g3
ysPfQYcew+ARmdhDEUtJQy3wgiWi467AJQ68+1ypTzWLAJe/pcjg0TblmEQIprW9
qTUi3bMD4fclP3Rpu7uxYKkk9+Phsznn5Umd3k1vsNTEqUD14VJQVd2LOyWvs3et
zmdhTUaxmxGzcq0ab0ls/saGyrEOMoz8uV5ThGP/0qbTSYiz1vOw4aFZtD48EPdj
KzjGg/MiMbSlCjD+VRxoKFWVJcldN6KJYpm9JyUb7imfCnxcnZWAYfcf+zQUl6Hy
sLC3LN+ewKHZm1gVX+Go9Q==
=WnqG
-----END PGP SIGNATURE-----