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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.5.0+2.0+8.16-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.0
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, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 cb3d53e9c1680fb90be08563bc6c0f14ce4779a2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 343f732a3da7e117f1236e9166a22ff8e859747c 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz
Checksums-Sha256:
 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 d947e46b59557b3143c6b419647367fcc3a42d94451fdbb5db1acb20cf43eeed 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz
Files:
 c9d02b943ba8148a27ec3e02a21bdcf2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 4eefea64503d33ee7b6c8d77f5304281 8752 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdSqmcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRz00QAJYO0+szFc6Jw2nJ+TxgGoYA9bGGz3JX
hg2ZErS0HSVIch2DfuwePLviWUAi2twjpvGy0DoXb5830BPzBDwrXsrJ96g7S0KR
mnRausm4NR5tShDEi8rWJJN5qYnqHUpTXaZ48ikkPwGxtxsSAHAXBrIurI8ChedF
hporWCz4ZFUhFTvVHwaO+pSV6UTIATkM0XKqFukkb19H8CeBGGxani7s0RqcX+d+
Xf/0zbs3Cf6Vmtx5goH6lwdnjRuayPoZojV6UTg8/rmhT6qZQN+5i8OlsWtnVMHW
xwYo+yF6AqJUuGGGTVwRED8Om8qay6Tw6fzvMCG+sg2hpzAEPkhm0d50OnwnaHW/
d+UIHAgvNWWcwCrNizCdxNr2gbDcXNlDDDzjsS3bo6noKsq0/R9102hkQvL0zgCH
Cqztk+v2HuOFfJEGa5xzABUnwDTAXaf4RbZnIxWO9pyx8zjD9Il5w2vngwjixEL5
nPwG7TkFMacW492EIKh0kPy8Em51HpawWnL1UXeIic3J42nljSXpCVgsZxEafHTW
UAQyHqJyHH2qChtVBOVzHnxFFwXQnvRxGjErGpcu3EfS5nqwSg881cig8QuYLWLw
apraKbBCdT5TEkjh6rbBezPsrYMbHSQIFYbmlDzLC3daOb2UWeu/z93NI2Oqj3cx
LxYtJaln2GNB
=bVpo
-----END PGP SIGNATURE-----