-----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-3
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
 0c5c6d3033bdecaa25c5c34a0913e3b0ce799a24 9400 mathcomp-zify_1.6.0+2.3+8.18-3.debian.tar.xz
Checksums-Sha256:
 d15f32d0b9ebef22f6f8bf91cc27390008c9f269ecbddfd6098d3bcb7cedde8b 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 68b6e419e55e93f40241581e156611d900cf3fe050e3a5ad76d6d25fc5e3f646 9400 mathcomp-zify_1.6.0+2.3+8.18-3.debian.tar.xz
Files:
 ac755d437071b0fd55a43cf0bc93a80d 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 86d734883ebe6bc0af58d1f1e29b883a 9400 mathcomp-zify_1.6.0+2.3+8.18-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpekBgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcA4EACDKS1gmRCvauW4+oaker+c
rn4erzpkMlRJaCuhQsUM0n0JDpJ57pdwzyo1qnVwDtZVYW/49oaK3cCXlP6bauye
lvGwZ/dt41HTr/6ghp7lTDxLhxn3pUuj/xjkpTmlzYhj+fSRL5XXTdtuOXHpJLr3
JvrfeuqcZNlH12PGsIs/Lt3Dhah5UhlmgSVMCHvIbe3ZZFj9Um6iZIGBxTyEiRt8
oQvBH2kxUbwoLlW5Yh+H2qW82/hG146Q7iWqBMrtEcs06UPhmF4iOyUL2sgmT5/u
H5/o+ZELoCK1PCI/l5PsxpuWScI3UW0Z/YfS/gSxrK7ZHQGNGgnT9dcbfVdJ/4I6
U2oJPm6YyiUpwpiQKeuV3dYiTLp/qb121resYkLiHcUv7fJgHx/YtCW6fMqCrr+S
CyZSdd1W2AyDzXau9Qe8EAHR7g+AjanD+L3IWn9QqIc0LXN7gzEVmfWB0dRrvQMw
zlqIOUg3B9B3sMV0sNYwzDKUvp4wzvc00f47nCPL8MCVYdp+kCO79LBxxda9O1EA
JcKIbaEQ6Egl2ejpOCJdndyZy50+xWNfvoaNoVGqjk5sdfQXS7h5Ix/hgii9lZ9q
LXABaP6y2JPbut63igHELiOFlOb/CdOeGrkR5WdzIARCINRIhRMhfkO6AT4sxSP9
BGMR7pHU3kcs2M4IvCPlgQ==
=XZxJ
-----END PGP SIGNATURE-----